1. Goedelscher Unvollständigkeitssatz
-
Eine Alternative waere natuerlich die Widerspruchsfreiheit aufzugeben um nichtbeweisbare Wahrheiten als Axiome mit aufzunehmen. Nicht sehr verlockend.
-
knivil schrieb:
Eine Alternative waere natuerlich die Widerspruchsfreiheit aufzugeben um nichtbeweisbare Wahrheiten als Axiome mit aufzunehmen. Nicht sehr verlockend.
Eine nicht beweisbare Aussage kannst Du doch bequem als Axiom aufnehmen. Dadurch handelst Du Dir keine Widersprüche ein -- ein Widerspruch wäre ja nichts anderes als ein Widerspruchsbeweis für Deine Aussage. Die war ja aber nicht beweisbar.
Allerdings hilft Dir das auch nicht weiter. Schließlich verspricht Gödel Dir wieder ne neue Aussage, die wahr aber nicht beweisbar ist.
In Probleme mit der Widerspruchsfreiheit läufst Du erst, wenn Du versuchst alle nicht beweisbaren Wahrheiten auf einmal dazuzunehmen. Immer brav eine nach der anderen ist kein Problem.
-
Jester schrieb:
In Probleme mit der Widerspruchsfreiheit läufst Du erst, wenn Du versuchst alle nicht beweisbaren Wahrheiten auf einmal dazuzunehmen. Immer brav eine nach der anderen ist kein Problem.
Soweit ich weiss, fuehrt z.B. die Koninuumshypothese als auch ihre Negation in ZFC nicht zu einem Widerspruch, was ist, wenn ich die beide brav nacheinander aufnehme?
-
XFame schrieb:
Jester schrieb:
In Probleme mit der Widerspruchsfreiheit läufst Du erst, wenn Du versuchst alle nicht beweisbaren Wahrheiten auf einmal dazuzunehmen. Immer brav eine nach der anderen ist kein Problem.
Soweit ich weiss, fuehrt z.B. die Koninuumshypothese als auch ihr Negation in ZFC nicht zu einem Widerspruch, was ist, wenn ich die beide brav nacheinander aufnehme?
Dann machst du zwei Schritte ("Cont" sei die Kontinuums-Hypothese):
1. "ZFC" -> "ZFC mit Cont"
2. "ZFC mit Cont" -> "ZFC mit Cont und mit ~Cont".Schritt 1 ist dadurch gerechtfertigt, dass "Cont" unabhängig von "ZFC" ist.
Schritt 2 kannst du nicht rechtfertigen, weil "~Cont" nicht mehr unabhängig von "ZFC mit Cont" ist.
-
Ah stimmt, danke.
-
Vergesst mal die Vorausetzung "effektiv Axiomatisierbar" nicht. Sonst währe [; Th(\mathcal{N})
ein einfaches Gegenbeispiel zu Gödel's erstem Unvollständigkeitssatz.
-
mazal schrieb:
"effektiv Axiomatisierbar"
[; Th(\mathcal{N})
Was heißt das?
-
[; \mathcal{N}
== Standardmodell der Arithmetik.
[; Th(\mathcal{N}) == Theorie der Arithmetik.
-
und "effektiv Axiomatisierbar" ?
-
Axiome endlich + rekursiv aufzählbar.