On the impossibility of proving the ``hard-half of Church's thesis

MaRDI QIDQ5493752zbMATH OpenFDO

Authors Elliott Mendelson

Publication date 16 October 2006

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Recommendations

• Proving Church's thesis
• Church's thesis as formulated by Church -- an interpretation
• Church's thesis and its epistemological status
• On the Church-Turing thesis and relative recursion
• Computability, proof, and open-texture

Cited in

(3)

• scientific article; zbMATH DE number 1163992 (Why is no real title available?)
• Proving Church's thesis
• Church's thesis as formulated by Church -- an interpretation

This page was built for publication: On the impossibility of proving the ``hard-half of Church's thesis

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