Proving Church’s Thesis

DOI10.1007/978-3-540-74510-5_1MaRDI QIDQ3499760zbMATH OpenOpenAlexFDO

Authors Yuri Gurevich

Publication date 3 June 2008

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74510-5_1

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Formalizing Church's thesis
• Church's thesis and its epistemological status
• Proving Church's thesis
• scientific article; zbMATH DE number 3995667
• scientific article; zbMATH DE number 5241980

This page was built for publication: Proving Church’s Thesis

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