An informal exposition of proofs of Gödel's theorems and Church's theorem. (Q2590254): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1229083 |
Created claim: Wikidata QID (P12): Q55886422, #quickstatements; #temporary_batch_1711094041063 |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / author | |||
| Property / author: J. Barkley Rosser / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.2307/2269059 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1971872113 / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q55886422 / rank | |||
Normal rank | |||
Latest revision as of 13:34, 22 March 2024
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
