Kurt Gödels verlorene Sätze

Es ist ein Fund, der die mathematische Welt auf den Kopf stellt, auch wenn er noch keinen Nobelpreis verdient. In den persönlichen Notizbüchern von Kurt Gödel, jenem engsten Freund Albert Einsteins, schlummern seit den 1940er Jahren hunderte mathematische Entdeckungen, die bisher niemand zu lesen vermochte. Die Ursache war nicht mangelnde Intelligenz der Nachfolger, sondern eine veraltete deutsche Kurzschrift namens Gabelsberger.

Seit 2017 hat sich das Team um den finnischen Logiker Jan von Plato diesen manuskripten gewidmet. Doch erst im September dieses Jahres drehte sich das Blatt, als die Gruppe den KI-Chatbot Claude von Anthropic ins Spiel brachte. Innerhalb weniger Tage lieferte die Maschine eine Analyse von 650 Seiten und identifizierte 663 potenzielle Theoreme. Etwa 400 davon wurden bereits verifiziert und halten der wissenschaftlichen Prüfung stand.

Der Code, der niemanden lesen konnte

Gödel gilt als einer der schärfsten mathematischen Köpfe des 20. Jahrhunderts. Seine Arbeit legte die Fundamente für die moderne Informatik, doch ein großer Teil seines Werks blieb unpubliziert. Der Grund war paradoxerweise seine eigene Präzision. Er notierte seine Gedanken in einer Kurzschrift, die von der nächsten Generation von Wissenschaftlern nicht mehr entziffert werden konnte.

Die KI hat diese Barriere nun durchbrochen. Was für Menschen eine mühsame Archäologie war, ist für das neuronale Netz ein Mustererkennungsaufgabe. Die Geschwindigkeit, mit der Claude die Sätze rekonstruierte, zeigt, wie sich die Wissenschaftsgeschichte durch digitale Werkzeuge verschiebt. Wir lesen nicht mehr nur, was veröffentlicht wurde, sondern was gedacht wurde.

Cohen und der fast erreichte Beweis

Besonders faszinierend ist eine Anknüpfung an die Geschichte der Mengenlehre. 1966 erhielt der US-amerikanische Mathematiker Paul Cohen die Fields-Medaille, oft als Nobelpreis der Mathematik bezeichnet. Er löste fundamentale Fragen zur Konsistenz mathematischer Annahmen.

Gödel hatte zuvor gezeigt, dass bestimmte Annahmen mit den etablierten Regeln konsistent sind. Cohen bewies später, dass man diese Annahmen nicht mit den Regeln allein beweisen kann. Die neuen Notizen legen nahe, dass Gödel über zwei Jahrzehnte zuvor erstaunlich nah an Cohens Durchbruch war. Ob er den Beweis tatsächlich vollendet hatte, bleibt umstritten, doch die Nähe ist bemerkenswert.

Nächste Schritte in der Kosmologie

Jan von Plato plant, nun die unveröffentlichten Arbeiten Gödels zu Physik und Kosmologie zu untersuchen. Es ist möglich, dass dort weitere Entdeckungen warten, die den Blick auf die Struktur des Universums verändern könnten. Die Kombination aus historischer Tiefe und moderner Technologie bietet ein einzigartiges Fenster in den Geist eines Genies.

Dieser Fall zeigt auch die Grenzen und Chancen der KI in der Wissenschaft. Sie ist kein Ersatz für menschliche Einsicht, aber ein mächtiger Verstärker. Sie hebt das Versteckte hervor, damit Menschen es verstehen können.