Existenz Gottes - Gödels mathematischer Gottesbeweis

Gott existiert tatsächlich. Ein Computer hat es mit kalter Logik bewiesen - das MacBook des Computerwissenschaftlers Christoph Benzmüller von der Freien Universität Berlin. Der geniale Mathematiker Gödel hielt seinen Gottesbeweis jahrzehntelang geheim.
Kurt Friedrich Gödel war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. 

Benzmüller hat seinen Computer auf eine Formelfolge angesetzt, die der legendäre österreichische Mathematiker Kurt Gödel zuerst um das Jahr 1941 auf ein paar lose Blätter Papier gekritzelt und in den folgenden Jahrzehnten immer weiter ausgefeilt hatte. Keine Minute brauchte der Computer, um Gödels Beweis für gültig zu befinden. Benzmüller und sein Wiener Fachkollege Bruno Woltzenlogel Paleo stellten ein erstes anderthalbseitiges Paper, in dem sie ihr Resultat verkünden, auf den Preprint-Server arxiv.org (http://arxiv.org/abs/1308.4526). 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. ...