Probabilistic proofs and the collective epistemic goals of mathematicians

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Abstract

Mathematicians only use deductive proofs to establish that mathematical claims are true. They never use inductive evidence, such as probabilistic proofs, for this task. I have previously argued (Fallis 1997 and 2002) that mathematicians do not have good epistemic grounds for this complete rejection of probabilistic proofs. But Kenny Easwaran (2009) points out that there is a gap in my argument. In my earlier work, I only considered how mathematical proofs serve the epistemic goals of individual mathematicians. Easwaran suggests that deductive proofs might be epistemically superior to probabilistic proofs because they are transferable. That is, one mathematician can give such a proof to another mathematician who can then verify for herself that the mathematical claim in question is true without having to rely at all on the testimony of the first mathematician. In this paper, I argue that collective epistemic goals are critical to understanding the methodological choices of mathematicians. But I argue that the collective epistemic goals promoted by transferability do not explain the complete rejection of probabilistic proofs.

Original languageEnglish (US)
Title of host publicationCollective Epistemology
PublisherDe Gruyter Mouton
Pages157-176
Number of pages20
ISBN (Electronic)9783110322583
ISBN (Print)9783110322231
StatePublished - May 2 2013
Externally publishedYes

Fingerprint

Mathematicians
Rejection
Testimony

ASJC Scopus subject areas

  • Arts and Humanities(all)

Cite this

Fallis, D. T. (2013). Probabilistic proofs and the collective epistemic goals of mathematicians. In Collective Epistemology (pp. 157-176). De Gruyter Mouton.

Probabilistic proofs and the collective epistemic goals of mathematicians. / Fallis, Don T.

Collective Epistemology. De Gruyter Mouton, 2013. p. 157-176.

Research output: Chapter in Book/Report/Conference proceedingChapter

Fallis, DT 2013, Probabilistic proofs and the collective epistemic goals of mathematicians. in Collective Epistemology. De Gruyter Mouton, pp. 157-176.
Fallis DT. Probabilistic proofs and the collective epistemic goals of mathematicians. In Collective Epistemology. De Gruyter Mouton. 2013. p. 157-176
Fallis, Don T. / Probabilistic proofs and the collective epistemic goals of mathematicians. Collective Epistemology. De Gruyter Mouton, 2013. pp. 157-176
@inbook{b02348b2e4e74e8583260cfb0bf57444,
title = "Probabilistic proofs and the collective epistemic goals of mathematicians",
abstract = "Mathematicians only use deductive proofs to establish that mathematical claims are true. They never use inductive evidence, such as probabilistic proofs, for this task. I have previously argued (Fallis 1997 and 2002) that mathematicians do not have good epistemic grounds for this complete rejection of probabilistic proofs. But Kenny Easwaran (2009) points out that there is a gap in my argument. In my earlier work, I only considered how mathematical proofs serve the epistemic goals of individual mathematicians. Easwaran suggests that deductive proofs might be epistemically superior to probabilistic proofs because they are transferable. That is, one mathematician can give such a proof to another mathematician who can then verify for herself that the mathematical claim in question is true without having to rely at all on the testimony of the first mathematician. In this paper, I argue that collective epistemic goals are critical to understanding the methodological choices of mathematicians. But I argue that the collective epistemic goals promoted by transferability do not explain the complete rejection of probabilistic proofs.",
author = "Fallis, {Don T}",
year = "2013",
month = "5",
day = "2",
language = "English (US)",
isbn = "9783110322231",
pages = "157--176",
booktitle = "Collective Epistemology",
publisher = "De Gruyter Mouton",
address = "Germany",

}

TY - CHAP

T1 - Probabilistic proofs and the collective epistemic goals of mathematicians

AU - Fallis, Don T

PY - 2013/5/2

Y1 - 2013/5/2

N2 - Mathematicians only use deductive proofs to establish that mathematical claims are true. They never use inductive evidence, such as probabilistic proofs, for this task. I have previously argued (Fallis 1997 and 2002) that mathematicians do not have good epistemic grounds for this complete rejection of probabilistic proofs. But Kenny Easwaran (2009) points out that there is a gap in my argument. In my earlier work, I only considered how mathematical proofs serve the epistemic goals of individual mathematicians. Easwaran suggests that deductive proofs might be epistemically superior to probabilistic proofs because they are transferable. That is, one mathematician can give such a proof to another mathematician who can then verify for herself that the mathematical claim in question is true without having to rely at all on the testimony of the first mathematician. In this paper, I argue that collective epistemic goals are critical to understanding the methodological choices of mathematicians. But I argue that the collective epistemic goals promoted by transferability do not explain the complete rejection of probabilistic proofs.

AB - Mathematicians only use deductive proofs to establish that mathematical claims are true. They never use inductive evidence, such as probabilistic proofs, for this task. I have previously argued (Fallis 1997 and 2002) that mathematicians do not have good epistemic grounds for this complete rejection of probabilistic proofs. But Kenny Easwaran (2009) points out that there is a gap in my argument. In my earlier work, I only considered how mathematical proofs serve the epistemic goals of individual mathematicians. Easwaran suggests that deductive proofs might be epistemically superior to probabilistic proofs because they are transferable. That is, one mathematician can give such a proof to another mathematician who can then verify for herself that the mathematical claim in question is true without having to rely at all on the testimony of the first mathematician. In this paper, I argue that collective epistemic goals are critical to understanding the methodological choices of mathematicians. But I argue that the collective epistemic goals promoted by transferability do not explain the complete rejection of probabilistic proofs.

UR - http://www.scopus.com/inward/record.url?scp=84875965719&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84875965719&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:84875965719

SN - 9783110322231

SP - 157

EP - 176

BT - Collective Epistemology

PB - De Gruyter Mouton

ER -