Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
DOI10.1007/978-3-319-40220-8_11zbMATH Open1429.03048OpenAlexW2558172047MaRDI QIDQ5213764FDOQ5213764
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
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
- 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
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Gödel numberings and issues of incompleteness (03F40)
Cites Work
- Title not available (Why is that?)
- Mathematical pluralism
- On formal and informal provability
- How to think about informal proofs
- Why Do We Prove Theorems?
- Title not available (Why is that?)
- The Derivation-Indicator View of Mathematical Practice
- On Godel Sentences and What They Say
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Title not available (Why is that?)
- Informal proofs and mathematical rigour
- Title not available (Why is that?)
- Prove—Once More and Again
- The different ways in which logic is (said to be) formal
- How to Nominalize Formalism†
Cited In (7)
- The paradoxical nature of mathematics
- 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
- Title not available (Why is that?)
- Paraconsistent computation and dialetheic machines
- Can Mathematics Be Proved Consistent?
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)
