Die zwei Gödel-Lampen
Zwei Lampen, zwei mathematische Theorien – und ein entscheidender Unterschied zwischen tatsächlichem Verhalten und dem, was sich beweisen lässt.
Die Lampen sind eine symbolische Darstellung, keine laufende Beweissuche. Ein reales Gerät könnte ausfallen; das Gedankenexperiment setzt fehlerfreie, unbegrenzt fortgesetzte Suche voraus.
Das Axiomenpult
Welche zusätzliche Voraussetzung möchten Sie für die mathematische Betrachtung annehmen?
Wählen Sie eine Annahme. Die Lampen selbst bleiben unverändert: Durch eine Axiomenwahl verändert sich kein tatsächlicher Beweisfund.
1. Was tun die Lampen?
Jede Lampe hängt gedanklich an einem Computer, der systematisch alle möglichen formal gültigen Beweise seiner Theorie überprüft. Findet der Computer irgendwann einen Beweis des Widerspruchs, geht die zugehörige Lampe aus und bleibt aus. Findet er keinen, leuchtet sie weiter.
Die Leuchtdauer ist deshalb keine Wetterprognose, sondern eine mathematische Frage: Existiert ein Widerspruchsbeweis für die betreffende Theorie?
2. Was kann ZFC über die erste Lampe beweisen?
Die Mengenlehre ZFC ist stark genug, die natürliche Zahlenarithmetik PA zu modellieren und deren Konsistenz zu beweisen. Deshalb gilt:
In Worten: Innerhalb von ZFC ist beweisbar, dass die ideale PA-Lampe niemals wegen eines Widerspruchs erlischt.
3. Und warum nicht über die zweite?
Die zweite Lampe sucht nach einem Widerspruch in ZFC selbst. Um zu beweisen, dass sie nie ausgeht, müsste ZFC seine eigene Konsistenz beweisen. Genau dies kann ZFC gemäß Gödels zweitem Unvollständigkeitssatz nicht leisten, sofern ZFC konsistent ist:
Das heißt nicht, dass die zweite Lampe ausgehen muss. Bei konsistentem ZFC leuchten beide Lampen im idealisierten Modell unbegrenzt – nur kann ZFC die unbegrenzte Leuchtdauer der eigenen Lampe nicht beweisen.
4. Der Unterschied zwischen „jede einzelne“ und „alle zugleich“
Unter der Annahme, dass ZFC konsistent ist, kann ZFC für jeden konkret vorgegebenen endlichen Suchschritt bestätigen, dass bis dahin kein Widerspruch entdeckt wird. Daraus folgt aber nicht, dass ZFC einen einzigen Beweis für die Nichtabschaltung bei allen Suchschritten liefern kann.
5. Was machen die beiden Entscheidungsbuttons?
Die Buttons setzen keine physische Lampe in Bewegung. Sie veranschaulichen zwei zusätzliche Axiomenannahmen: Unter Con(ZFC) lässt sich die ewige Leuchtdauer beider idealer Lampen folgern. Unter ¬Con(ZFC) folgt, dass die ZFC-Suche irgendwann einen Widerspruchsbeweis finden würde. Da ZFC PA erweitert, würde dann nicht zwingend auch PA inkonsistent sein.
Eine formal zulässige Annahme ist noch kein Grund, sie für wahr zu halten. Insbesondere gelten die beiden Annahmen nicht als gleich gut gerechtfertigt.
6. Die mathematisch-philosophische Pointe
Wir können die Schaltregel bis ins Einzelne festlegen und jeden endlichen Suchschritt überprüfen. Trotzdem ist die Behauptung, dass die ZFC-Lampe niemals ausgeht, innerhalb von ZFC bei dessen Konsistenz unbeweisbar. Die Grenze liegt nicht notwendig im tatsächlichen Verhalten der Lampe, sondern in den Schlussmöglichkeiten der Theorie.
Das ist keine quantenmechanische Überlagerung und kein physischer Kollaps: Eine Lampe ist zu jedem Zeitpunkt an oder aus. Die Installation zeigt vielmehr den Unterschied zwischen Wahrheit, Beweisbarkeit und der Rechtfertigung von Voraussetzungen.
Die Leuchtdauer bleibt eine idealisierte mathematische Aussage; ein endlicher realer Betrieb kann die Konsistenz von ZFC weder beweisen noch widerlegen, solange kein gültiger Widerspruchsbeweis gefunden wird.