The Social Epistemology of Mathematical Proof

Line Edslev Andersen ()
Additional contact information
Line Edslev Andersen: Aarhus University

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 2069-2079 from Springer

Abstract: Abstract If we want to understand why mathematical knowledge is extraordinarily reliable, we need to consider both the nature of mathematical arguments and mathematical practice as a social practice. Mathematical knowledge is extraordinarily reliable because arguments in mathematics take the form of deductive mathematical proofs. Deductive mathematical proofs are surveyable in the sense that they can be checked step by step by different experts, and a purported proof is only accepted as a proof by the mathematical community once a number of experts have checked the proof. Hence, the reliability of the body of mathematical knowledge is in part obtained through the surveyability of proofs and the social process of proof validation. This chapter reviews work relating to (1) the norm in the mathematical community of only counting as argument deductive mathematical proof, and (2) the norm of only counting as deductive mathematical proof an argument that has been confirmed to be a deductive mathematical proof by a number of experts. The chapter also presents cases of unusual mathematical proofs or arguments that challenge these norms.

Keywords: Social epistemology of mathematical proof; Norms in mathematics; Surveyability of proofs; Proof validation; Ghost theorems; Complex proofs (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_33

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_33

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().