Inconsistency and Incompleteness, Revisited

DOI10.1007/978-3-030-25365-3_22zbMath1469.03027OpenAlexW2997968514MaRDI QIDQ3305677

Stewart Shapiro

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_22

zbMATH Keywords

Church's thesisincompletenesssoundnessproofCurryBeall

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Gödel numberings and issues of incompleteness (03F40)

Related Items

A Note on Gödel, Priest and Naïve Proof

Cites Work

• On some recent criticism of Church's thesis
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
• Unnamed Item
• Unnamed Item