Formalizing Church's thesis

MaRDI QIDQ5493749zbMATH OpenFDO

Authors Leon Horsten

Publication date 16 October 2006

zbMATH Keywords

Church's thesiscomputable functionsepistemic arithmeticintuitionistic arithmeticTuring machine

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20) First-order arithmetic and fragments (03F30)

Recommendations

• Church's thesis and its epistemological status
• scientific article; zbMATH DE number 3995667
• Thesis and variations
• Church's thesis from the point of view of provability interpretation
• Computability, proof, and open-texture

Cited in

(14)

• Intensions, Church's Thesis, and the formalization of mathematics
• Church's thesis from the point of view of provability interpretation
• Church's thesis and its epistemological status
• Proving Church’s Thesis
• scientific article; zbMATH DE number 3970744 (Why is no real title available?)
• scientific article; zbMATH DE number 3995667 (Why is no real title available?)
• A formalization and proof of the extended Church-Turing thesis (extended abstract)
• scientific article; zbMATH DE number 7204449 (Why is no real title available?)
• Learnability thesis does not entail Church's thesis
• Collapsing knowledge and epistemic Church's thesis
• Thesis and variations
• Kreisel's Church
• Church's thesis as formulated by Church -- an interpretation
• Nondeterministic first-order T-BAT logic

This page was built for publication: Formalizing Church's thesis

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