Reflections on Church's thesis

DOI10.1305/ndjfl/1093637645zbMath0649.03001OpenAlexW2013146192MaRDI QIDQ1105577

Stephen C. Kleene

Publication date: 1987

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637645

zbMATH Keywords

Church's thesisTuringGödel's incompleteness theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Turing machines and related notions (03D10)

Related Items

ET and an infinitary Church's thesis ⋮ The Mathematical Work of S.C.Kleene ⋮ Formalism and intuition in computability ⋮ Did Turing stand on Gödel's shoulders? ⋮ Diagonalisation and Church's Thesis: Kleene's Homework ⋮ Proving Things About the Informal ⋮ Why Turing’s Thesis Is Not a Thesis ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Mathematical and Technological Computability ⋮ Influence of noise on the function of a physiological neural network ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ On Alan Turing's anticipation of connectionism