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|
|Through your library||Configure|
Similar books and articles
Peter 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.
Added to index2009-01-28
Total downloads86 ( #8,435 of 548,969 )
Recent downloads (6 months)10 ( #6,708 of 548,969 )
How can I increase my downloads?