Church's thesis as formulated by Church -- an interpretation

MaRDI QIDQ5493756zbMATH OpenFDO

Authors Adam Olszewski

Publication date 16 October 2006

zbMATH Keywords

recursiveeffectively computable

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• The status of Church's thesis
• Church's thesis and its epistemological status
• Formalizing Church's thesis
• scientific article; zbMATH DE number 1169380
• On the impossibility of proving the ``hard-half of Church's thesis

Cited in

(8)

• Squeezing arguments
• scientific article; zbMATH DE number 7204449 (Why is no real title available?)
• The physical Church thesis as an explanation of the Galileo thesis
• The status of Church's thesis
• ET and an infinitary Church's thesis
• Kreisel's Church
• On the impossibility of proving the ``hard-half of Church's thesis
• scientific article; zbMATH DE number 5064387 (Why is no real title available?)

This page was built for publication: Church's thesis as formulated by Church -- an interpretation

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