Skip navigation
Skip navigation

Probabilistic Proofs and Transferability

Easwaran, Kenny

Description

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...[Show more]

dc.contributor.authorEaswaran, Kenny
dc.date.accessioned2015-12-10T22:26:00Z
dc.identifier.issn0031-8019
dc.identifier.urihttp://hdl.handle.net/1885/53726
dc.description.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.
dc.publisherWilfrid Laurier University Press
dc.sourcePhilosophia Mathematica
dc.titleProbabilistic Proofs and Transferability
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume17
dc.date.issued2009
local.identifier.absfor010404 - Probability Theory
local.identifier.ariespublicationu4326120xPUB281
local.type.statusPublished Version
local.contributor.affiliationEaswaran, Kenny, College of Arts and Social Sciences, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.issue3
local.bibliographicCitation.startpage341
local.bibliographicCitation.lastpage362
local.identifier.doi10.1093/philmat/nkn032
dc.date.updated2015-12-09T09:29:04Z
local.identifier.scopusID2-s2.0-70350062204
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Easwaran_Probabilistic_Proofs_and_2009.pdf74.83 kBAdobe PDF    Request a copy
02_Easwaran_Probabilistic_Proofs_and_2009.pdf119.12 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator