Acceptable gaps in mathematical proofs

DOI10.1007/s11229-018-1778-8zbMath1475.00007OpenAlexW2801998410WikidataQ113900474 ScholiaQ113900474MaRDI QIDQ2053999

Line Edslev Andersen

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

zbMATH Keywords

mathematical practicenature of proofsgaps in proofspeer review in mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

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