Die Frankfurter Allgemeine Zeitung (Feuilleton, 30. September 2026) berichtet unter dem Titel „Der Gott der Logiker“ ausführlich über die Tagung „Kurt Gödel, ›Gott‹ und ›Teufel‹“, die vom 29. bis 31. Juli 2026 an der Berlin-Brandenburgischen Akademie der Wissenschaften (BBAW) stattfand. Der Beitrag würdigt dabei auch die computergestützten Untersuchungen von ZIAI-Direktor Prof. Dr. Christoph Benzmüller zu Varianten von Gödels ontologischem Gottesbeweis.

Diese Arbeiten sind am ZIAI in der AG Digitale Überlieferung angesiedelt und Teil laufender Forschung am Lehrstuhl für KI-Systementwicklung (AISE).

Ausführlicher Bericht mit Links zu den zugrunde liegenden Publikationen und Vorträgen: AISE-News