Über Vollständigkeit und Entscheidbarkeit. (Q1437018)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Über Vollständigkeit und Entscheidbarkeit. |
scientific article |
Statements
Über Vollständigkeit und Entscheidbarkeit. (English)
0 references
1928
0 references
Verf. unterscheidet einen ``empirischen'' und einen ``allgemeinen'' Satz vom ausgeschlossenen Dritten; der ``empirische'' ist dabei das, was man gewöhnlich den Satz vom ausgeschlossenen Dritten nennt; der ``allgemeine'' betrifft die formale Entscheidbarkeit eines Axiomensystems. Der absoluten ``Verallgemeinerung'' des Satzes vom ausgeschlossenen Dritten steht die Tatsache der Existenz unvollständiger Begriffe entgegen, die sich nach Verf. vielleicht durch die Vervollständigungsfähigkeit unvollständiger Begriffe mildern ließe. Es ist nicht ganz ersichtlich, welchen Sinn Verf. in diesem Zusammenhang der Behauptung von der Kategorizität des \textit{Peano}schen Axiomensystems beigelegt wissen will.
0 references