scientific article; zbMATH DE number 1169380

MaRDI QIDQ4397032zbMATH OpenFDO

Authors Piergiorgio Odifreddi

Publication date 25 June 1998

zbMATH Keywords

Church's thesiscomputabilityKreiselphilosophy of mindphysical theoriesrecursivenessTuring machines

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Kreisel's Church
• Church's thesis and cognitive science
• Church's thesis and its epistemological status
• On the Church-Turing thesis and relative recursion
• scientific article; zbMATH DE number 5064387

Cited in

(14)

• Kripke's paradox and the Church-Turing thesis
• Kreiseliana: about and around Georg Kreisel
• Church–Rosser Made Easy
• scientific article; zbMATH DE number 1004209 (Why is no real title available?)
• scientific article; zbMATH DE number 3930985 (Why is no real title available?)
• Human-effective computability
• Learnability thesis does not entail Church's thesis
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• On the Church-Turing thesis and relative recursion
• Thesis and variations
• The status of Church's thesis
• Kreisel's Church
• Church's thesis as formulated by Church -- an interpretation
• Computability, proof, and open-texture

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4397032)