Proving Things About the Informal

DOI10.1007/978-3-319-22156-4_11MaRDI QIDQ4637225zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro

Publication date 18 April 2018

Published in Turing’s Revolution (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-22156-4_11

zbMATH Keywords

ChurchChurch's thesisepistemologyfoundationalismGandyGödelKleeneLakatosproofself-evidenceSiegvaguenessWang

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• How to think about informal proofs
• Informal proofs and mathematical rigour
• Informal proof, formal proof, formalism
• The informal logic of mathematical proof
• The informal logic of mathematical proof
• On formal and informal provability

Cites work

• Church's Thesis: Prelude to a Proof
• Computability, proof, and open-texture
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3934967 (Why is no real title available?)
• scientific article; zbMATH DE number 3580483 (Why is no real title available?)
• scientific article; zbMATH DE number 4128774 (Why is no real title available?)
• scientific article; zbMATH DE number 542031 (Why is no real title available?)
• scientific article; zbMATH DE number 727991 (Why is no real title available?)
• scientific article; zbMATH DE number 1092439 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 1984273 (Why is no real title available?)
• scientific article; zbMATH DE number 1550344 (Why is no real title available?)
• scientific article; zbMATH DE number 750122 (Why is no real title available?)
• scientific article; zbMATH DE number 1870428 (Why is no real title available?)
• scientific article; zbMATH DE number 6308208 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Origins of Recursive Function Theory
• Proving Church's thesis
• Reflections on Church's thesis
• Second thoughts about Church's thesis and mathematical proofs
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• Why Gödel didn't have church's thesis

Cited in

(3)

• Remarks on the content and extension of the notion of provability
• Squeezing arguments
• What is the Church-Turing Thesis?

This page was built for publication: Proving Things About the Informal

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