Zitat von
Dayan
Gott gibt es und er ist allmächtig!Er oder Sie hat alles geschaffen was wir kennen und nicht kennen![Links nur für registrierte Nutzer]
Jetzt sind die letzten Zweifel ausgeräumt: 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.
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. 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.
Was ist Gott überhaupt?
Der Beweis ist ein äußerst unzugängliches Formelgebilde. Gödel formulierte ihn in der Modallogik zweiter Stufe - einer Sprache, die auch den meisten Mathematikern fremd ist. In dieser exotischen Formelsprache suchte Gödel, hinreichende Bedingungen für die Existenz Gottes zu finden. Aber was ist Gott überhaupt für ein Ding, rein logisch gesehen? Gödel definierte ihn als ein Wesen, das alle positiven Eigenschaften auf sich vereint. Und was ist eine positive Eigenschaft? Dazu sagte Gödel nicht viel. Er gab nur zwei Beispiele für positive Eigenschaften: Gott zu sein, und notwendigerweise zu existieren. Zudem postulierte er, dass jede Eigenschaft entweder positiv ist, oder ihr Gegenteil. Dann legte er los: Zuerst bewies er, dass Gott möglicherweise existiert - und schließlich, dass Gott notwendigerweise existiert. Quod erat demonstrandum.
Ganz lückenlos war Gödels Beweisführung allerdings nicht. Er schrieb nicht alle seine Hintergrundannahmen ausdrücklich nieder und kürzte manch mühsamen Abschnitt mit kühnen Gedankensprüngen ab. Nur deshalb passte sein Beweis locker auf eine Notizbuchseite. Mit ihrem MacBook füllten nun Benzmüller und Woltzenlogel diese Lücken. Der Computer vollzog Gödels Beweis weitgehend selbständig nach, nur an zwei Stellen mussten die Wissenschaftler ihm ein wenig nachhelfen. "In vielleicht drei, vier Jahren schaffen es die Computer ganz allein", prophezeit Benzmüller. Ausgeschrieben ist der Gottesbeweis aus dem Computer knapp 300 Zeilen lang.
In der breiten Öffentlichkeit ist Kurt Gödel kaum bekannt. Aber unter Wissenschaftlern genießt er ähnlich hohes Ansehen wie Albert Einstein. "Den größten Logiker seit Aristoteles" nannte ihn die Philosophin Rebecca Goldstein. Allerdings war Gödel nicht