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?’).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J. Avigad: Mathematical method and proof. Synthese, 153 (2006) pp 105–159
J. Azzouni: The derivation-indicator view of mathematical practice. Philosophia Mathematica, vol. 12 (2004) pp 81–105
R. Carnap: The logical syntax of language (Humanities Press, New York 1951)
C. Cellucci: Le ragioni della logica (Laterza, Rome 1998; fifth ed 2008)
C. Cellucci: The growth of mathematical knowledge: an open world view. In: The growth of mathematical knowledge, ed by E. Grosholz and H. Breger (Kluwer, Dordrecht 2000) pp 153–176
6. C. Cellucci: Filosofia e matematica (Laterza, Rome 2002) English translation: Introduction to 18 unconventional essays on the nature of mathematics, ed by R. Hersh (Springer, Berlin 2006) pp 17–36
C. Cellucci: Mathematical discourse vs mathematical intuition. In: Mathematical reasoning and heuristics, ed by C. Cellucci and D. Gillies (College Publications, London 2005) pp 137–165
C. Cellucci: The question Hume didn’t ask: why should we accept deductive inferences? In: Demonstrative and non-demonstrative reasoning in mathematics and natural science, ed by C. Cellucci and P. Pecere (Edizioni dell’Università, Cassino 2006) pp 207–235
C. Cellucci: Gödel aveva qualcosa da dire sulla natura del ragionamento? In: La complessità di Gödel, ed by G. Lolli and U. Pagallo (Giappichelli, Turin 2008) pp 31–64
C. Cellucci: The nature of mathematical explanation. Studies in History and Philosophy of Science (2008) To appear
C. Cellucci: Perché ancora la filosofia (Laterza, Rome 2008) To appear
W. S. Cooper: The evolution of reason. Logic as a branch of biology (Cambridge University Press, Cambridge 2001)
J. W. Dawson: Why do mathematicians re-prove theorems? Philosophia Mathematica 14 (2006) pp 269–286
R. Descartes: Oeuvres, ed by C. Adam and P. Tannery (Vrin, Paris 1996)
K. Devlin: The math instinct. Why you’re a mathematical genius (along with lobsters, birds, cats, and dogs) (Thunder’s Mouth Press, New York 2005)
H. Diels: Die Fragmente der Vorsokratiker ed by W. Krantz (Weidmann, Berlin 1934)
G. Frege: The foundations of arithmetic. A logico-mathematical enquiry into the concept of number (Blackwell, Oxford 1953)
G. Frege: The basic laws of arithmetic, ed by M. Furth (University of California Press, Berkeley and Los Angeles 1964)
G. Frege: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In: From Frege to Gödel. A source book in mathematical logic, 1879-1931, ed by J.van Heijenoort (Harvard University Press, Cambridge MA 1967) pp 5–82
G. Frege: On the foundations of geometry: second series. In: Collected papers on mathematics, logic, and philosophy ed by B. McGuinness (Blackwell, Oxford 1984) pp 293–340
G. Galilei: Opere, ed by A. Favaro (Barbera, Florence 1968)
G. Gentzen: Investigations into logical deduction. In: The collected papers of Gerhard Gentzen, ed by M. E. Szabo (North-Holland, Amsterdam 1969) pp 68–131
K. Gödel: What is Cantor’s continuum problem?-(1964). In: Collected works, vol. I, ed by S. Feferman et al. (Oxford University Press, Oxford 1990) pp 254–270
K. Gödel: Is mathematics syntax of language?-Version III. In: Collected works, vol. III, ed by S. Feferman et al. (Oxford University Press, Oxford 1995) pp 334–356
E. Grosholz: Representation and productive ambiguity in mathematics and the sciences (Oxford University Press, Oxford 2007)
R. W. Hamming: The unreasonable effectiveness of mathematics. The American Mathematical Monthly 87 (1980) pp 81–90
R. W. Hamming: Mathematics on a distant planet. The American Mathematical Monthly 105 (1998) pp 640–650
G. H. Hardy: Mathematical proof. Mind 38 (1929) pp 1–25
W. D. Hart: Introduction to The philosophy of mathematics, ed by W. D. Hart(Oxford University Press, Oxford 1996) pp 1–13
M. Heidegger: Brief über den Humanismus. In: Gesamtausgabe, vol. 9: Wegmarken (Klostermann, Frankfurt am Mein 1976) pp 313–364
M. Heil and J. C. Silva Bueno: Within-plant signaling by volatiles leads to induction and priming of an indirect plant defense in nature. Proceedings of the National Academy of Sciences USA 104 (2007) pp 5467–5472
R. Hersh: What is mathematics, really? (Oxford University Press, Oxford 1997)
D. Hilbert: Beweis des tertium non datur. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Math.-Phys. Klasse (1931) pp 120–125
D. Hilbert: The foundations of mathematics. In: From Frege to Gödel. A source book in mathematical logic, 1879-1931, ed by J.van Heijenoort (Harvard University Press, Cambridge MA 1967) pp 464–479
D. Hilbert: Letter to Frege 29.12.1899. In: Philosophical and mathematical correspondence (The University of Chicago Press, Chicago 1980) pp 38–41
D. Hilbert: Die Grundlagen der Geometrie. In: David Hilbert’s lectures on the foundations of geometry (1891-1902), ed by M. Hallett and U. Majer (Springer, Berlin 2004) pp 72–81
J. Hintikka and U. Remes: The method of analysis: its geometrical origin and its general significance (Reidel, Dordrecht 1974)
G. R. Hunt and R. D. Gray: Tool manufacture by New Caledonian crows: chipping away at human uniqueness. Acta Zoologica Sinica 52 (2006) Supplement, pp 622–625
I. Kant: Lectures on logic, ed. J. M. Young (Cambridge University Press, Cambridge 1992)
W. R. Knorr: The ancient tradition of geometric problems (Dover, Mineola NY 1993)
S. Kripke: Naming and necessity (Blackwell, Oxford 1980)
G. Lolli: QED. Fenomenologia della dimostrazione (Bollati Boringhieri, Turin 2005)
E. Mach: Knowledge and error. Sketches on the psychology of enquiry (Reidel, Dordrecht 1976)
A. Macintyre: The mathematical significance of proof theory. Philosophical Transactions of the Royal Society 363 (2005) pp 2419–2435
P. Mäenpää: The art of analysis. Logic and history of problem solving. Dissertation (University of Helsinki, Helsinki 1993)
L. I. Meikle and J. D. Fleuriot: Formalizing Hilbert’s Grundlagen in Isabelle/Isar. In: Theorem proving in higher order logics, LNCS 2758, ed by D. Basin and B. Wolff (Springer, Berlin 2003) pp 319–334
I. Newton: An account of the book entitled Commercium Epistolicum Collinii et aliorum, de analysi promota. Philosophical Transactions, vol. 29 (1715) pp 173–224 The quoted passage is also reprinted in I. B. Cohen, Introduction to Newton’s ‘Principia’ (Cambridge University Press, Cambridge 1971) p. 295
I. Newton: The mathematical papers, ed by D. T. Whiteside (Cambridge University Press, Cambridge 1967-81)
I. Newton: MS Add. 3968, f. 101. In: I. B. Cohen, Introduction to Newton’s ‘Principia’ (Cambridge University Press, Cambridge 1971) pp 293–294
Pappus of Alexandria: Book 7 of the Collection, ed by A. Jones (Springer, Berlin 1986)
T. J. Pennings: Do dogs know calculus? College Mathematics Journal 34 (2003) pp 178–182
G. Pólya: Mathematics and plausible reasoning (Princeton University Press, Princeton 1954)
Proclus: In primum Euclidis Elementorum librum commentarii, ed by G. Friedlein (Olms, Hildesheim 1992)
Y. Rav: A critique of a formalist-mechanist version of the justification of arguments in mathematicians’ proof practices. Philosophia Mathematica 15 (2007) pp 291–320
K. Ribet: From the Taniyama-Shimura conjecture to Fermat’s Last Theorem. Annales de la Faculté des Sciences de Toulouse — Mathématiques, vol. 11 (1990) pp 116–139
G. C. Rota: Indiscrete thoughts, ed by F. Palombi (Birkhäuser, Boston 1997)
B. Russell: Human society in ethics and politics (Allen & Unwin, London 1954)
A. Tarski: The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, vol. 4 (1944) pp 341–376
B. Timmermans: La résolution des problèmes de Descartes à Kant (Presses Universitaires de France, Paris 1995)
J. van Benthem: Interview. In: Philosophy of mathematics: 5 questions, ed by V. F. Hendricks and H. Leitgeb (Automatic Press / VIP Press, New York 2007)
H. Vaihinger: Die Philosophie des Als Ob (Felix Meiner, Leipzig 1927)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Italia
About this chapter
Cite this chapter
Celluci, C. (2008). Why Proof? What is a Proof?. In: Lupacchini, R., Corsi, G. (eds) Deduction, Computation, Experiment. Springer, Milano. https://doi.org/10.1007/978-88-470-0784-0_1
Download citation
DOI: https://doi.org/10.1007/978-88-470-0784-0_1
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-0783-3
Online ISBN: 978-88-470-0784-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)