Die PI der Mathematik – Oder: Warum jede Schließung den Raum sprengt, den sie sichern will.

Warum jeder Versuch, die Mathematik endgültig zu schließen, sie erweitert hat — und warum eine KI, die sie für geschlossen hält, genau das nicht lernen kann.

„Wir müssen wissen. Wir werden wissen."

— David Hilbert, Grabinschrift, Göttingen

24. Juli 2026

Geoffrey Hinton hat kürzlich erklärt, Mathematik sei ein geschlossenes System – ein Spielfeld mit festen Regeln, auf dem eine KI trainieren kann wie im Go. Der Satz ist bemerkenswert – nicht, weil er falsch ist, sondern weil er auf eine Weise falsch ist, die sich mathematisch beweisen lässt. Dreimal in ihrer Geschichte hat die Mathematik versucht, sich zu schließen. Dreimal hat gerade dieser Versuch sie gesprengt.

Drei Schließungen, drei Sprengungen

Die Pythagoreer wollten die Welt aus Verhältnissen ganzer Zahlen bauen. Alles sollte rational sein – im doppelten Wortsinn. Dann fiel ihnen die Diagonale des Einheitsquadrats vor die Füße: √2. Kein Verhältnis, nirgends. Die Legende sagt, sie hätten den Entdecker ertränkt. Die Zahl blieb. Der Zahlenraum erweiterte sich um das Irrationale – erzwungen durch den Versuch, ihn rational zu halten.

Die Algebraiker wollten Gleichungen lösbar machen. Ein bescheidenes Ziel: Jede Gleichung soll eine Antwort haben. Doch x + 5 = 3 verlangt Zahlen unter Null. x² = −1 verlangt Zahlen, die es „nicht geben kann". Man nannte sie negativ, imaginär, absurd – lauter Abwehrvokabeln. Heute rechnet jede Wechselstromleitung mit ihnen. Der Anspruch der Lösbarkeit, gedacht als Vollendung des Systems, produzierte Zahl um Zahl, die das System nicht vorgesehen hatte.

Hilbert schließlich wollte den Deckel endgültig schließen: die gesamte Mathematik auf ein vollständiges, widerspruchsfreies Axiomensystem gründen. Jede wahre Aussage beweisbar, jeder Zweifel mechanisch entscheidbar. 1931 zeigte Gödel: Jedes widerspruchsfreie formale System, das die Arithmetik umfasst, enthält wahre Sätze, die es nicht beweisen kann. Und seine eigene Widerspruchsfreiheit gehört dazu. Das ist keine Meinung und kein Kulturpessimismus. Es ist ein Theorem. Der ehrgeizigste Schließungsversuch der Mathematikgeschichte hat die Unabschließbarkeit der Mathematik bewiesen.

Der Mechanismus

Dreimal dieselbe Struktur:

Die Absicht ist rational. Wer Vollständigkeit will, will nichts Böses – er will Klarheit, Verlässlichkeit, festen Boden. Die Pythagoreer, die Algebraiker, Hilbert: keine Dogmatiker, sondern Präzisionsarbeiter.

Das Ergebnis ist die Umkehrung. Gerade der Anspruch auf Geschlossenheit legt die Stelle frei, an der das System nicht schließt. √2 existiert nur als Skandal, weil alles rational sein sollte. Gödels Sätze existieren, weil Hilbert die Vollständigkeit forderte – sie sind die präzise Antwort auf eine präzise Frage, die ohne den Schließungswillen nie gestellt worden wäre.

Alle sind schuldig. Keiner kann etwas dafür.

Das ist die paradoxe Interaktion in ihrer saubersten Form: kein Bösewicht, kein Versagen, keine Verschwörung. Nur rationale Akteure, deren rationales Handeln systemisch das Gegenteil des Beabsichtigten erzeugt – und zwar nicht als Unfall, sondern als Struktur.

Der Münchhausen-Zug

Man kann es auch so sagen: Die Mathematik zieht sich am eigenen Schopf aus dem Sumpf. Das ist eigentlich verboten – kein System kann sich aus sich selbst begründen, das ist ja gerade Gödels Punkt. Und doch geschieht es, immer wieder.

