An informal exposition of proofs of Gödel's theorems and Church's theorem. (Q2590254)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An informal exposition of proofs of Gödel's theorems and Church's theorem. |
scientific article |
Statements
An informal exposition of proofs of Gödel's theorems and Church's theorem. (English)
0 references
1939
0 references
Verf. gibt eine Übersicht über die Beweisgedanken, die den beiden \textit{Gödel}schen Theoremen und dem Satz von \textit{Church} (\textit{Gödel}, Mh. Math. Physik 38 (1931), 173-198; \textit{Church}, J. Symb. Logic 1 (1936), 40-41; F. d. M. \(57_{\text{I}}\), 54; \(62_{\text{II}}\), 1058) über die Unmöglichkeit einer allgemeinen Lösung des Entscheidungsproblems zugrunde liegen. Aus dieser Übersicht geht insbesondere hervor, welchen Bedingungen ein formales logisches System genügen muß, damit die genannten Sätze anwendbar sind.
0 references
