Im September 1930 verkündete David Hilbert im Radio sein berühmtes Motto: “Wir müssen wissen, wir werden wissen.” Nur einen Tag zuvor hatte auf derselben Königsberger Tagung ein 24-jähriger Österreicher dieses Ideal bereits zertrümmert. Sein Name: Kurt Gödel.
Diese Episode erzählt die Geschichte eines der tiefgründigsten Denker des 20. Jahrhunderts — und die mathematische Revolution, die er ausgelöst hat. Wir starten im Wien der Zwischenkriegszeit, wo Gödel im Umfeld des Wiener Kreises studierte, sich dem logischen Empirismus seiner Zeitgenossen aber entzog. Als überzeugter Platonist glaubte er, dass mathematische Wahrheiten eine eigene Realität besitzen — Zahlen sind für ihn genauso echt wie ein Berg.
Wir zeichnen nach, warum Hilbert die Mathematik überhaupt “reparieren” wollte: In der Mengenlehre waren Paradoxien aufgetaucht, die das Fundament der Disziplin bedrohten. Hilberts Programm sollte die gesamte Mathematik axiomatisieren — vollständig, widerspruchsfrei, mechanisch prüfbar.
Im Zentrum steht dann Gödels genialer Trick, die Gödelisierung: Er ordnete jedem mathematischen Symbol eine Zahl zu und verwandelte über Primfaktorzerlegung ganze Formeln in einzelne riesige Zahlen — eine mathematische ZIP-Datei, die Mathematik zwingt, über sich selbst zu sprechen. Daraus konstruierte er den berüchtigten Satz G: “Ich bin in diesem System nicht beweisbar” — und zeigte damit den ersten Unvollständigkeitssatz. Der zweite Satz setzte nach: Kein hinreichend mächtiges System kann seine eigene Widerspruchsfreiheit beweisen. John von Neumann soll gesagt haben: “Es ist vorbei.”
Wir klären auch weit verbreitete Missverständnisse: Gödel hat nicht bewiesen, dass 1+1 vielleicht doch 3 ist. Brücken stehen, Flugbahnen stimmen. Sein Satz ist keine beliebige philosophische Keule gegen Verfassungen, Bibeltexte oder “alles ist relativ”. Er gilt nur für hinreichend mächtige formale Systeme — die Presburger-Arithmetik ohne Multiplikation ist etwa vollständig, weil Gödels Falle ohne Primfaktorzerlegung nicht zuschnappt.
Die moderne Bedeutung von Gödels Arbeit liegt weniger in der Philosophie als in der theoretischen Informatik. Alan Turing baute direkt auf ihm auf und bewies das Halteproblem. Gödel selbst legte 1956 in einem Brief an von Neumann die Grundlage für das bis heute ungelöste P=NP-Problem. Roger Penrose zieht aus den Unvollständigkeitssätzen sogar ein Argument gegen starke KI: Wenn unser Verstand Wahrheiten erkennt, an denen jedes formale System scheitert, ist Bewusstsein womöglich keine bloße Software.
Wir erzählen die berühmte Einstein-Freundschaft in Princeton — Einstein ging angeblich nur noch ins Institute for Advanced Study, um mit Gödel nach Hause gehen zu dürfen. Gödel fand 1949 eine rotierende Lösung der Relativitätstheorie, in der Zeitreisen möglich wären. Zur Einbürgerung 1947 wollte er dem Richter ein Schlupfloch zur Diktatur in der US-Verfassung demonstrieren — Einstein und Morgenstern begleiteten ihn, um genau das zu verhindern.
Am Ende steht die Tragik: Gödels kompromissloser Verstand schlug in Paranoia um. Nur seine Frau Adele durfte für ihn kochen und musste alles vorkosten. Als sie 1977 ins Krankenhaus musste, verweigerte Gödel die Nahrungsaufnahme und starb Anfang 1978 — verhungert aus Angst vor Vergiftung.
Sein Vermächtnis bleibt paradox: Er zerstörte Hilberts Traum der perfekten Mathematik. Und er rettete sie zugleich davor, zur reinen Fließbandarbeit zu verkommen. Die Mathematik ist unerschöpflich. Wahrheit ist größer als Beweisbarkeit.
