Der Turing-Progressionen-Kletterturm
Springen Sie von Theorie zu Theorie. Jede neue Stufe ergänzt die Konsistenz der vorherigen. Das löst eine Beweisaufgabe – aber die neue Theorie hat sofort ihre eigene.
Tastatur: Pfeil ↑ / ↓. Der Turm zeigt jeweils einen Ausschnitt; nach oben gibt es keine letzte endliche Stufe.
Warum springt der Kletterer immer weiter?
Auf Stufe T₀ = ZFC stellt sich die Frage: Kann die Mengenlehre ihre eigene Widerspruchsfreiheit beweisen? Wenn ZFC konsistent ist, lautet die Antwort nach Gödels zweitem Unvollständigkeitssatz: nein.
Wir können die Aussage Con(T₀) als zusätzliches Axiom annehmen. So entsteht T₁ = T₀ + Con(T₀). Innerhalb von T₁ ist Con(T₀) nun beweisbar – aber nicht deshalb, weil sie aus den früheren Axiomen hergeleitet wurde, sondern weil wir sie hinzugefügt haben.
Nun entsteht dasselbe Problem erneut: Ist T₁ konsistent, kann T₁ seine eigene Konsistenz nicht beweisen. Also können wir T₂ = T₁ + Con(T₁) bilden, dann T₃ und so weiter. Jede Stufe wird durch eine neue Voraussetzung ergänzt. Es gibt keine letzte endliche Stufe dieses Aufstiegs.
Was hat das mit Eta-Zahlen zu tun?
Zu jeder effektiv beschriebenen Theorie T lässt sich eine berechenbare reelle Eta-Zahl definieren: Sie übernimmt zunächst die Binärziffern von √2 − 1. Wird ein formaler Widerspruchsbeweis für T entdeckt, gibt sie ab dann nur noch Nullen aus. Wenn T konsistent ist, bleibt die Zahl gleich √2 − 1; sonst wird sie rational.
Auf der nächsthöheren Stufe Tn+1 wird Con(Tn) angenommen. Damit kann sie die Nichtabschaltung der Tn-Eta-Maschine begründen. Für ihre eigene Maschine entsteht die Frage sofort neu. Die Anzeige beschreibt also Beweisbarkeit innerhalb eines Systems, nicht eine physische Veränderung der Zahl.
Die wichtige mathematische Einschränkung
Damit Gödel II an jeder Stufe anwendbar ist, muss die jeweilige Theorie konsistent, effektiv axiomatisierbar und hinreichend stark sein. Die bloße Konsistenz von ZFC allein garantiert nicht automatisch die Konsistenz aller späteren Konsistenzerweiterungen. Unser Aufstieg ist deshalb eine Darstellung sukzessiver bedingter Annahmen, kein Beweis, dass alle Stufen wahr oder konsistent sind.
Die philosophische Pointe
Der Kletterer verändert nicht die mathematischen Tatsachen, wenn er eine neue Stufe betritt. Er verändert die Voraussetzungen, auf deren Grundlage er über diese Tatsachen beweisen darf. Eine stärkere Theorie beantwortet eine Frage der vorherigen, aber stellt sofort eine neue Frage an sich selbst.
Was konstituiert Wahrheit, wenn sie nicht konstatiert werden kann?