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

zbMATH Open1105.03010MaRDI QIDQ5493752FDOQ5493752

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)

Cited In (2)

• Title not available (Why is that?)
• Proving Church's thesis

   Recommendations

• Proving Church's thesis 👍 👎
• Church's thesis as formulated by Church -- an interpretation 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Computability, proof, and open-texture 👍 👎

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)