Kai-Yee Wong
Chinese University of Hong Kong
This article aims to evaluate the purported empirical character of computer-assisted proof, as suggested by Thomas Tymoczko and others. Tymoczko famously argued that the proof of the Four-Color Theorem introduced a new, empirical method of proof, forcing us to modify the traditional conception of mathematical argument as a priori reasoning. Detlefsen and Luker contended that Tymoczko’s suggestion entailed that typically mathematical proofs were empirical. My chief interest is to raise some objections to a line of thought common to both of these arguments, with a view to outlining an account of the a priori which allows thepossibility of a priori knowledge obtained by appeal to computers or through testimony. Drawing on some recent discussions by Tyler Burge, this account gives a broad construal of the non-justificatory, ‘enabling’ role that experience is held to play in knowledge and cognition, allowing us to argue that the purported empirical character of the appeal to computers pertains only to the role experience plays in enabling our access to the a priori warrant provided by computer proof
Keywords Conference Proceedings  Contemporary Philosophy
Categories (categorize this paper)
DOI wcp2220085339
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,683
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
38 ( #289,029 of 2,462,461 )

Recent downloads (6 months)
2 ( #299,164 of 2,462,461 )

How can I increase my downloads?


My notes