Formale Beweise und die Entscheidbarkeit. (Q1448547)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formale Beweise und die Entscheidbarkeit. |
scientific article |
Statements
Formale Beweise und die Entscheidbarkeit. (English)
0 references
1926
0 references
Mit Hilfe der bekannten ``Paradoxie der endlichen Definierbarkeit'' wird ein durch die Axiome der Mathematik formal nicht entscheidbarer Satz hergestellt, dessen Falschheit aber durch inhaltliche Überlegungen erkannt werden kann. Fügt man diesen falschen Satz zum Axiomensystem hinzu, so bleibt es formal widerspruchsfrei, sofern es dies vorher war.
0 references
