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

zbMATH Open1105.03010MaRDI QIDQ5493752FDOQ5493752

Authors: Elliott Mendelson 

Publication date: 16 October 2006

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

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)

Cited In (3)

• Title not available (Why is that?)
• 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)