Vor 120 Jahren wurde in Brünn in der Markgrafschaft Mähren in der damaligen Doppelmonarchie Österreich-Ungarn Kurt Gödel geboren – ein Mathematiker, dessen Werk die Grundlagen der modernen Logik erschüttert hat wie kaum ein anderes im 20. Jahrhundert.
Gödel, später Mitarbeiter des Institute for Advanced Study in Princeton und enger Freund von Albert Einstein, gehört zu jener kleinen Gruppe von Denkern, die nicht nur innerhalb eines Fachgebietes wirkten, sondern das Selbstverständnis der Wissenschaft insgesamt veränderten.
Bereits mit seinen Unvollständigkeitssätzen von 1931 zeigte Gödel, daß das Ideal einer vollständig abgeschlossenen, rein formal begründbaren Mathematik nicht haltbar ist. In jedem hinreichend komplexen System gibt es wahre Aussagen, die sich innerhalb dieses Systems nicht beweisen lassen; zugleich läßt sich die innere Widerspruchsfreiheit eines solchen Systems nicht aus sich selbst heraus sichern. Diese Ergebnisse gelten bis heute als Zäsur der modernen Wissenschaftsgeschichte.
Gerade in einer Zeit, in der man glaubte, Vernunft und Formalisierung könnten alle letzten Fragen lösen, setzte Gödel einen nüchternen Gegenakzent: Die Vernunft ist mächtig – aber sie ist nicht absolut selbsttragend.
Der ontologische Gottesbeweis im Lichte moderner Logik
Besonderes Interesse über die Fachgrenzen hinaus erlangte Gödels Arbeit zur Formalisierung des sogenannten ontologischen Gottesarguments. Dieses geht auf den mittelalterlichen Theologen Anselm von Canterbury zurück, der im 11. Jahrhundert argumentierte, daß Gott als das „größtmögliche denkbare Wesen“ notwendigerweise existieren müsse, da reale Existenz eine Vollkommenheit darstelle, die einem bloß gedachten Wesen fehle.
Über Jahrhunderte wurde dieses Argument kontrovers diskutiert – von Thomas von Aquin bis in die neuzeitliche Philosophie, von Kritikern wie Kant bis hin zu modernen Modallogikern. Gödel griff diese Tradition auf und versuchte, sie in die Sprache der formalen Logik zu überführen. Ergebnis war ein kurzer, hochabstrakter Beweis in modaler Logik, der unter bestimmten Axiomen tatsächlich die notwendige Existenz eines „göttlichen Wesens“ ableitet.
Gödels Formalisierung ist kein „Beweis Gottes“ im naturwissenschaftlichen Sinn, sondern eine konditionale logische Ableitung. In diesem Sinn ist sie sehrwohl ein Gottesbeweis im Sinne der Logik und der Philosophie. Ihre Gültigkeit hängt von den gewählten Axiomen ab. Akzeptiert man diese Prämissen, folgt die Schlußfolgerung zwingend; lehnt man sie ab, verliert das Argument seine Überzeugungskraft. Die Ablehnung der gewählten Axiomen muß allerdings im wissenschaftlichen Kontext von These und Gegenthese begründet werden, was erhebliche Schwierigkeiten aufwirft.
Gödel, der zwar im allgemeinen Bewußtsein kaum bekannt ist, spielt an den Universitäten eine zentrale Rolle in den Bereichen moderne Logik, Mathematik und theoretische Informatik. Sein Gottesbeweis ist philosophisch bedeutend und insgesamt eine Herausforderung an die intellektuelle Welt: Sie zeigt, wie weit reine Logik reichen kann – und wo ihre Grenzen beginnen.
Bedeutung und Grenzen moderner Rationalität
In einer Zeit, in der viele gesellschaftliche Debatten zwischen materialistischem Szientismus und religiöser Sinnsuche schwanken, wirkt Gödel wie ein unbequemer Zeuge: Die formale Rationalität ist streng, aber nicht selbstevident abgeschlossen. Sie setzt Grundannahmen voraus, die selbst nicht mehr rein formal beweisbar sind.
Diese Einsicht berührt unmittelbar klassische Fragen der Metaphysik, wie sie bereits in der scholastischen Tradition behandelt wurden. Daß ein moderner Logiker des 20. Jahrhunderts – inmitten der säkularen Wissenschaftskultur – überhaupt wieder eine präzise Form eines Gottesarguments formuliert, ist kulturgeschichtlich bemerkenswert und stellt bis heute einen Prüfstein im Wissenschaftsbetrieb dar, um den wenig ehrlich ein großen Bogen gemacht werden kann, denn andernfalls wird man sich mit ihm konfrontieren müssen.
Ein Leben zwischen Genialität und innerer Zerbrechlichkeit
Der getaufte Katholik Gödel habilitierte sich 1933 an der Universität Wien. Dort war er anschließend Privatdozent. Nach dem Aufstieg des Nationalsozialismus verließ er 1939 Europa und wurde in den USA eingebürgert. In Princeton bewegte er sich im Umfeld der bedeutendsten Wissenschaftler seiner Zeit, darunter Einstein.
Gleichzeitig war sein persönliches Leben zunehmend von Ängsten und paranoiden Vorstellungen geprägt. Er entwickelte die Überzeugung, vergiftet zu werden, und ernährte sich schließlich ausschließlich von Nahrung, die seine Frau Adele für ihn zubereitete. Nach deren krankheitsbedingtem Ausfall verweigerte er jede Nahrungsaufnahme und starb 1978.
Gödel bleibt eine Figur, die sich einfachen Deutungen entzieht: Er ist weder bloß ein technischer Logiker noch ein religiöser Denker im klassischen Sinn. Sein Werk zeigt vielmehr, daß selbst die strengste Form der Vernunft an Fragen stößt, die sie nicht vollständig aus sich selbst beantworten kann.
Gerade darin liegt seine bleibende Bedeutung – auch und nicht zuletzt durch sein Aufgreifen der Gottesfrage, die er auch für die moderne Wissenschaft zur Herausforderung, zu einer zentralen Frage menschlicher Erkenntnis überhaupt, machte.
Text: Giuseppe Nardi
Bild: Store Norske Leksikon
Hinterlasse jetzt einen Kommentar