David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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 A. Kripke (1980/1998). Naming and Necessity. Harvard University Press.
Saul Kripke (2010). Naming and Necessity. In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge 431-433.
Michael D. Resnik (1997). Mathematics as a Science of Patterns. New York ;Oxford University Press.
Philip Kitcher (1983). The Nature of Mathematical Knowledge. Oxford University Press.
Hilary Putnam (1975). What is Mathematical Truth? In Mathematics, Matter and Method. Cambridge University Press 60--78.
Citations of this work BETA
No citations found.
Similar books and articles
Alan Baker (2008). Experimental Mathematics. Erkenntnis 68 (3):331 - 344.
Mark McEvoy (2008). The Epistemological Status of Computer-Assisted Proofs. Philosophia Mathematica 16 (3):374-387.
Izabela Bondecka-Krzykowska (1999). Dowody komputerowe a status epistemologiczny twierdzeń matematyki. Filozofia Nauki 3.
Henrik Kragh Sørensen (2010). Experimental Mathematics in the 1990s: A Second Loss of Certainty? Oberwolfach Reports (12):601--604.
Henrik Kragh Sørensen (2010). Exploratory Experimentation in Experimental Mathematics: A Glimpse at the PSLQ Algorithm. In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications 341--360.
Anna Lemańska (1996). Eksperymenty komputerowe w matematyce. Filozofia Nauki 3.
Christopher Pincock (2009). Towards a Philosophy of Applied Mathematics. In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave Macmillan
Robert A. Holland (1992). Apriority and Applied Mathematics. Synthese 92 (3):349 - 370.
Stojan Obradović & Slobodan Ninković (2009). The Heuristic Function of Mathematics in Physics and Astronomy. Foundations of Science 14 (4):351-360.
James Robert Brown (1999). Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures. Routledge.
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.
Imre Lakatos (ed.) (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
Izabela Bondecka-Krzykowska (2010). O związkach informatyki z matematyką. Filozofia Nauki 1.
Added to index2011-10-20
Total downloads44 ( #75,700 of 1,724,879 )
Recent downloads (6 months)1 ( #349,126 of 1,724,879 )
How can I increase my downloads?