Church's thesis and its epistemological status

MaRDI QIDQ2997664zbMATH OpenFDO

Authors Roman Murawski

Publication date 9 May 2011

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Logic in the philosophy of science (03A10) Computability and recursion theory (03D99)

Recommendations

• The status of Church's thesis
• Formalizing Church's thesis
• scientific article; zbMATH DE number 5064387
• Church's thesis and the variety of mathematical justifications
• Computability, proof, and open-texture

Cited in

(23)

• Learnability thesis does not entail Church's thesis
• Squeezing arguments
• Kalmár's argument against the plausibility of Church's thesis
• scientific article; zbMATH DE number 1984526 (Why is no real title available?)
• scientific article; zbMATH DE number 7204449 (Why is no real title available?)
• The two forms of the Church-Turing thesis and the epistemology of computation
• The physical Church thesis as an explanation of the Galileo thesis
• The status of Church's thesis
• Collapsing knowledge and epistemic Church's thesis
• Proving Church’s Thesis
• Church's thesis as formulated by Church -- an interpretation
• ET and an infinitary Church's thesis
• Kreisel's Church
• Church's thesis and cognitive science
• Formalizing Church's thesis
• On the impossibility of proving the ``hard-half of Church's thesis
• Thesis and variations
• scientific article; zbMATH DE number 3995667 (Why is no real title available?)
• Church's thesis from the point of view of provability interpretation
• Computability, proof, and open-texture
• Church's thesis and the variety of mathematical justifications
• Epistemic Church's thesis and absolute undecidability
• scientific article; zbMATH DE number 5064387 (Why is no real title available?)

This page was built for publication: Church's thesis and its epistemological status

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