Goodsteins Satz: Die Folge, die explodiert und doch immer zur Null zurückkehrt
Wähle eine beliebige ganze Zahl. Irgendeine. Befolge dann eine Zwei-Schritt-Regel, immer wieder, und beobachte das Ergebnis. Für fast jeden Startwert, den du wählst, rast die Folge über ein Googol hinaus, vorbei an Zahlen, die die Zahl der Atome im beobachtbaren Universum in den Schatten stellen, vorbei an allem, was du in einem Leben aufschreiben könntest. Und doch kommt sie beweisbar immer zur Null zurück.
Das ist Goodsteins Satz, und wenn du ihn zum ersten Mal hörst, klingt er wie ein Trick. Die Regel ist nicht kompliziert, die Zahlen sind gewöhnlich, und die Aussage ist klar. Dennoch hatte der Grund für ihre Wahrheit jahrzehntelang keinen Platz in der gewöhnlichen Arithmetik. Dieser Artikel verlangt nicht, dass du einen logischen Beweis verfolgst. Stattdessen zeigt er dir das Bild darunter, und wenn du es einmal siehst, hört der Satz auf, rätselhaft zu sein.
Die Regel ist fast kindisch einfach
Du startest mit einer ganzen Zahl und einer Basis, beginnend bei Basis 2. Bei jedem Schritt tust du zwei Dinge: erstens, schreibe die aktuelle Zahl in sogenannter hereditärer Basis-n-Darstellung; zweitens, ersetze jedes Vorkommen der Basis n durch n+1 und ziehe dann 1 ab. Dann gehe zur nächsten Basis über und wiederhole.
Das Erhöhen-und-Subtrahieren klingt harmlos. Die Basis von 2 auf 3 zu erhöhen fühlt sich wie eine kleine Änderung an. 1 abzuziehen sollte die Zahl eigentlich zähmen. Du wirst gleich sehen, warum keine dieser Intuitionen dem Kontakt mit hereditärer Notation standhält.
Beobachte die Explosion
Starte mit 4. In hereditärer Basis 2 ist das 2^2. Ersetze jede 2 durch 3 und ziehe 1 ab: du erhältst 3^3 minus 1, also 26. Schreibe 26 jetzt in hereditärer Basis 3, erhöhe auf Basis 4, ziehe 1 ab, und du erhältst 41. Weiter geht's.
| Step | Base | Written in that base | Value |
|---|---|---|---|
| 1 | 2 | 2² | 4 |
| 2 | 3 | 2·3² + 2·3 + 2 | 26 |
| 3 | 4 | 2·4² + 2·4 + 1 | 41 |
| 4 | 5 | 2·5² + 2·5 | 60 |
| 5 | 6 | 2·6² + 6 + 5 | 83 |
| 6 | 7 | 2·7² + 7 + 4 | 109 |
Die Folge, die bei 4 startet, lautet: 4, 26, 41, 60, 83, 109, und klettert von da an weiter. Selbst dieser bescheidene Start wächst eine bemerkenswert lange Strecke, bevor er schließlich absteigt. Wenn du stattdessen bei 19 beginnst, erreichen die Zahlen Höhen, die physisch nicht aufschreibbar sind. Die Anzahl der Schritte, bevor die Folge überhaupt anfängt sich umzukehren, ist größer als die Zahl der Atome im beobachtbaren Universum. Hättest du die Berechnung beim Urknall auf dem schnellsten denkbaren Computer begonnen, würdest du den Gipfel heute noch nicht sehen.
Jeder Instinkt sagt: das divergiert. Von Zahlen dieser Größe gibt es keine Rückkehr. Die Intuition liegt hier schlicht falsch, und das ist der Punkt. Etwas Unsichtbares geschieht, das die nackten Zahlen nicht zeigen.
Die verborgene Zahl, die nur sinkt
Ersetze jeden Term durch seinen Ordinal-Schatten
Hier ist der entscheidende Zug. Nimm einen beliebigen Term der Goodstein-Folge und lies seinen hereditären Basis-n-Ausdruck. Wo immer du die Basis n siehst, schreibe stattdessen das Symbol Omega (die erste unendliche Ordinalzahl). Du hast die Struktur des Ausdrucks überhaupt nicht verändert. Du hast nur ein Label ausgetauscht. Das Ergebnis ist eine Ordinalzahl, eine Art Zählung, die über die ganzen Zahlen hinaus ins Unendliche reicht.
Zum Beispiel ist 4 in hereditärer Basis 2 gleich 2^2. Ersetze 2 durch Omega und du erhältst Omega^Omega. Der Ordinal-Schatten von 26 in hereditärer Basis 3 ist zwei mal Omega-Quadrat, plus zwei mal Omega, plus zwei: ein endlich-hohes Polynom in Omega, weit kleiner als Omega hoch Omega. Die Exponenten 2, 1 und 0 im hereditären Basis-3-Ausdruck liegen bereits unter 3, sodass keine weitere Stapelung stattfindet. Diese Ordinalzahlen sind vollkommen wohldefinierte mathematische Objekte.
Das Erhöhen der Basis ändert den Schatten nicht
Wenn du die Basis von n auf n+1 erhöhst, ändert der hereditäre Ausdruck sein Label von n auf n+1, aber die Form des Ausdrucks bleibt identisch. Der Ordinal-Schatten ändert sich also beim Erhöhen nicht. Der Schatten des Terms vor dem Erhöhen und der Schatten danach sind dieselbe Ordinalzahl.
Aber dann ziehst du 1 von der ganzen Zahl ab. Das Abziehen von 1 in hereditärer Notation erfordert, dass du den untersten Term des Ausdrucks zurückrollst. Das verändert die Form des hereditären Ausdrucks auf eine Weise, die, wenn du die Basis durch Omega ersetzt, eine strikt kleinere Ordinalzahl ergibt. Nicht um einen kleinen Betrag, nicht zufällig: jede Subtraktion von 1 aus der Folge ganzer Zahlen zwingt den Ordinal-Schatten strikt nach unten.
Das Muster lautet also: Basis erhöhen (Schatten bleibt), 1 subtrahieren (Schatten sinkt). Nettoeffekt pro Schritt: der Ordinal-Schatten sinkt bei jedem einzelnen Schritt um mindestens eine Stufe.
Ordinalzahlen können nicht ewig sinken
Eine strikt fallende Folge von Ordinalzahlen kann nicht ewig weitergehen. Das ist eine der grundlegendsten Eigenschaften von Ordinalzahlen: Anders als bei den ganzen Zahlen kann man nicht unbegrenzt weiter nach unten gehen. Es gibt einen Boden. Die Folge der Ordinal-Schatten muss schließlich die Null erreichen, und wenn der Ordinal-Schatten Null ist, ist die einzige ganze Zahl, deren hereditärer Ausdruck auf die Null-Ordinalzahl abbildet, die Null selbst. Also muss auch die Goodstein-Folge die Null erreichen.
Die ganzen Zahlen können auf unvorstellbare Größen anwachsen. Aber die Ordinalzahlen dahinter ticken still und unausweichlich bei jedem Schritt nach unten. Der Lärm steckt in den sichtbaren Zahlen. Die Wahrheit steckt im Schatten.
Die Hydra sagt dasselbe
Dieselbe Geschichte lässt sich als Spiel erzählen. Stell dir ein baumförmiges Monster vor, eine Hydra, mit Köpfen an den Enden ihrer Äste. Du hackst einen Kopf ab. Je nachdem, welchen Kopf du wann abschneidest, können am Stumpf viele neue Köpfe sprießen, manchmal deutlich mehr. Du hackst weiter. Die Hydra scheint zu gewinnen.
Das Kirby-Paris-Hydra-Spiel, eingeführt von den Mathematikern Jeff Paris und Laurie Kirby im Jahr 1982, ist genau diese Situation, und es kodiert dieselbe Mathematik wie Goodsteins Folge. Die Kopf-Sprieß-Regel entspricht der Basis-Erhöhungs-Explosion. Die Baumstruktur entspricht der hereditären Notation. Und die verborgene Ordinalzahl hinter dem Baum sinkt bei jedem Schnitt strikt, genau wie in Goodsteins Argument.
Egal welche Strategie du verwendest, egal wie achtlos du auswählst, welchen Kopf du abschneidest, du gewinnst immer. Die Hydra stirbt immer. Die Explosion neuer Köpfe ist real und kann spektakulär sein, aber unter dem Feuerwerk läuft ein Countdown. Das Hydra-Spiel ist Goodsteins Satz im Kostüm.
Warum Mathematiker das interessiert
Hier nimmt die Geschichte eine Wendung. Goodsteins Satz ist wahr. Er ist beweisbar wahr, wie das Ordinal-Argument oben zeigt. Aber 1982 bewiesen Kirby und Paris noch etwas anderes: Der Satz kann nicht innerhalb der Peano-Arithmetik bewiesen werden.
Peano-Arithmetik ist das Standard-Formalsystem für das Schlussfolgern über ganze Zahlen. Es erfasst fast alles, was du als gewöhnliche Arithmetik bezeichnen würdest: Addition, Multiplikation, Induktion über die natürlichen Zahlen. Es ist der Rahmen, in dem die meisten Schulmathematik-Ergebnisse leben. Und es ist schlicht nicht stark genug, um zu beweisen, dass Goodstein-Folgen terminieren.
Das bedeutet nicht, dass der Satz in jedem Sinne unbeweisbar ist. Das Ordinal-Argument funktioniert, und es ist vollständig rigoros. Aber das Ordinal-Argument erfordert ein Schlussfolgern über das Unendliche auf eine Weise, auf die Peano-Arithmetik keinen Zugriff hat. Das System kann Goodstein-Folgen präzise beschreiben. Es kann sie Term für Term ausführen. Es kann sogar erkennen, dass jeder Term eine bestimmte ganze Zahl ist. Was es nicht kann: den Schatten sehen, die Ordinalstruktur, die den Abstieg garantiert.
Goodsteins Satz war eines der ersten Beispiele einer natürlichen, gewöhnlich aussehenden Aussage über gewöhnliche Zahlen, die sich als knapp jenseits der Reichweite der Standardarithmetik herausstellte. Es ist kein künstliches logisches Rätsel, das so konstruiert wurde, dass es unbeweisbar ist. Es ist eine Aussage, die du einem Gymnasiasten erklären könntest, über eine Folge, die du auf eine Serviette schreiben könntest, und die Standardarithmetik kann den Fall nicht abschließen.
Das Zen davon
Es lohnt sich, hier einen Moment zu verweilen. Die Folge, die scheinbar grenzenlos explodiert, nimmt bei jedem Schritt an einem Abstieg teil, den die nackten Zahlen vor dir verbergen. Beides geschieht gleichzeitig: enormes Wachstum und stille, unvermeidliche Rückkehr.
Das ist kein Widerspruch. Es ist eine Erinnerung daran, dass die Größe einer Zahl nicht dasselbe ist wie ihr Schicksal. Was zählt, ist die Struktur darunter, und die Struktur zeigt hier immer in Richtung Null.
Die Mathematik ist voller solcher Momente: eine Größe, die zu divergieren scheint, es aber nicht tut; ein Beweis, der zu scheitern scheint, aber hält; eine Folge, die unendlich wirkt, aber terminiert. Die Kunst liegt nicht im brutalen Berechnen von Termen. Sie liegt darin, den richtigen Schatten zu verfolgen, denjenigen, der dir sagt, was wirklich passiert. Wenn du die Ordinalzahl siehst, die hinter dem Feuerwerk herunterzählt, ist der Satz nicht nur wahr. Er fühlt sich unvermeidlich an.
Größe ist Lärm. Struktur ist das Signal. Die Folge war immer auf dem Heimweg.
Häufige Fragen
- Was sagt Goodsteins Satz eigentlich aus?
- Er besagt, dass jede Goodstein-Folge, egal wie groß ihre Zahlen unterwegs auch werden, irgendwann die Null erreicht. Das Wachstum kann astronomisch sein und unvorstellbar viele Schritte dauern, aber die Terminierung ist für jeden Startwert garantiert.
- Warum kehrt die Folge zurück, obwohl sie immer weiter wächst?
- Jeder Term hat einen verborgenen Ordinal-Partner, der bei jedem Schritt strikt kleiner wird. Die sichtbaren ganzen Zahlen können sich aufblähen, aber die Ordinalzahl dahinter kann nur sinken, und eine strikt fallende Folge von Ordinalzahlen kann nicht ewig fallen, also muss der Prozess bei Null enden.
- Was ist hereditäre Basis-n-Darstellung?
- Man schreibt eine Zahl zur Basis n und dann alle ihre Exponenten ebenfalls zur Basis n, und so weiter bis hinunter. Zum Beispiel wird 4 in hereditärer Basis 2 als zwei hoch zwei geschrieben, wobei auch der Exponent in Basis 2 ausgedrückt wird.
- Warum ist Goodsteins Satz in der Logik berühmt?
- Weil er wahr ist, aber nicht allein mit Peano-Arithmetik bewiesen werden kann. Er war einer der ersten natürlichen, nicht konstruierten Aussagen über gewöhnliche Zahlen, die in diesem System als unbeweisbar nachgewiesen wurden, weshalb er an der Grenze zwischen Mathematik und Logik steht.
- Ist das Hydra-Spiel dasselbe?
- Ja, die Kirby-Paris-Hydra ist eine Nacherzählung derselben Mathematik. Ein Kopf abzuhacken kann viele neue sprießen lassen, aber die Hydra wird immer besiegt, aus genau dem gleichen Grund, aus dem eine Goodstein-Folge immer die Null erreicht.
Hat dir das Durchdenken Spaß gemacht?
Math Zen macht aus dieser Intuition tägliche Übung, mit adaptiven Aufgaben zu 24 Mathethemen.
