Probabilistic Proofs and Transferability
| dc.contributor.author | Easwaran, Kenny | |
| dc.date.accessioned | 2015-12-10T22:26:00Z | |
| dc.date.issued | 2009 | |
| dc.date.updated | 2015-12-09T09:29:04Z | |
| dc.description.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. | |
| dc.identifier.issn | 0031-8019 | |
| dc.identifier.uri | http://hdl.handle.net/1885/53726 | |
| dc.publisher | Wilfrid Laurier University Press | |
| dc.source | Philosophia Mathematica | |
| dc.title | Probabilistic Proofs and Transferability | |
| dc.type | Journal article | |
| local.bibliographicCitation.issue | 3 | |
| local.bibliographicCitation.lastpage | 362 | |
| local.bibliographicCitation.startpage | 341 | |
| local.contributor.affiliation | Easwaran, Kenny, College of Arts and Social Sciences, ANU | |
| local.contributor.authoremail | repository.admin@anu.edu.au | |
| local.contributor.authoruid | Easwaran, Kenny, u4581409 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| local.identifier.absfor | 010404 - Probability Theory | |
| local.identifier.ariespublication | u4326120xPUB281 | |
| local.identifier.citationvolume | 17 | |
| local.identifier.doi | 10.1093/philmat/nkn032 | |
| local.identifier.scopusID | 2-s2.0-70350062204 | |
| local.identifier.uidSubmittedBy | u4326120 | |
| local.type.status | Published Version |