Gödels Unvollständigkeitssätze

Gödels Unvollständigkeitssätze besagen, dass jede konsistente formale Theorie, die elementare Arithmetik ausdrücken kann, unvollständig ist und ihre eigene Konsistenz nicht beweisen kann, wodurch fundamentale Grenzen der axiomatischen Methode aufgezeigt werden.

Definition

Der erste Unvollständigkeitssatz besagt, dass jede konsistente, effektiv axiomatisierte Theorie, die ein bescheidenes Fragment der Arithmetik interpretiert, einen Satz enthält, den weder sie noch ihre Negation beweisen kann; der zweite besagt, dass eine solche Theorie keine formale Aussage beweisen kann, die ihre eigene Konsistenz behauptet.

Scope

Dieses Thema behandelt die Arithmetisierung der Syntax und die Gödel-Nummerierung, das Diagonalisierungslemma und die Konstruktion eines selbstreferenziellen Satzes, den ersten Unvollständigkeitssatz über die Existenz wahrer, unbeweisbarer Sätze, den zweiten Unvollständigkeitssatz über die Unbeweisbarkeit der Konsistenz sowie die Standardbedingungen und Konsequenzen wie Tarskis Satz über die Undefinierbarkeit der Wahrheit.

Core questions

• Wie wird die Syntax einer Theorie innerhalb der Arithmetik selbst kodiert?
• Wie erzeugt das Diagonalisierungslemma einen Satz, der seine eigene Unbeweisbarkeit behauptet?
• Warum muss eine hinreichend starke konsistente Theorie unvollständig sein?
• Warum kann eine solche Theorie ihre eigene Konsistenz nicht beweisen?

Key theories

Diagonalisierungslemma

Für jede Formel mit einer freien Variablen gibt es einen Satz, von dem die Theorie beweist, dass er äquivalent zu dieser Formel ist, angewendet auf den Code des Satzes selbst, was eine kontrollierte Selbstreferenz ermöglicht.

Erster Unvollständigkeitssatz

Die Anwendung des Diagonalisierungslemmas auf das Beweisbarkeitsprädikat ergibt einen Satz, der genau dann wahr ist, wenn er unbeweisbar ist, sodass eine konsistente, effektiv axiomatisierte arithmetische Theorie einen Satz enthält, den sie weder beweisen noch widerlegen kann.

Zweiter Unvollständigkeitssatz

Die Formalisierung des Beweises des ersten Satzes innerhalb der Theorie zeigt, dass die Theorie ihre eigene Konsistenz nur dann beweist, wenn sie inkonsistent ist, sodass eine konsistente Theorie ihre eigene Konsistenz nicht etablieren kann.

Clinical relevance

Die Unvollständigkeitssätze haben die Grundlagen der Mathematik neu gestaltet, indem sie zeigten, dass kein einziges konsistentes formales System jede arithmetische Frage klären oder seine eigene Zuverlässigkeit zertifizieren kann, was Hilberts Programm begrenzt und ordinaltheoretische Maße der theoretischen Stärke sowie die Untersuchung der relativen Konsistenz motiviert.

History

Gödel kündigte die Unvollständigkeitssätze 1930 an und veröffentlichte sie 1931, womit er die Erwartung widerlegte, dass die Arithmetik vollständig und selbstzertifizierend axiomatisiert werden könnte. Rosser verstärkte die Hypothesen 1936, und Tarskis zeitgleicher Satz über die Undefinierbarkeit der Wahrheit lieferte ein eng verwandtes limitatives Ergebnis.

Key figures

• Kurt Goedel
• Alfred Tarski
• J. Barkley Rosser
• David Hilbert

Seminal works

• smith2013
• godel1931
• boolos2007

Frequently asked questions

Besagen die Unvollständigkeitssätze, dass die Mathematik inkonsistent ist?

Nein. Sie besagen, dass jedes einzelne konsistente und hinreichend starke formale System unvollständig ist und seine eigene Konsistenz nicht zertifizieren kann. Sie stellen die Wahrheit der Mathematik nicht in Frage, sondern nur die Reichweite eines einzelnen axiomatischen Systems.

Bedeutet Unvollständigkeit, dass einige Wahrheiten unerkennbar sind?

Nicht im absoluten Sinne. Ein in einer Theorie unbeweisbarer Satz kann in einer stärkeren Theorie beweisbar sein, zum Beispiel durch Hinzufügen einer Konsistenzaussage oder eines stärkeren Axioms. Unvollständigkeit ist eine Einschränkung jedes festen Systems, keine Barriere für das mathematische Wissen insgesamt.