Experimental mathematics, computers and the a priori

Synthese 190 (3):397-412 (2013)
In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical hypotheses. For example, there is “number crunching” such as searching for very large Mersenne primes, and showing that the Goldbach conjecture holds for all even numbers less than 2 × 1018. There are “verifications” of hypotheses which, while not definitive proofs, provide strong support for those hypotheses, and there are proofs involving an enormous amount of computer hours, which cannot be surveyed by any one mathematician in a lifetime. There have been several attempts to argue that one or another aspect of experimental mathematics shows that mathematics now accepts empirical or inductive methods, and hence shows mathematical apriorism to be false. Assessing this argument is complicated by the fact that there is no agreed definition of what precisely experimental mathematics is. However, I argue that on any plausible account of ’experiment’ these arguments do not succeed.
Keywords Experimental mathematics  Mathematical apriorism  Computer assisted proofs  Non-deductive methodology
Categories (categorize this paper)
DOI 10.1007/s11229-011-0035-1
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 22,585
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
Saul Kripke (2010). Naming and Necessity. In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge 431-433.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Jean Paul Van Bendegem (2005). Proofs and Arguments: The Special Case of Mathematics. Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
André Kukla (1994). Medium AI and Experimental Science. Philosophical Psychology 7 (4):493-5012.

Monthly downloads

Added to index


Total downloads

47 ( #95,859 of 1,938,583 )

Recent downloads (6 months)

2 ( #288,358 of 1,938,583 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.