^

Ontologischer Gottesbeweis am Computer?

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

Sonstige Hinweise:
Für Inhaber des Kultursemestertickets ist die Veranstaltung gebührenfrei.

Referierende:
Prof. Dr. Christoph Benzmüller, Mathematiker und Informatiker, Berlin
Beginn: Di, 06.10.2020 um 18:30 Uhr
Ende: Di, 06.10.2020 bis 21:00 Uhr
 
Tagungs-Nr.: 20-128
Tagungsleitung: Dr. Frank Meier-Hamidi
Sekretariat: Ulrike Heitmann
Tagungsbeitrag: 8 € /erm 4 € (o. ÜN)

Für Inhaber des Kultursemestertickets ist die Veranstaltung gebührenfrei.
Für Inhaber des Kultursemestertickets gebührenfrei