Calculemus!: Analyse von Kurt Gödel‘s Gottesbeweis mit dem Computer

Vortrag
Naturwissenschaft / Technik
Freitag, 16. Juni 2017 um 19:30 Uhr
Priv.-Doz. Dr.-Ing. Christoph Benzmüller
Calculemus!: Analyse von Kurt Gödel‘s Gottesbeweis mit dem Computer

Der ontologische Gottesbeweis von Kurt Gödel gehört zu den vieldiskutierten (Meister-) Argumenten der Philosophie. Es gibt heute verschiedene Abwandlungen, doch welche dieser Varianten sind logisch stichhaltig und welche sind fehlerhaft? Und kann man eine solche Frage möglicherweise sogar durch Experimente mit dem Computer beantworten? Schon Leibniz schwebte unter dem Stichwort „Calculemus --- Lasst uns rechnen“ vor, dass Dispute zwischen Philosophen durch Formalisierung und Verifikation mithilfe von Rechenmaschinen gelöst werden können. Dieser Herausforderung haben sich Dr. Benzmüller und seine Kollegen gestellt und viele Varianten des Gödelschen Arguments im Computer formal abgebildet und auf logische Qualität untersucht. Im Vortrag werden die gewonnenen Einsichten vorgestellt, und auch die eingesetzte Technik zum universellen logischen Schließen wird kurz skizziert.

Priv.-Doz. Dr.-Ing. Christoph Benzmüller, Faculté des Sciences, de la Technologie et de la Communication, Luxemburg, FU Berlin, Fachbereich Mathematik und Informatik, Universität des Saarlands, Department of Computer Science

Urania
An der Urania 17
berlin, Berlin
10787
germany

Kalendereintrag:

Freitag, 16. Juni 2017 - 19:30