Formale Beweise und die Entscheidbarkeit. (Q1448547): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 20:04, 31 January 2024
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
