Why do mathematicians re-prove theorems?

Philosophia Mathematica

Volumn 14, Issue 3, 2006, Pages 269-286

  Dawson Jr , John W ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749603945     PISSN: 00318019     EISSN: 17446406     Source Type: Journal    
DOI: 10.1093/philmat/nkl009     Document Type: Article

References (34)

1. Aigner, Martin, and Günter M. Ziegler [2000]: Proofs from the Book. 2nd ed. Berlin: Springer.
2. Arana, Andrew, and Michael Detlefsen [2005]: 'Purity of proof'. (Preprint)
3. Barwise, John [1989]: 'Mathematical proofs of computer system correctness', Notices of the American Mathematical Society 36, 844-851.
4. Bishop, Errett [1967]: Foundations of Constructive Analysis. New York: McGraw-Hill.
5. Bishop, Errett, and Douglas S. Bridges [1985]: Constructive Analysis. Berlin and New York: Springer.
6. Buss, Samuel [1991]: 'The undecidability of k-provability', Annals of Pure and Applied Logic 53, 75-102.
7. Carbone, Alessandra [1997]: Review of [Buss, 1991], Journal of Symbolic Logic 62: 1480-1481.
8. Courant, Richard, and Herbert Robbins [1941]: What is Mathematics? London, New York and Toronto: Oxford University Press.
9. Davis, Daniel, and Oved Shisha [1981]: 'Simple proofs of the fundamental theorem of arithmetic', Mathematics Magazine 54, 18.
10. Dehn, Max [1928]: 'The mentality of the mathematician. A characterization', The Mathematical Intelligencer 5 (1983), No. 2, 26.
11. Došen, Kosta [2003]: 'Identity of proofs based on normalization and generality', The Bulletin of Symbolic Logic 9, 477-503.
12. Feferman, Solomon [1975]: Review of [Prawitz, 1971], The Journal of Symbolic Logic 40, 232-234.
13. Feferman, Solomon [1978]: 'The logic of mathematical discovery vs. the logical structure of mathematics', in PSA 1978, vol. 2. East Lansing, Michigan: Philosophy of Science Assocation, pp. 309-327.
14. Reprinted in [Feferman, 1998], pp. 77-93.
15. Feferman, Solomon [1998]: In the Light of Logic. New York and Oxford: Oxford University Press.
16. Fine, Benjamin, and Gerhard Rosenberger [1997]: The Fundamental Theorem of Algebra. New York: Springer.
17. Gray, Jeremy [1989]: Ideas of Space, Euclidean, Non-Euclidean and Relativistic. 2nd ed. Oxford: Oxford University Press.
18. Keisler, H. Jerome [1986]: Elementary Calculus: An Infinitesimal Approach. Boston: Prindle, Weber & Schmidt.
19. Klappauf, Gerhard [1935]: 'Beweis des Fundamentalsatzes der Zahlentheorie', Jahresbericht der Deutsche Mathematiker-Vereinigung 45, 130.
20. Knorr, Wilbur R. [1975]: The Evolution of the Euclidean Elements. Dordrecht and Boston: D. Reidel.
21. Levinson, Norman [1969]: 'A motivated account of an elementary proof of the prime number theorem', American Mathematical Monthly 76, 225-244.
22. Mancosu, Paolo [1996]: Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. New York and Oxford: Oxford University Press.
23. Mancosu, Paolo [2001]P 'Mathematical explanation: problems and prospects', Topoi 20, 97-117.
24. Mancosu, Paolo, Klaus Jørgensen, and Stig Pedersen, eds. [2005]: Visualization, Explanation and Reasoning Styles in Mathematics. New York: Springer.
25. Peirce, Charles Sanders [1868]: 'Some consequences of four incapacities' Journal of Speculative Philosophy 2, 140-157.
26. Peirce, Charles Sanders [1982-]: Writings of Charles S. Peirce: A Chronological Edition. Edward C. Moore, ed. Bloomington, Indiana: Indiana University Press.
27. Pólya, George [1954]: Mathematics and Plausible Reasoning (2 vols.). London: Oxford University Press.
28. Prawitz, Dag [1971]: 'Ideas and results in proof theory', in J.E. Fenstad, ed., Proceedings of the Second Scandinavian Logic Symposium. Studies in Logic and the Foundations of Mathematics, Vol. 63. Amsterdam and London: North-Holland, pp. 235-307.
29. Rademacher, Hans, and Otto Toeplitz [1957]: The Enjoyment of Mathematics. Princeton: Princeton University Press.
30. Rav, Yehuda [1999]: 'Why do we prove theorems?' Philosophia Mathematica, (3) 7, 5-41.
31. Shapiro, Stewart [1991]: Foundations Without Foundationalism: A Case for Second-order Logic. Oxford: Clarendon Press.
32. Thiele, Rüdiger [2001]: 'Hilbert and his 24 problems', in Michael Kinyon, ed., Proceedings of the Twenty-Sixth Annual Meeting of the Canadian Society for History and Philosophy of Mathematics. Canadian Society for History and Philosophy of Mathematics, pp. 1-22.
33. Thiele, Rüdiger, and Larry Wos [2002]: 'Hilbert's twenty-fourth problem', Journal of Automated Reasoning 29: 67-89.
34. Zermelo, Ernst [1934]: 'Elementare Betrachtungen zur Theorie der Primzahlen', Nachrichten von den Gesellschaft der Wissenschaften zu Göttingen (Neue Folge) 1, 43-46.