What do mathematicians want? Probabilistic proofs and the epistemic goals of mathematicians
| Abstract | Several philosophers have used the framework of means/ends reasoning to explain the methodological choices made by scientists and mathematicians (see, e.g., Goldman 1999, Levi 1962, Maddy 1997). In particular, they have tried to identify the epistemic objectives of scientists and mathematicians that will explain these choices. In this paper, the framework of means/ends reasoning is used to study an important methodological choice made by mathematicians. Namely, mathematicians will only use deductive proofs to establish the truth of mathematical claims. In this paper, I argue that none of the epistemic objectives of mathematicians that are currently on the table provide a satisfactory explanation of this rejection of probabilistic proofs. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesI. Grattan-Guinness (1999). Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship. History and Philosophy of Logic 20 (3-4):159-167.
A. G. Hamilton (1978). Logic for Mathematicians. Cambridge University Press.
Jean Clairambault (2011). Commitment of Mathematicians in Medicine: A Personal Experience, and Generalisations. Acta Biotheoretica 59 (3):201-211.
H. H. Benson (2012). The Problem is Not Mathematics, but Mathematicians: Plato and the Mathematicians Again. Philosophia Mathematica 20 (2):170-199.
Yehuda Rav (2007). A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices. Philosophia Mathematica 15 (3):291-320.
Jean Paul Van Bendegem (1988). Non-Formal Properties of Real Mathematical Proofs. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:249 - 254.
John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
D. Fallis (2000). The Reliability of Randomized Algorithms. British Journal for the Philosophy of Science 51 (2):255-271.
Kenny Easwaran (2009). Probabilistic Proofs and Transferability. Philosophia Mathematica 17 (3):341-362.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads33 ( #36,590 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |
My notes
Discussion
