Zitat:
Die Existenz Gottes kann fortan als gesichertes logisches Theorem gelten.
Müssen nun also Mathematiker an Gott glauben, und Theologen formale Logik studieren? Schon Gödel selbst war die Sache offenbar nicht ganz geheuer. Jahrzehntelang hielt er seinen Gottesbeweis geheim. Als er ihn austüftelte, war er vor den Nationalsozialisten aus Wien in die elitäre amerikanische Universitätsstadt Princeton geflohen. Dort spazierte der bekennende Christ Gödel regelmäßig mit Albert Einstein durch die Parks, der ebenfalls gern über Gott spekulierte. Was allerdings seinen Beweis betraf, hielt Gödel dicht. Erst 1970, als sein Gesundheitszustand sich so verschlechterte, dass er seinen Tod erahnte, brach er sein Schweigen. Seinem Freund Oskar Morgenstern verriet er, dass er zwar "zufrieden" mit seinem Beweis sei, ihn jedoch aus Angst, missverstanden zu werden, nicht veröffentlichen wolle. Einem seiner Studenten, Dana Scott, zeigte er den Beweis. Scott schrieb mit und hielt in Princeton ein Referat darüber. So fand Gödels Gottesbeweis doch noch hinaus in die Welt.
