Acceptable gaps in mathematical proofs
From MaRDI portal
Publication:2053999
DOI10.1007/s11229-018-1778-8zbMath1475.00007OpenAlexW2801998410WikidataQ113900474 ScholiaQ113900474MaRDI QIDQ2053999
Publication date: 30 November 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-018-1778-8
Related Items (5)
Epistemic roles of diagrams in short proofs ⋮ The role of testimony in mathematics ⋮ Mathematicians writing for mathematicians ⋮ The role of syntactic representations in set theory ⋮ Virtue theory of mathematical practices: an introduction
Cites Work
- Unnamed Item
- Unnamed Item
- The epistemic significance of valid inference
- Intentional gaps in mathematical proofs
- Why do informal proofs conform to formal norms?
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- Probabilistic Proofs and Transferability
- Formalizability and Knowledge Ascriptions in Mathematical Practice
- Why Do We Believe Theorems?
- Errors and Corrections in Mathematics Literature
- Why Do We Prove Theorems?
- On proof and progress in mathematics
- The Derivation-Indicator View of Mathematical Practice
- Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Fidelity in Mathematical Discourse: Is One and One Really Two?
This page was built for publication: Acceptable gaps in mathematical proofs
