Why proof? What is a proof?
In Giovanna Corsi & Rossella Lupacchini (eds.), Deduction, Computation, Experiment. Exploring the Effectiveness of Proof, pp. 1-27. Springer (2008)
| Abstract | This paper is concerned with real proofs as opposed to formal proofs, and specifically with the ultimate reason of real proofs (`Why Proof?') and with the notion of real proof (`What is a Proof?'). | |||||||||
| Keywords | Proof Aims of Proof Philosophy of Mathematics | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesPeter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Marian Mrozek & Jacek Urbaniec (1997). Evolution of Mathematical Proof. Foundations of Science 2 (1):77-85.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
P. R. Baxandall (ed.) (1978). Proof in Mathematics ("If", "Then" and "Perhaps"): A Collection of Material Illustrating the Nature and Variety of the Idea of Proof in Mathematics. University of Keele, Institute of Education.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
R. B. J. T. Allenby (1997). Numbers and Proofs. Copublished in North, South, and Central America by John Wiley & Sons Inc..
Bernhard Weiss (1997). Proof and Canonical Proof. Synthese 113 (2):265-284.
James Franklin (1996). Proof in Mathematics. Quakers Hill Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads86 ( #8,435 of 548,969 )Recent downloads (6 months)10 ( #6,708 of 548,969 )How can I increase my downloads? |
My notes
Discussion
