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)

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

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)