Abstract
The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because these real justifications are distributed in the written archive of mathematics, proofs remain surveyable, hence good.
Similar content being viewed by others
References
Alder K. (2002) The measure of the world. Free Press, New York
Appel K., Haken W., Koch J. (1977) Every planar map is four colorable. Illinois Journal of Mathematics 21: 439–567
Aubrey J. (1958) Brief lives. Secker and Warburg, London
Azzouni J. (1994) Metaphysical myths, mathematical practice. Cambridge University Press, Cambridge
Bassler O.B. (2006) The surveyability of mathematical proof. Synthese 148(1): 99–133
Cottingham, J. (eds) (1985) Philosophical writings of Descartes (Vol. 1). Cambridge University Press, Cambridge
Duke W., Hopkins K. (2005) Quadratic reciprocity in a finite group. American Mathematical monthly 112(3): 251–256
Gorenstein D. (1985) The enormous theorem. Scientific American 253: 104–115
Gowers, T. (2007). When are two proofs essentially the same? http://gowers.wordpress.com/2007/10/04/when-are-two-proofs-essentially-the-same/.
Inglis M., Mejia-Ramos J.P., Simpson A. (2007) Modelling mathematical argumentation: The importance of qualification. Educational Studies in Mathematics 66(1): 3–21
Irvine W. (1988) Surveying for construction. McGraw-Hill, Maidenhead
Keay J. (2000) The great arc. HarperCollins, London
Kitcher P. (1983) The nature of mathematical knowledge. Oxford University Press, Oxford
Lamport L. (1995) How to write a proof. American Mathematical Monthly 102(7): 600–608
Putnam H. (1979) Philosophy of mathematics: A report. In: Asquith P.D., Kyburg H.E. (eds) Current research in philosophy of science: Proceedings of the P.S.A. critical research problems conference. East Lansing, MI, Philosophy of Science Association
Tao T. (2007) What is good mathematics? Bulletin of the American Mathematical Society 44(4): 623–634
Tymoczko, T. (eds) (1998) New directions in the philosophy of mathematics. Princeton University Press, Princeton, NJ
van Eemeren F., Grootendorst R., Henkemans F.S., Blair J.A., Johnson R.H., Krabbe E.C.W., Plantin C., Walton D.N., Willard C.A., Woods J.A., Zarefsky D.F. (1996) Fundamentals of argumentation theory: A handbook of historical backgrounds and contemporary developments. Mahwah, NJ, Lawrence Erlbaum Associates
Wiles A. (1995) Modular elliptic curves and Fermat’s last theorem. Annals of Mathematics 141(3): 443–551
Wittgenstein, L. (1978). In: G. H. von Wright, R. Rhees, & G. E. M. Anscombe (Eds.), Remarks on the foundations of mathematics. Cambridge, MA: MIT Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Coleman, E. The Surveyability of Long Proofs. Found Sci 14, 27–43 (2009). https://doi.org/10.1007/s10699-008-9145-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-008-9145-8