Ontologischer Gottesbeweis – Gottesbeweis reloaded

19.00 Uhr Ontologischer Gottesbeweis – Gottesbeweis reloaded: Kann man philosophische Argumente fruchtbar mit dem Computer analysieren? In diesem Vortrag formalisieren und automatisieren wir exemplarisch neuere Varianten des ontologischen Gottesbeweises. (Prof. Dr. Chr. Benzmüller)

Großer Hörsaal