Computability, proof, and open-texture

zbMATH Open1105.03013MaRDI QIDQ5493758FDOQ5493758

Authors: Stewart Shapiro 

Publication date: 16 October 2006

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

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)

Cited In (15)

• Learnability thesis does not entail Church's thesis
• Squeezing arguments
• Proving Things About the Informal
• The status of Church's thesis
• Church's thesis and its epistemological status
• Title not available (Why is that?)
• 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)