Probabilistic Proofs and Transferability

Date

2009

Authors

Easwaran, Kenny

Journal Title

Journal ISSN

Volume Title

Publisher

Wilfrid Laurier University Press

Abstract

In 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.

Description

Keywords

Citation

Source

Philosophia Mathematica

Type

Journal article

Book Title

Entity type

Access Statement

License Rights

Restricted until

2037-12-31