Gödelsche Nummerierung: Leser sucht Hilfe zum Verständnis

Die gödelsche Nummerierung: Der Code, den niemand erklären kann

Ein Leser mit Ausbildung in Funktionsanalysis gibt zu, dass er die gödelsche Kodierung nicht versteht. Er hat eine KI gefragt, deren Antwort ihm ebenfalls unklar erschien. So beginnt eine Diskussion, in der sich niemand einig wird, ob das Problem im Stoff oder in der Vermittlung liegt.

Die gödelsche Nummerierung ist ein System, das jedem Symbol, jeder Formel und jedem Beweis eines formalen Systems eine eindeutige Nummer zuweist. Sie entsteht durch Multiplikation der ersten Primzahlen, potenziert mit dem Wert jedes Symbols. Eine Formel aus fünf Symbolen ergibt eine enorme Zahl – ihren arithmetischen Fingerabdruck. Die Idee, Kurt Gödel 1931 zugeschrieben, ermöglicht es einem System, über sich selbst zu sprechen.

Was ist die gödelsche Nummerierung und wozu dient sie?

Der Mechanismus ist eine Anwendung des Fundamentalsatzes der Arithmetik. Jedes Symbol erhält eine Nummer. Jede Formel wird zu einem Produkt von Primzahlen. Jeder Beweis zu einem Produkt solcher Produkte. Die Umkehrbarkeit ist vollständig: Von der Nummer gelangt man durch Primfaktorzerlegung zurück zur Formel.

Der Zweck ist nicht dekorativ. Gödel brauchte ein formales System, das seine eigenen Formeln als arithmetische Objekte betrachten konnte. Nur so konnte er eine Aussage konstruieren, die im Wesentlichen sagt: „Ich bin nicht beweisbar.“ Ohne diese Kodierung gäbe es die Unvollständigkeitssätze nicht.

Manche behaupten, die Sache sei trivial und das Schwierige kam erst danach: das Diagonalargument, das Gödel von Cantor übernahm, und Richards Paradox. Die Kodierung wäre nur das Gerüst, nicht das Gebäude.

Warum die KI-Erklärung nicht überzeugt

Das Anliegen ist klar: Man will die Nummerierung verstehen, um die beiden Sätze zu begreifen. Die automatische Antwort beschreibt die Sätze souverän, verliert sich aber bei der Kodierung. Der Leser sagt es offen: Er versteht sie nicht.

Ein Teil der Diskussion deutet darauf hin, dass das Problem nicht beim Leser liegt. Der generierte Text hat einen assertiven Ton, der den Reflex auslöst: „Liegt es wohl an mir?“ Aber er erklärt weder die Mechanik noch den Grund der Regel. Das ist ein Risiko großer Sprachmodelle: Sie klingen sicher, ohne aufzuklären.

Andere Beiträge gehen tatsächlich ins Detail. Ein Beispiel wird gegeben: Hat eine Formel fünf Symbole, nimmt man die ersten fünf Primzahlen und potenziert sie mit den Werten der jeweiligen Zeichen. Das Ergebnis ist eine gigantische Zahl. Und daraus folgt der Schlüssel: Jeder Ausdruck der formalen Sprache ist einer eindeutigen natürlichen Zahl zugeordnet.

Das Beispiel, das man wirklich versteht

Bei der Formel „0 = x“ und den Codes 1, 3 und 4 ist die Gödel-Nummer 2¹ × 3³ × 5⁴, also 33.750. Die Operation ist einfach. Schwer fällt, einzusehen, warum man sie tut.

Die Antwort lautet: Die Kodierung verwandelt die mathematische Sprache in ein arithmetisch manipulierbares Objekt. Eigenschaften der Formeln – wie „beweisbar sein“ – werden zu Eigenschaften von Zahlen. So kann das System über sich selbst sprechen, ohne die Arithmetik zu verlassen.

Eine in der Diskussion kursierende Rechnung zerlegt den Prozess schrittweise und liefert eine Differenz, die überrascht, wer handhabbare Zahlen erwartet. Kein kleines Detail: Die Größe dieser Zahlen ist Teil des Arguments.

Gödel, Philosophie und Hilberts Problem

Die Unvollständigkeitssätze stürzten Hilberts Programm, das alle Mathematik vollständig und widerspruchsfrei formalisieren wollte. Der erste Satz besagt, dass es in jedem konsistenten und ausreichend ausdrucksstarken System Aussagen gibt, die weder bewiesen noch widerlegt werden können. Der zweite besagt, dass das System seine eigene Konsistenz nicht beweisen kann.

Die Diskussion driftet ins Philosophische. Wittgenstein, Russell und Whitehead sowie die Principia Mathematica werden als monumentale Leistungen erwähnt, die durch die Unvollständigkeit infrage gestellt wurden. Auch wird angemerkt, dass das Fach oft von Philosophie- und nicht von Mathematik-Fakultäten unterrichtet wurde.

Manche vertreten die Ansicht, die Mathematik sei zwar begrenzt, aber man könne das System erweitern, um das Ausgelassene zu erfassen. Dagegen spricht, dass jede Erweiterung ein neues System mit eigenen Grenzen erzeugt.

Auswahlaxiom und andere Abschweifungen

Das Gespräch springt zum Auswahlaxiom, bei dem Mathematiker entscheiden müssen, ob sie es akzeptieren. Gödel zeigte, dass das Auswahlaxiom konsistent ist, wenn die Axiome der Mengenlehre es sind. Da die Konsistenz eines Systems nicht aus seinen eigenen Axiomen bewiesen werden kann, bleibt die Diskussion offen.

Auch Quantencomputing taucht als möglicher Weg auf, die Faktorisierung ganzer Zahlen zu brechen, die Grundlage der heutigen Kryptografie. Die Antwort ist knapp: Dafür braucht man keine Computer, ein Knüppel reicht. Die Ironie beendet die Abschweifung.

Der Thread endet dort, wo er begann. Jemand fasst zusammen, dass es sich um nicht formalisierbare Gefühle handelt. Ein anderer empfiehlt das populärwissenschaftliche Buch „Gödel, Escher, Bach“, wieder andere spezifische Werke zum Satz. Die häufigste Empfehlung: Mit Teilbarkeit, Primzahlen und Kongruenzen beginnen, dem ersten Thema jedes Lehrbuchs der Zahlentheorie.

Mit der gödelschen Nummerierung passiert etwas Merkwürdiges: Sie ist in drei Zeilen erklärt und in keiner verstanden. Die Formel ist simpel. Was nicht so simpel ist, ist die Akzeptanz, dass eine Zahl einen Satz, einen Beweis und ein Paradox enthalten kann.