Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics

DOI10.1007/978-3-319-40220-8_11MaRDI QIDQ5213764zbMATHOpenAlexFDO

Authors Fenner Stanley Tanswell

Publication date 4 February 2020

Published in Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Search for Journal in Brave)

Full work available at URL https://figshare.com/articles/Saving_proof_from_paradox_G_del_s_paradox_and_the_inconsistency_of_informal_mathematics/9589094

zbMATH Keywords

formal languagemathematical reasoningmathematical practiceformal systemincompleteness theorem

Mathematics Subject Classification ID

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

Recommendations

• Gödel's incompleteness theorems from a paraconsistent perspective
• scientific article; zbMATH DE number 4004148
• Informal and absolute proofs: some remarks from a Gödelian perspective
• scientific article; zbMATH DE number 4200174
• scientific article; zbMATH DE number 2176167
• scientific article; zbMATH DE number 3893191
• scientific article; zbMATH DE number 638206
• The Gödel phenomenon in mathematics: a modern view
• scientific article; zbMATH DE number 5859775
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation

Cites work

• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 1548687 (Why is no real title available?)
• scientific article; zbMATH DE number 1550516 (Why is no real title available?)
• scientific article; zbMATH DE number 3103520 (Why is no real title available?)
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• How to Nominalize Formalism†
• How to think about informal proofs
• Informal proofs and mathematical rigour
• Mathematical pluralism
• On Godel Sentences and What They Say
• On formal and informal provability
• Prove—Once More and Again
• The Derivation-Indicator View of Mathematical Practice
• The different ways in which logic is (said to be) formal
• Why Do We Prove Theorems?

Cited in

(7)

• Paraconsistent computation and dialetheic machines
• scientific article; zbMATH DE number 4004148 (Why is no real title available?)
• Can Mathematics Be Proved Consistent?
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Warning signs of a possible collapse of contemporary mathematics
• A note on Gödel, Priest and naïve proof
• The paradoxical nature of mathematics

This page was built for publication: Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics

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