Die 650 Seiten, die Claude aus Goedels Notizbuch las

Vor fast fünf Jahrzehnten starb Kurt Gödel, ein enger Freund Albert Einsteins und einer der brillantesten mathematischen Köpfe des 20. Jahrhunderts. Sein Vermächtnis half, die Grundlagen der modernen Informatik zu legen, doch ein großer Teil seiner Arbeit blieb unpubliziert. Der Grund dafür war paradoxerweise seine eigene Handschrift, die er in einer veralteten deutschen Kurzschrift namens Gabelsberger verfasste.

Diese spezifische Schreibweise stellte für die Nachwelt eine enorme Hürde dar, da die Gabelsberger-Kurzschrift im 19. und frühen 20. Jahrhundert in Deutschland weit verbreitet war, aber heute für die meisten Leser unkenntlich ist. Für Historiker und Mathematiker wurde sie zu einer unüberwindbaren Barriere, die den Zugang zu Gödels tiefsten Gedanken und Argumentationsstrukturen für Jahrzehnte blockierte und sein intellektuelles Vermächtnis in einem Zustand der Unlesbarkeit zurückließ.

Dieses Rätsel ist nun gelöst. Ein Forschungsteam unter der Leitung des finnischen Logikers Jan von Plato nutzte im September die KI Claude von Anthropic, um die seit den 1940er Jahren verborgenen Entdeckungen zu entschlüsseln. Innerhalb weniger Tage produzierte das System eine 650 Seiten lange Analyse der Manuskripte, die Hunderte von mathematischen Theoremen zutage förderten, die seit acht Jahrzehnten im Verborgenen lagen.

Die Ergebnisse sind spektakulär, aber sie kommen mit einer wichtigen Einschränkung. Von Plato und sein Team identifizierten 663 potenzielle mathematische Sätze. Ungefähr 400 dieser Theoreme wurden anschließend ohne Korrekturen verifiziert. Es handelt sich um eine gewaltige Menge an neuem Wissen, das durch die Verbindung von historischer Forschung und moderner Technologie freigesetzt wurde und die Grenzen unseres Verständnisses von Gödels Arbeit neu definiert.

Der Code, der die Mathematik vor der KI schützte

Warum blieben Gödels Notizen so lange unlesbar? Die Antwort liegt tief in der Geschichte der deutschen Schriftkultur. Die Gabelsberger-Schrift war eine hochkomplexe Form der Kurzschrift, die entwickelt wurde, um die Schreibgeschwindigkeit zu maximieren, aber dabei eine extreme Verdichtung der Zeichen bedeutete. Diese Dichte machte die Texte für jeden, der nicht in dieser spezifischen Tradition ausgebildet war, praktisch unentzifferbar und verwandelte die Manuskripte in eine Art chiffrierter Codex.

Jan von Plato studierte die Manuskripte bereits seit 2017. Die jahrelange mühsame Arbeit war notwendig, um die Struktur der Aufzeichnungen zu verstehen und die logischen Verknüpfungen zwischen den einzelnen Notizen nachzuvollziehen. Doch selbst mit dieser tiefgehenden Expertise stieß die manuelle Transkription an ihre absoluten Grenzen. Die Komplexität der Kurzschrift und die Dichte der mathematischen Argumente machten einen vollständigen Durchgang durch alle Seiten praktisch unmöglich und erforderten eine neue Herangehensweise.

Die Herausforderung bestand nicht nur im Lesen der Zeichen, sondern im Verstehen der impliziten mathematischen Logik, die oft nur durch die Anordnung der Symbole angedeutet wurde. Viele der Theoreme waren in einer Form notiert, die für moderne Leser ohne den Kontext der damaligen Debatte unverständlich blieb. Die KI Claude konnte diese Lücke füllen, indem sie die visuellen Muster der Handschrift mit dem semantischen Verständnis der mathematischen Konzepte verknüpfte und so die verborgene Struktur der Argumente sichtbar machte.

Wie Claude die Lücke zu Cohen schloss

Die Analyse der Notizbücher wirft ein neues Licht auf die Geschichte der Mathematik. Sie deutet darauf hin, dass Gödel bemerkenswert nahe an einem Durchbruch war, den der US-amerikanische Mathematiker Paul Cohen erst 1966 vollendete. Cohen erhielt für die Lösung fundamentaler Fragen der Mengenlehre die Fields-Medaille, die oft als Nobelpreis der Mathematik bezeichnet wird, und etablierte damit einen Meilenstein in der modernen Logik.

Gödel hatte zuvor gezeigt, dass bestimmte mathematische Annahmen mit den etablierten Regeln konsistent waren. Cohen bewies dann, dass diese Annahmen nicht allein mit diesen Regeln bewiesen werden konnten. Die neu analysierten Aufzeichnungen von Gödel legen nahe, dass er mehr als zwei Jahrzehnte vor Cohen einen ähnlichen Weg einschlug und bereits die theoretischen Grundlagen für diese Erkenntnis gelegt hatte, die er jedoch nicht vollständig formalisieren konnte.

Forscher betonen jedoch, dass Gödels unvollständiges Argument nicht beweist, dass er das Ergebnis tatsächlich formal bewiesen hatte. Es bleibt eine faszinierende historische Annäherung, die die Grenzen seiner damaligen Erkenntnis und die Dynamik der mathematischen Forschung jener Zeit beleuchtet. Dieser Befund unterstreicht die Bedeutung der neu entdeckten Theoreme, die zeigen, wie nah Gödel an der Lösung war und wie komplex die Hürden für die formale Verifikation in dieser Zeit waren.

Die Entdeckung dieser Nähe zu Coehns Arbeit verändert die Perspektive auf Gödels späte Jahre. Sie zeigt, dass er nicht nur ein Abgeschlossenheitssucher in seiner Logik war, sondern aktiv an den Grenzen des Beweiskrafts arbeitete. Die 400 verifizierten Theoreme belegen, dass sein Denken in diesen Jahren extrem produktiv war und dass die Unlesbarkeit seiner Notizen ein großer Verlust für die Wissenschaftsgeschichte bedeutete, der nun durch die technologische Innovation wieder aufgeholt wird.

Nächste Schritte in der Physik

Die Arbeit ist damit noch nicht abgeschlossen. Jan von Plato plant, die unpublizierten Arbeiten Gödels zur Physik und Kosmologie zu untersuchen. Diese Bereiche könnten weitere Entdeckungen bergen, die durch die KI-gestützte Analyse der Gabelsberger-Schrift zugänglich gemacht werden können. Die Verbindung von Mathematik und Physik war für Gödel zentral, und die neuen Erkenntnisse könnten Licht auf seine Sichtweise der Raumzeit und der fundamentalen Naturgesetze werfen.

Dieser Fall zeigt, wie künstliche Intelligenz nicht nur als Werkzeug, sondern als Entdecker fungieren kann. Sie überwindet sprachliche und zeitliche Barrieren und öffnet Türen zu Wissen, das sonst für immer verloren geblieben wäre. Die Kombination aus historischem Material und moderner Technologie schafft eine neue Dimension der Wissenschaftsgeschichte, in der vergessene Gedanken wieder lebendig werden und das kollektive Wissen der Menschheit erweitern.

Die 650 Seiten der Analyse sind mehr als nur eine Transkription; sie sind ein Fenster in den Geist eines der großen Denker des 20. Jahrhunderts. Die Fähigkeit der KI, die Nuancen der Gabelsberger-Schrift zu verstehen und die mathematischen Implikationen korrekt zu interpretieren, markiert einen Wendepunkt in der digitalen Humanismus- und Wissenschaftsforschung. Es ist ein Beweis dafür, dass die Vergangenheit durch die Linsen der Gegenwart neu gelesen und verstanden werden kann.