Mathematical method and proof

Synthese 153 (1):105 - 159 (2006)
Abstract
  On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect
Keywords Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
DOI 10.1007/s11229-005-4064-5
Options
 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
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,233
Through your library
References found in this work BETA
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Introduction to Geometry.H. S. M. Coxeter - 1963 - Journal of Philosophy 60 (1):19-21.

View all 7 references / Add more references

Citations of this work BETA
Against Mathematical Explanation.Mark Zelcer - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):173-192.
Gauss' Quadratic Reciprocity Theorem and Mathematical Fruitfulness.Audrey Yap - 2011 - Studies in History and Philosophy of Science Part A 42 (3):410-415.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

88 ( #59,404 of 2,172,903 )

Recent downloads (6 months)

7 ( #40,283 of 2,172,903 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums