Proving Things About the Informal

DOI10.1007/978-3-319-22156-4_11zbMath1384.03070OpenAlexW2416334535MaRDI QIDQ4637225

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

Church's thesisGödelproofvaguenessepistemologyfoundationalismLakatosKleeneChurchGandyself-evidenceSiegWang

Mathematics Subject Classification ID

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

Related Items

What is the Church-Turing Thesis?

Cites Work

• Reflections on Church's thesis
• Proving Church's Thesis
• Second Thoughts about Church's Thesis and Mathematical Proofs
• Why Gödel didn't have church's thesis
• Church's Thesis: Prelude to a Proof
• Origins of Recursive Function Theory
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item