Philosophia Mathematica 17 (3):341-362 (2009)
AbstractIn a series of papers, Don Fallis points out that although mathematicians are generally unwilling to accept merely probabilistic proofs, they do accept proofs that are incomplete, long and complicated, or partly carried out by computers. He argues that there are no epistemic grounds on which probabilistic proofs can be rejected while these other proofs are accepted. I defend the practice by presenting a property I call ‘transferability’, which probabilistic proofs lack and acceptable proofs have. I also consider what this says about the similarities between mathematics and, on the one hand natural sciences, and on the other hand philosophy
Similar books and articles
Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures.James Robert Brown - 2008 - Routledge.
Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
The Role of Diagrams in Mathematical Arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Lower Bounds for Cutting Planes Proofs with Small Coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
.[author unknown] - unknown
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.
Added to PP
Historical graph of downloads
Citations of this work
Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.
Epistemic injustice in mathematics.Colin Jakob Rittberg, Fenner Stanley Tanswell & Jean Paul Van Bendegem - 2020 - Synthese 197 (9):3875-3904.
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups.Joshua Habgood-Coote & Fenner Stanley Tanswell - forthcoming - Episteme.
Explanation in Mathematics: Proofs and Practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11).