Abstract
Mathematicians often intentionally leave gaps in their proofs. Based on interviews with mathematicians about their refereeing practices, this paper examines the character of intentional gaps in published proofs. We observe that mathematicians’ refereeing practices limit the number of certain intentional gaps in published proofs. The results provide some new perspectives on the traditional philosophical questions of the nature of proof and of what grounds mathematical knowledge.
| Original language | English |
|---|---|
| Pages (from-to) | 233-247 |
| Number of pages | 15 |
| Journal | Synthese |
| Volume | 197 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1 Jan 2020 |
Bibliographical note
Publisher Copyright:© 2018, Springer Nature B.V.