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

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

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

(19)

• Open texture and mathematics
• Church's thesis and its epistemological status
• Hyperloops do not threaten the notion of an effective procedure
• scientific article; zbMATH DE number 3930985 (Why is no real title available?)
• Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
• Human-effective computability
• Proving Things About the Informal
• Squeezing arguments
• Learnability thesis does not entail Church's thesis
• From Logic to Physics: How the Meaning of Computation Changed over Time
• Church's thesis and the variety of mathematical justifications
• Formalizing Church's thesis
• On the impossibility of proving the ``hard-half of Church's thesis
• The status of Church's thesis
• New Computational Paradigms
• Speech acts in mathematics
• Formal schemas of induction as models
• Arealism, thin realism, and the problem of extrinsic evidence
• Is the concept of computation a conceptual fixed point?

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)