Ontologischer Gottesbeweis am Computer?

Termin | 06.10.2020

Münster

Prof. Dr. Christoph Benzmüller, Mathematiker und Informatiker, Berlin

Eine fruchtbare Begegnung von Informatik und Philosophie

- Was ist computationale Metaphysik?
- Warum machen Menschen so viele Fehler in formalen Argumenten?
- Abstrakte mathematische Objekte und die Existenz Gottes

Tagungsleitung: Dr. Frank Meier-Hamidi

Weitere Informationen:
http://www.franz-hitze-haus.de/info/20-129