Versuche mit Hilfe der Vernunft die Existenz Gottes zu beweisen, finden sich bereits in der Philosophie der Antike.
Trotz der fundamentalen Kritik Immanuel Kants gab es immer wieder Ansätze, die Existenz Gottes formallogisch zu begründen oder zu widerlegen. Mathematiker wollen mithilfe eines computergestützten Beweisverfahrens die mathematische Korrektheit zeigen.
In diesem Kontext soll der Frage nach dem Geltungsanspruch von Gottesbeweisen anschaulich nachgegangen werden: Ist die mathematische Sprache ausreichend, um gültige Aussagen über das Wesen von Gott und der Wirklichkeit zu treffen?
Prof. Dr. Thomas Pitz, Professor für Wirtschaftswissenschaften mit dem Schwerpunkt Spieltheorie

Die Teilnahme ist kostenlos.