Formale Beweise und die Entscheidbarkeit. (Q1448547): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q60306211, #quickstatements; #temporary_batch_1710970253704 |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q60306211 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 22:36, 20 March 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
