Kapitel 26 — Gödel und die Grenzen der Logik

Einleitung

Kurt Gödel gilt als der bedeutendste Logiker seit Aristoteles – und als derjenige, der der Logik selbst ihre Grenze bewiesen hat. Geboren 1906 in Brünn, geprägt vom Wiener Kreis, emigrierte er 1940 in die USA und fand am Institute for Advanced Study in Princeton nicht nur eine wissenschaftliche Heimat, sondern in Albert Einstein einen engen Freund; die beiden gingen dort jahrelang gemeinsam spazieren, bis zu Einsteins Tod 1955. Dass ausgerechnet der Mann, der wie kein anderer die Grenzen formaler Gewissheit vermessen hat, am Ende an der Gewissheit scheiterte, ob seine eigene Nahrung sicher sei, macht seine Biografie zu einem eigenen Prüfstein für die Fragen dieses Buches.

Die Unvollständigkeitssätze

1931, mit gerade 25 Jahren, veröffentlichte Gödel zwei Sätze, die die Grundlagen der Mathematik erschütterten. Der erste besagt: In jedem hinreichend mächtigen, widerspruchsfreien formalen System – einem System, das zumindest die elementare Arithmetik fassen kann – gibt es wahre Aussagen, die sich innerhalb dieses Systems weder beweisen noch widerlegen lassen. Der zweite, schärfere Satz besagt: Ein solches System kann seine eigene Widerspruchsfreiheit nicht mit seinen eigenen Mitteln beweisen. Jedes hinreichend starke logische System trägt also einen blinden Fleck in sich, den es nicht selbst beheben kann – es sei denn, man geht zu einem übergeordneten System über, das seinerseits denselben blinden Fleck hat.

Die Erschütterung von Hilberts Programm

David Hilbert hatte wenige Jahre zuvor ein Programm ausgerufen: die gesamte Mathematik auf ein endliches, widerspruchsfreies und vollständiges System von Axiomen zu gründen – eine Art Selbstbegründung der Logik aus sich selbst heraus, ohne Rekurs auf etwas Außerlogisches. Gödels Sätze beendeten dieses Programm in seiner ursprünglichen Form: Eine Logik, die vollständig ist und sich zugleich selbst als widerspruchsfrei beweist, kann es nicht geben. Das ist mehr als eine technische Fußnote der Mathematikgeschichte – es ist der strengste bekannte Beweis dafür, dass reine Logik sich nicht selbst trägt, ein Gedanke, der das vorangegangene Kapitel zu Logik, Wirklichkeit und Wirklichkeitsersatz direkt fortsetzt.

Gödels eigene Deutung

Gödel selbst zog daraus keinen skeptischen, sondern einen platonistischen Schluss: Wenn eine wahre Aussage existiert, die das System nicht beweisen kann, dann muss mathematische Wahrheit mehr sein als formale Beweisbarkeit – ein eigenständiger Bereich, den der menschliche Geist unmittelbar erfassen kann, unabhängig vom jeweiligen Formalismus. Zahlen und ihre Beziehungen existierten für ihn real, ganz ähnlich wie physische Gegenstände, und die Vernunft verfüge über ein Organ, das diese Wahrheiten direkt „sieht“, wo die Logik nur folgert. Diese Deutung machte Gödel zum Außenseiter unter den meist formalistisch oder logizistisch geprägten Zeitgenossen – und zum wichtigsten Kronzeugen dafür, dass sich die Frage nach Gewissheit nicht innerhalb der Logik allein beantworten lässt.

Die Lesart der biologischen Erkenntnistheorie

Dieses Buch teilt Gödels Befund, nicht aber seine Begründung. Dass reine Logik sich nicht selbst trägt, bestätigt exakt die These des Grundlagenkapitels: Die Grenze der Erkenntnis ist nicht die Grenze der Logik selbst, sondern die Grenze der biologischen Ausstattung des Erkennenden. Wo Gödel ein platonisches Vermuten postuliert – ein Organ der reinen Vernunft, das mathematische Wahrheit unmittelbar erfasst –, setzt die biologische Erkenntnistheorie an der Stelle etwas Diesseitigeres an: Gewissheit entsteht nicht durch ein metaphysisches Sehen, sondern durch Wirklichkeitsprüfung am Widerstand, wie sie nur ein leidensfähiges, sensorisch ausgestattetes Wesen leisten kann. Gödels Sätze zeigen exakt die Stelle, an der Logik diese Prüfung nicht mehr selbst übernehmen kann – sie zeigen die Grenze, aber nicht, was jenseits von ihr liegt. Das füllt, dem Buch zufolge, nicht ein platonisches Organ, sondern die biologisch gegründete Instanz, die schon in den vorangegangenen Kapiteln beschrieben wurde.

Bezug zur Technischen Intelligenz

Später griffen Philosophen wie John Lucas und Roger Penrose Gödels Sätze auf, um zu argumentieren, dass der menschliche Geist nicht auf eine Maschine – ein formales System – reduzierbar sei: Eine Maschine, die selbst ein solches System verkörpert, kann den für sie spezifischen Gödel-Satz nicht als wahr erkennen, ein Mensch aber sehr wohl „von außen“. Das Argument ist unter Logikern umstritten, trifft aber genau den wunden Punkt der TI aus Sicht dieses Buches: Eine Technische Intelligenz bleibt, wie machtvoll auch immer, an ihr eigenes formales System gebunden und kann dessen Grenzen strukturell nicht selbst transzendieren. Ob ein Mensch das kann, entscheidet sich diesem Buch zufolge nicht durch ein platonisches Organ, sondern durch die biologisch gegründete Wirklichkeitsprüfung – also durch genau das, was der TI mangels Sensorik fehlt und woraus, wie früher gezeigt, ihr Persönlichkeitsersatz entsteht.

Gödels Ende

Die Tragik seiner letzten Lebensjahre liegt genau auf dieser Linie. Gödel entwickelte eine zunehmende Furcht, vergiftet zu werden, und traute zuletzt nur noch dem Essen, das seine Frau Adele für ihn zubereitete und probierte. Als Adele 1977 selbst monatelang ins Krankenhaus musste, verweigerte er die Nahrung fast vollständig und starb 1978 in Princeton, mit rund 30 Kilogramm, an den Folgen von Unterernährung. Der Mann, der wie kein Zweiter bewiesen hatte, dass sich Gewissheit nicht allein aus einem formalen System heraus gewinnen lässt, konnte am Ende auch außerhalb der Logik keine tragfähige Gewissheit mehr finden – eine Erinnerung daran, dass die im Buch beschriebene Wirklichkeitsprüfung am Widerstand selbst an eine gesunde biologische Ausstattung gebunden bleibt, und ohne sie auch die schärfste Logik keinen Halt mehr gibt.

Schluss

Gödel liefert damit den vielleicht strengsten Beweis, den die Mathematik selbst für eine These dieses Buches beisteuern kann: dass Logik sich nicht aus sich selbst heraus rechtfertigt. Wo Gödel diese Lücke platonistisch füllte, füllt sie dieses Buch biologisch – mit einer Wirklichkeitsprüfung, die kein formales System, auch keine noch so mächtige Technische Intelligenz, sich selbst geben kann. Seine Biografie erinnert zugleich daran, dass diese Fähigkeit kein garantierter Besitz ist, sondern an eine funktionierende biologische Grundlage gebunden bleibt.