Computability, proof, and open-texture

MaRDI QIDQ5493758zbMATH OpenFDO

Authors Stewart Shapiro

Publication date 16 October 2006

zbMATH Keywords

Church's thesis

Mathematics Subject Classification ID

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

Recommendations

• Proving Church's thesis
• scientific article; zbMATH DE number 1169380
• Church's thesis and its epistemological status
• scientific article; zbMATH DE number 5241980
• New Computational Paradigms

Cited in

(15)

• On the impossibility of proving the ``hard-half of Church's thesis
• Proving Things About the Informal
• Learnability thesis does not entail Church's thesis
• Human-effective computability
• Speech acts in mathematics
• Open texture and mathematics
• The status of Church's thesis
• Squeezing arguments
• New Computational Paradigms
• From Logic to Physics: How the Meaning of Computation Changed over Time
• Formalizing Church's thesis
• Church's thesis and the variety of mathematical justifications
• scientific article; zbMATH DE number 3930985 (Why is no real title available?)
• Church's thesis and its epistemological status
• Hyperloops do not threaten the notion of an effective procedure

This page was built for publication: Computability, proof, and open-texture

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