An informal exposition of proofs of Gödel's theorems and Church's theorem. (Q2590254)

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.