Episteme (forthcoming)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Nature of Mathematical Knowledge.Philip Kitcher - 1983 - Oxford University Press.
Knowledge-How, Abilities, and Questions.Joshua Habgood-Coote - 2019 - Australasian Journal of Philosophy 97 (1):86-104.
Modelling Collective Belief.Margaret Gilbert - 1987 - Synthese 73 (1):185-204.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.

View all 31 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Generation Theorem for Groups of Finite Morley Rank.Jeffrey Burdges & Gregory Cherlin - 2008 - Journal of Mathematical Logic 8 (2):163-195.
Proof, Rigour and Informality : A Virtue Account of Mathematical Knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.
On Superstable Groups with Residual Properties.Abderezak Ould Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
On Superstable Groups with Residual Properties.Abderezak Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
Axiomatization of Abelian-by- G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Mathematics as a Quasi-Empirical Science.Gianluigi Oliveri - 2004 - Foundations of Science 11 (1-2):41-79.
What's There to Know? A Fictionalist Approach to Mathematical Knowledge.Mary Leng - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford: Oxford University Press.
Measurable Groups of Low Dimension.Richard Elwes & Mark Ryten - 2008 - Mathematical Logic Quarterly 54 (4):374-386.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.


Added to PP index

Total views
32 ( #330,571 of 2,432,740 )

Recent downloads (6 months)
32 ( #24,774 of 2,432,740 )

How can I increase my downloads?


My notes