“Kurt Gödel ist vor allem bekannt für seinen „Unvollständigkeitssatz“, einen der wichtigsten Sätze der modernen Logik. Er besagt, dass jedes formale System Sätze enthält, die man weder formal beweisen, noch widerlegen kann. Kurz gesagt zeigte Gödel, dass die Mathematik letztendlich nicht eindeutig widerspruchsfrei ist.
Gödel, der 1906 im damals österreichischen, heute tschechischen Brünn geboren wurde, reiste 1939 nach Amerika aus, weil er in Wien irrtümlich für einen Juden gehalten wurde. Nach seiner Einreise in die USA befasste er sich zunehmend mit Philosophie und Theologie. Seinen Gottesbeweis veröffentlichte er jedoch nie.
Gödels Gottesbeweis fußt auf Ansätzen von Gottfried Wilhelm Leibniz. Der Österreicher verwendete eine Variation des ontologischen Gottesbeweises, der bereits von Anselm von Canterbury (1033 bis 1109) verfasst wurde. Demzufolge gehört es zu einem vollkommenen Wesen wie Gott, dass es auf jeden Fall auch die Eigenschaft besitzt, zu existieren. Denn sonst wäre es nicht vollkommen. Der Gott der Philosophen und Logiker hat dabei allerdings erst einmal nichts mit dem Gott irgendeiner Religion zu tun, sondern ist ein Gedankenkonstrukt, das die Eigenschaft besitzt, vollkommen zu sein.
Wenn mathematische Beweisführungen zu kompliziert werden, um sie mit Stift und Papier zu überprüfen, greifen Mathematiker heutzutage oft zu Computern. Diese „rechnen“ dann den Beweis präzise nach und geben am Ende aus, ob der Beweis stichhaltig ist oder nicht. Man bezeichnet solche Computerprogramme als „Theorembeweiser“. Diese Methode wandten nun zwei Wissenschaftler auf den Gottesbeweis Gödels an….
Gödels Beweisführung verwendet dabei abstrakte Begriffe wie „positive Eigenschaft“, „Gott-artig“ und „notwendige Existenz“. Der erste Grundsatz (Axiom) besage, dass eine Eigenschaft positiv ist oder ihre Negation, niemals aber beides. „Das zweite Axiom sagt, dass Eigenschaften, die notwendigerweise aus einer positiven Eigenschaften folgen, ebenfalls positiv sein müssen. Das ist auch schon alles, was Gödel über positive Eigenschaften in seinem ontologischen Beweis voraussetzt“, erklärt Benzmüller.
Der Computerwissenschaftler Christoph Benzmüller von der Freien Universität Berlin veröffentlichte nun zusammen mit Bruno Woltzenlogel Paleo von der Technischen Universität Wien die Ergebnisse ihrer Untersuchung. Gegenüber dem Internet-Portal Telepolis sagte Benzmüller, ihm und seinem Kollegen sei es gelungen, „eine Variante von Gödels Gottesbeweis zu formalisieren und im Computer mit höchster mathematischer Präzision zu überprüfen“. Das Ergebnis: „Wir können nun also mit großer Gewissheit behaupten: Die logische Argumentationskette in diesem Gottesbeweis ist nachweisbar korrekt.“… Gödel könne man durchaus als „Logik-Rockstar des frühen 20. Jahrhunderts“ bezeichnen, sagt Benzmüller. Wie religiös der Mathematiker selbst gewesen sei, darüber könne man nur spekulieren. „Lediglich von seiner Frau Adele weiß man, dass er die Bibel regelmäßig las.“ Gödel habe offenbar einen sehr privaten Umgang mit dem Thema Religion gepflegt.” Pro Medienmagazin