Abstract
As computers become a more prevalent commodity in mathematical research and mathematical proof, the question of whether or not a computer assisted proof can be considered a mathematical proof has become an ongoing topic of discussion in the mathematics community. The use of the computer in mathematical research leads to several implications about mathematics in the present day including the notion that mathematical proof can be based on empirical evidence, and that some mathematical conclusions can be achieved a posteriori instead of a priori, as most mathematicians have done before. While some mathematicians are open to the idea of a computer-assisted proof, others are skeptical and would feel more comfortable if presented with a more traditional proof, as it is more surveyable. A surveyable proof enables mathematicians to see the validity of a proof, which is paramount for mathematical growth, and offer critique. In my thesis, I will present the role that the mathematical proof plays within the mathematical community, and thereby conclude that because of the dynamics of the mathematical community and the constant activity of proving, the risks that are associated with a mistake that stems from a computer-assisted proof can be caught by the scrupulous activity of peer review in the mathematics community. Eventually, as the following generations of mathematicians become more trained in using computers and in computer programming, they will be able to better use computers in producing evidence, and in turn, other mathematicians will be able to both understand and trust the resultant proof. Therefore, it remains that whether or not a proof was achieved by a priori or a posteriori, the validity of a proof will be determined by the correct logic behind it, as well as its ability to convince the members of the mathematical community—not on whether the result was reached a priori with a traditional proof, or a posteriori with a computer-assisted proof
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
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: 51,192
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

The Four-Color Theorem and Mathematical Proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
Evolution of Mathematical Proof.Marian Mrozek & Jacek Urbaniec - 1997 - Foundations of Science 2 (1):77-85.
Testimony and Computer Proof.Kai-Yee Wong - 2008 - Proceedings of the Xxii World Congress of Philosophy 53:317-323.
The Epistemological Status of Computer-Assisted Proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Proof: Its Nature and Significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.

Analytics

Added to PP index
2015-05-24

Total views
22 ( #444,147 of 2,329,874 )

Recent downloads (6 months)
3 ( #254,671 of 2,329,874 )

How can I increase my downloads?

Downloads

My notes