Der Trick liegt im Detail: Die Hand, die zieht, gehört nicht zum System, das versinkt. Sie gehört einer Mathematik, die es im Moment des Versinkens noch gar nicht gibt. √2 versenkt die rationale Arithmetik – gerettet wird sie von den reellen Zahlen, die erst erfunden werden mussten. x² = −1 versenkt die reelle Algebra – gerettet von der komplexen Ebene, die vorher „unmöglich" hieß. Die Krise erzwingt die Erfindung des Bodens, auf dem sie sich nachträglich als lösbar erweist.

Münchhausen lügt nur, solange er derselbe bleiben will. Die Mathematik kommt aus dem Sumpf, weil sie bereit ist, als eine andere herauszusteigen.

Was das für die KI bedeutet

Wenn Mathematik ein geschlossenes Spiel wäre, hätte Hinton recht: Man könnte sie durchspielen wie Go. Selbstgestellte Aufgaben, geprüfte Beweise, Belohnung fürs Gewinnen. Vieles davon wird funktionieren – innerhalb der Regeln.

Aber Mathematik ist nicht das Spielen nach Regeln. Sie ist, historisch nachweisbar, das Ereignis, bei dem die Regeln nicht mehr reichen. Der Moment, in dem √2 auftaucht. In dem jemand die imaginäre Einheit ernst nimmt. In dem einer die Frage nach der Vollständigkeit so präzise stellt, dass die Antwort das Fundament verschiebt.

Eine KI, die Mathematik als geschlossenes System lernt, lernt das Spiel. Ob sie den Moment lernt, in dem das Spiel sich selbst sprengt, ist eine offene Frage – und zwar buchstäblich: eine Frage, die sich nicht innerhalb des Systems entscheiden lässt, das sie betrifft.

Genau das hätte Gödel vorhergesagt.

Eine Präzisierung, der Redlichkeit halber: Gödels Unvollständigkeitssätze gelten für formale Systeme, die mächtig genug für die Arithmetik sind. Sie besagen nicht, dass „alles offen" oder „nichts beweisbar" wäre – im Gegenteil: Sie sind selbst ein Beweis, geführt mit äußerster Strenge. Die Offenheit der Mathematik ist keine Beliebigkeit. Sie ist ein präzises, bewiesenes Strukturmerkmal. Das macht sie stärker, nicht schwächer.

Verwandte Beiträge

Auf piinteract.org

• [Das Framework] — Die Grundstruktur, in die sich der Mathematik-Fall einordnet: rationale Akteure, kollektiv irrationales Ergebnis, keine Schuld.
• [Beispiele: Wissenschaft & Akademie] — Weitere Fälle, in denen Wissenschaft an ihrem eigenen Vollständigkeitsanspruch scheitert.
• [Beispiele: Technologie & KI] — Der Hinton-Bezug im Kontext weiterer PI-Fälle aus der KI-Entwicklung.

Siehe auch (externe Links):

Geoffrey Hinton im Gespräch mit Yascha Mounk — Vollständiges Interview-Transkript, Primärquelle für Hintons Aussage, Mathematik sei ein "geschlossenes System".

Gödel's Incompleteness Theorems – Stanford Encyclopedia of Philosophy — Die formale, akademisch geprüfte Darstellung beider Unvollständigkeitssätze, Grundlage für den Hilbert-Abschnitt.

Pythagoras – MacTutor History of Mathematics (University of St Andrews) — Institutionelle Quelle zur historischen Einordnung der Entdeckung des Irrationalen bei den Pythagoreern.

Real Numbers – MacTutor History of Mathematics — Vertiefende Quelle zur Streitfrage, wer √2 als erster als inkommensurabel erkannte.

Paradoxe Interaktionen (PI): Wenn rationale Akteure strukturell kollektiv irrationale Ergebnisse produzieren — nicht durch Versagen, sondern durch Struktur.

Alle sind schuldig. Keiner kann etwas dafür.

Peter Senner Thinking beyond the Tellerrand

contact@piinteract.org
https://piinteract.org

Ko-kreiert mit Claude (Anthropic) — zwei unvollständige Systeme, die die Lücken des anderen sichtbar machen.