The Creative Growth of Mathematics

  • Jean Paul van Bendegem
Part of the Logic, Epistemology, And The Unity Of Science book series (LEUS, volume 1)


It is a trivial remark that to discuss the philosophy of any topic, one must have at least a good understanding of the topic itself in order to raise philosophical problems about it. However, if the topic happens to be mathematics, this does not seem to be the case. Philosophers are not particularly interested in mathematical practice itself. Often they prefer the reduced and all too simplified picture of mathematicians as “theorem proving machines”. In this paper I present a rough sketch on the macro-, meso- and microlevel of a theory of mathematical practice, that does more justice to the amazing and unexpected complexities of the mathematicians' daily universe.


Elliptic Curf Category Theory Predicate Logic Automate Reasoning Mathematical Practice 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alexandrov, P. S. (ed.): 1971, Die Hilbertschen Probleme, Leipzig, Akademische Verlagsgesell-schaft, Geest & Portig.Google Scholar
  2. Apéry, François: 1996, ‘Roger Apéry, 1916–1994: A Radical Mathematician’, The Mathematical Intelligencer 18(2), 54–61.CrossRefGoogle Scholar
  3. Appel, Kenneth and Wolfgang Haken: 1989, Every Planar Map is Four Colorable, Providence, AMS (Contemporary Mathematics, vol. 98).Google Scholar
  4. Bailey, D. H., J. M. Borwein, P. B. Borwein and S. Plouffe: 1997, ‘The Quest for Pi’, Mathematical Intelligencer 19(1), 50–57.CrossRefGoogle Scholar
  5. Bell, John L. (guest ed.): 1994, Categories in the Foundations of Mathematics and Language, Special issue of Philosophia Mathematica, vol. 2, first third.Google Scholar
  6. Boden, Margaret: 1990, The Creative Mind, London, Sphere Books.Google Scholar
  7. Borwein, Jonathan and Peter Borwein: 1992, ‘Some Observations on Computer Aided Analysis’, Notices of the AMS 39(8), 825–829.Google Scholar
  8. Browder, Felix E. (ed.): 1976, Mathematical Developments Arising from Hilbert Problems, Providence, AMS, (Proceedings of Symposia in Pure Mathematics, vol. 28).Google Scholar
  9. Bundy, Alan: 1983, The Computer Modelling of Mathematical Reasoning, New York, Academic Press.Google Scholar
  10. Cipra, Barry: 1996, What's Happening in the Mathematical Sciences, 1995–1996, Vol. 3, Providence: AMS.Google Scholar
  11. Corry, Leo: 1992, ‘Nicolas Bourbaki and the Concept of Mathematical Structure’, Synthese 92, 315– 348.CrossRefGoogle Scholar
  12. Crowe, Michael: 1992, ‘Ten “Laws” Concerning Patterns of Change in the History of Mathematics’, in Donald Gillies (ed.), pp. 15–20 (originally published in 1975).Google Scholar
  13. Dauben, Joseph: 1992, ‘Conceptual Revolutions and the History of Mathematics: Two Studies in the Growth of Knowledge’, in Donald Gillies (ed.), pp. 49–71 (originally published in 1984).Google Scholar
  14. Devlin, Keith: 1988, Mathematics: The New Golden Age, Harmondsworth, Penguin.Google Scholar
  15. Dieudonné, Jean: 1987, Pour l'honneur de l'esprit humain. Les mathématiques aujourd'hui, Paris, Hachette.Google Scholar
  16. Duda, Roman : 1997, ‘Mathematics: Essential Tensions’, Foundations of Science 2(1), 11–19.CrossRefGoogle Scholar
  17. Dunham, William: 1990, Journey Through Genius. The Great Theorems of Mathematics, New York, John Wiley & Sons.Google Scholar
  18. Echeverria, Javier: 1996, ‘Empirical Methods in Mathematics. A Case Study: Goldbach's Conjecture’, in Gonzalo Munévar (ed.), Spanish Studies in the Philosophy of Science, Dordrecht: Kluwer Academic, pp. 19–55.Google Scholar
  19. Gonzalo Gelbart, Stephen: 1984, ‘An Elementary Introduction to the Langlands Program’, Bulletin (New Series) of the American Mathematical Society 10(2), 177–219.CrossRefGoogle Scholar
  20. Gillies, Donald (ed.): 1992, Revolutions in Mathematics, Oxford, Clarendon Press.Google Scholar
  21. Glas, Eduard: 1981, Wiskunde en samenleving in historisch perspectief, Muiderberg, Coutinho.Google Scholar
  22. Glas, Eduard: 1991a, ‘Lakatos Revisited’, Kennis en Methode XV(3), 307–311.Google Scholar
  23. Glas, Eduard: 1991b, ‘Koetsiers verfijnde metamethodologie — een repliek’, Kennis en Methode XV(4), 404–405.Google Scholar
  24. Gorenstein, Daniel: 1986, ‘Classifying the Finite Simple Groups’, Bulletin (New Series) of the AMS 14, 1–98.CrossRefGoogle Scholar
  25. Graham, L. A.: 1959, Ingenious Mathematical Problems and Methods, New York, Dover Publications.Google Scholar
  26. Grattan-Guinness, Ivor: 1997, The Fontana History of the Mathematical Sciences, London, Fontana Press.Google Scholar
  27. Grimmett, Geoffrey and Dominic Welsh: 1994, Probability. An Introduction, Oxford, Clarendon Press.Google Scholar
  28. Hersh, Reuben: 1997, What is Mathematics, Really?, London, Jonathan Cape.Google Scholar
  29. Honsberger, Ross: 1970, Ingenuity in Mathematics, Washington, New Mathematical Library, MAA.Google Scholar
  30. Johnson, Jeffrey, Sean McKee and Alfred Vella (eds.): 1994, Artificial Intelligence in Mathematics, Oxford, Clarendon Press.Google Scholar
  31. King, Jerry P.: 1992. The Art of Mathematics, New York, Plenum Press.Google Scholar
  32. Kitcher, Philip: 1983, The Nature of Mathematical Knowledge, Oxford, Oxford University Press.Google Scholar
  33. Koetsier, Teun 1991, Lakatos' Philosophy of Mathematics. A Historical Approach, New York/Amsterdam, North-Holland (Studies in the History and Philosophy of Mathematics, volume 3).Google Scholar
  34. Kuhn, Thomas: 1977, The Essential Tension. Selected Studies in Scientific Tradition and Change, Chicago, University of Chicago Press.Google Scholar
  35. Lakatos, Imre: 1976, Proofs and Refutations, Cambridge, Cambridge University Press.Google Scholar
  36. Langley, Pat, Herbert A. Simon, Gary L. Bradshaw and Jan M. Zytkow: 1987, Scientific Discovery. Computational Explorations of the Creative Processes, Cambridge, MA, MIT.Google Scholar
  37. Lenat, D. B.: 1980, ‘AM: Discovery in Mathematics as Heuristic Search’, in R. Davis and D. B. Lenat (eds.), Knowledge-Based Systems in Artificial Intelligence, New York, McGraw-Hill, pp. 3–228.Google Scholar
  38. MacLane, Saunders: 1986, Mathematics. Form and Function, Heidelberg, Springer.Google Scholar
  39. McAllester, David A.: 1989, ONTIC. A Knowledge Representation System for Mathematics, Cambridge, MA, MIT.Google Scholar
  40. McCune, William: 1997, ‘Solution of the Robbins Problem’, Journal of Automated Reasoning 19(3), 263–276.CrossRefGoogle Scholar
  41. Melis, Erica: 1998, ‘The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe’, Journal of Automated Reasoning 20(3), 255–282.CrossRefGoogle Scholar
  42. Munévar, Gonzalo (ed.): 1996, Spanish Studies in the Philosophy of Science, Dordrecht, Kluwer Academic (BSPS volume 186).Google Scholar
  43. Northrop, Eugene P.: 1978, Riddles in Mathematics, Harmondsworth, Penguin.Google Scholar
  44. Otte, M. and M. Panza (eds.): 1997, Analysis and Synthesis in Mathematics, Dordrecht, Kluwer.Google Scholar
  45. Polya, Georg: 1945, How to Solve It. A New Aspect of Mathematical Method, Princeton, Princeton University Press. (New York: Doubleday Anchor Books, 1957.)Google Scholar
  46. Rav, Yehuda: 1993, ‘Philosophical Problems of Mathematics in the Light of Evolutionary Epistem-ology’, in Sal Restivo et al. (eds.), Math Worlds: New Directions in the Social Studies and Philosophy of Mathematics, New York, State University New York Press, pp. 80–109.Google Scholar
  47. Restivo, Sal: 1983, The Social Relations of Physics, Mysticism, and Mathematics, Dordrecht, Reidel.Google Scholar
  48. Restivo, Sal: 1992, Mathematics in Society and History, Dordrecht, Kluwer Academic.Google Scholar
  49. Restivo, Sal, Jean Paul Van Bendegem and Roland Fischer (eds.): 1993, Math Worlds: New Directions in the Social Studies and Philosophy of Mathematics, New York, State University New York Press.Google Scholar
  50. Ribenboim, Paulo: 1989, The Book of Prime Number Records, Heidelberg, Springer.Google Scholar
  51. Schoenfeld, Alan H.: 1985, Mathematical Problem Solving, New York, Academic Press.Google Scholar
  52. Stewart, Ian: 1987, The Problems of Mathematics, Oxford, Oxford University Press.Google Scholar
  53. Tall, David (ed.): 1991, Advanced Mathematical Thinking, Dordrecht, Kluwer (Mathematics Education Library).Google Scholar
  54. Taylor, Richard and Andrew Wiles: 1995, ‘Ring-theoretic Properties of Certain Hecke Algebras’, Annals of Mathematics, Second Series, 141(3), 553–572.CrossRefGoogle Scholar
  55. Tymoczko, Thomas (ed.): 1986, New Directions in the Philosophy of Mathematics, Stuttgart, Birkhäuser.Google Scholar
  56. Van Bendegem, Jean Paul: 1987, ‘Fermat's Last Theorem seen as an Exercise in Evolutionary Epi-stemology’, in Werner Callebaut and Rik Pinxten (eds.), Evolutionary Epistemology, Dordrecht, Kluwer, pp. 337–363.Google Scholar
  57. Van Bendegem, Jean Paul: 1988, ‘Non-Formal Properties of Real Mathematical Proofs’, in Arthur Fine and Jarrett Leplin (eds.), PSA 1988, Volume One, East Lansing, PSA, pp. 249–254.Google Scholar
  58. Van Bendegem, Jean Paul: 1990a, ‘Characteristics of Real Mathematical Proofs’, in A. Diaz, J. Echeverria and A. Ibarra (eds.), Structures in Mathematical Theories, San Sebastian, Servicio Editorial Universidad del Pais Vasco, pp. 333–337.Google Scholar
  59. Van Bendegem, Jean Paul: 1993, ‘Foundations of Mathematics or Mathematical Practice: Is One Forced to Choose?’, in S. Restivo, J. P. Van Bendegem and R. Fischer (eds.), pp. 21–38.Google Scholar
  60. Van Bendegem, Jean Paul: 1996, ‘Mathematical Experiments and Mathematical Pictures’, in Igor Douven and Leon Horsten (eds.), Realism in the Sciences. Proceedings of the Ernan McMullin Symposium Leuven 1995, Louvain Philosophical Studies 10. Leuven, Leuven University Press, pp. 203–216.Google Scholar
  61. van Gasteren, A. J. M.: 1990, On the Shape of Mathematical Arguments, Heidelberg, Springer.Google Scholar
  62. Wells, David: 1991, The Penguin Dictionary of Curious and Interesting Geometry, Harmondsworth, Penguin Books.Google Scholar
  63. Wilder, Raymond L.: 1981, Mathematics as a Cultural System, Oxford, Pergamon Press.Google Scholar
  64. Wiles, Andrew: 1995, ‘Modular Elliptic Curves and Fermat's Last Theorem’, Annals of Mathematics, Second Series, 141(3), 443–551.CrossRefGoogle Scholar
  65. Wilf, Herbert S. and Doron Zeilberger: 1990, ‘Towards Computerized Proofs of Identities’, Bulletin (New Series) of the AMS 23(1), 77–83.CrossRefGoogle Scholar
  66. Wos, Larry; Ross Overbeek; Ewing Lusk and Jim Boyle: 1992, Automated Reasoning. Introduction and Applications, New York, McGraw-Hill.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Jean Paul van Bendegem

    There are no affiliations available

    Personalised recommendations