Abstract
The mathematical community (appropriately defined) faces a great challenge to re-evaluate the role of proof in light of the power of current computer systems, the sophistication of modern mathematical computing packages, and the growing capacity to data-mine on the internet. Added to those are the enormous complexity of many modern mathematical results such as the Poincaré conjecture, Fermat’s last theorem, and the classification of finite simple groups. With great challenges come great opportunities. Here, I survey the current challenges and opportunities for the learning and doing of mathematics. As the prospects for inductive mathematics blossom, the need to ensure that the role of proof is properly founded remains undiminished. Much of this material was presented as a plenary talk in May 2009 at the National Taiwan Normal University Workshop for ICMI Study 19 “On Proof and Proving in Mathematics Education.”
Notes
- 1.
All definitions below are taken from the Collin’s Dictionary of Mathematics which I co-authored. It is available as software—with a version of Student Maple embedded in it—at http://www.mathresources.com/products/mathresource/index.html.
- 2.
With the growing realisation of the importance of gesture in mathematics “as the very texture of thinking,” (Sfard 2009, p. 92) it is time to seriously explore tactile devices.
- 3.
A cross-section of such resources is available through http://ddrive.cs.dal.ca/∼isc/portal/.
- 4.
In Achenblog http://blog.washingtonpost.com/achenblog/ of July 1 2008.
- 5.
http://www.snre.umich.edu/eplab/demos/st0/stroopdesc.html has a fine overview.
- 6.
- 7.
In Dewey’s introduction to his book (1910). Dewey, a leading pragmatist (or instrumentalist) philosopher and educational thinker of his period, is also largely responsible for the Trotsky archives being at Harvard, through his activities on the Dewey Commission.
- 8.
This was said in an interview in Regis (1986), not only in Kuhn’s 1962 The Structure of Scientific Revolutions, which Brown notes is “the single most influential work in the history of science in the twentieth century.” In Brown’s accounting (2008) Kuhn bears more responsibility for the slide into PIS than either Dewey or Popper. An unpremeditated example of digitally assisted research is that—as I type—I am listening to The Structure of Scientific Revolutions, having last read it 35 years ago.
- 9.
Quoted by R. C. Leowontin, in Science p. 1264, Feb 16, 2001 (the Human Genome Issue).
- 10.
Michael Moncur’s (Cynical) Quotations #255 http://www.quotationspage.com/collections.html
- 11.
Richard Hamming’s philosophy of scientific computing appears as preface to his influential 1962 book (1962).
- 12.
Science, August 3, 2007, p. 579: “documenting equipment losses of more than $94 million over the past 10 years by the agency.”
- 13.
In The flight From Science and Reason. See Science, Oct. 11, 1996, p. 183.
- 14.
- 15.
The online Inverse Symbolic Calculator http://isc.carma.newcastle.edu.au/ was newly web-accessible in the same year, 1995.
- 16.
In his 23 Mathematische Probleme lecture to the Paris International Congress, 1900 (Yandell 2002).
- 17.
Eureka was an undergraduate Cambridge University journal.
- 18.
Leshner, the publisher of Science, was speaking at the Canadian Federal Science & Technology Forum, October 2, 2002.
- 19.
Available at http://www.cinderella.de.
- 20.
From p. 53 of the 1953 edition of Littlewood’s Miscellany and so said long before the current fine graphic, geometric, and other visualisation tools were available; also quoted in Inglis and Mejia-Ramos (2009).
- 21.
In his famous Mathematician’s Apology of 1940. I can not resist noting that modern digital assistance often makes more careful referencing unnecessary and sometimes even unhelpful!
- 22.
As quoted in Barad (2007, p. 54) with a footnote citing The Philosophical Writings of Niels Bohr (1998). (1885–1962).
References
Anderson, C. (2008). The end of theory. Wired, http://www.wired.com/science/discoveries/magazine/16-07/pb_theory.
Avigad, J. (2008). Computers in mathematical inquiry. In P. Mancuso (Ed.), The philosophy of mathematical practice (pp. 302–316). Oxford: Oxford University Press.
Bailey D. H., & Borwein, J. M. (2011, November). Exploratory experimentation and computation. Notices of the AMS. November 1410–1419.
Bailey, D., Borwein, J., Calkin, N, Girgensohn, R., Luke, R., & Moll, V. (2007). Experimental mathematics in action. Wellesley: A K Peters.
Bailey, D. H., Borwein, J. M., Broadhurst, L. M., & Glasser, L. (2008). Elliptic integral representation of Bessel moments. Journal of Physics A: Mathematics & Theory, 41, 5203–5231.
Bailey, D. H., Borwein, J. M., & Crandall, R. E. (2010, March). Advances in the theory of box integrals. Mathematics of Computation, 79, 1839–1866.
Baillie, R., Borwein, D., & Borwein, J. (2008). Some sinc sums and integrals. American Mathematical Monthly, 115(10), 888–901.
Barad, K. M. (2007). Meeting the universe halfway. Durham: Duke University Press.
Borwein, J. M. (2005). The SIAM 100 digits challenge. Extended review in the Mathematical Intelligencer, 27, 40–48. [D-drive preprint 285].
Borwein, J. M., & Bailey, D. H. (2008). Mathematics by experiment: Plausible reasoning in the 21st century (2nd ed.). Wellesley: A K Peters.
Borwein, J. M., & Devlin, K. (2009). The computer as crucible. Wellesley: A K Peters.
Borwein, J. M., Bailey D. H., & Girgensohn, R. (2004). Experimentation in mathematics: Computational pahts to discovery. Wellesley: A K Peters.
Brown, R. D. (2008). Are science and mathematics socially constructed? A mathematician encounters postmodern interpretations of science. Singapore: World Scientific.
de Villiers, M. (2004). The role and function of quasi-empirical methods in Mathematics. Canadian Journal of Science, Mathematics and Technology Education, 4, 397–418.
Dewey, J. (1910). The influence of darwin on philosophy and other essays. New York: Henry Holt.
Ewing, J. H., & Gehring, F. W. (1991). Paul Halmos. Celebrating 50 years of mathematics. New York: Springer.
Franklin, L. R. (2005). Exploratory experiments. Philosophy of Science, 72, 888–899.
Giaquinto, M. (2007). Visual thinking in mathematics. An epistemological study. Oxford: Oxford University Press.
Gregory, J., & Miller, S. (1998). Science in public, communication, culture and credibility. Cambridge: Basic Books.
Hamming, R. W. (1962). Numerical methods for scientists and engineers. New York: McGraw-Hill.
Havel, J. (2003). Gamma: Exploring Euler’s constant. Princeton: Princeton University Press.
Hersh, R. (1997). What is mathematics, really? New York: Oxford University Press.
Ifrah, G. (2000). The universal history of numbers. New York: Wiley.
Inglis, M., & Mejia-Ramos, J. P. (2009). The effect of authority on the persuasiveness of mathematical arguments. preprint.
Jaffe, A., & Quinn, F. (1991). “Theoretical mathematics”: Toward a cultural synthesis of mathematics and theoretical physics. Bulletin of the American Mathematical Society, 29(1), 1–13.
Livio, M. (2009). Is God a mathematician?. New York:Simon and Schuster.
Lucas, S. K. (2009). Approximations to π derived from integrals with nonnegative integrands. American Mathematical Monthly, 116(10), 166–172.
Pinker, S. (2007). The stuff of thought: Language as a window into human nature. London: Allen Lane.
Pólya, G. (1981). Mathematical discovery: On understanding, learning, and teaching problem solving (Combined ed.). New York: Wiley.
Regis, E. (1986). Who got Einstein’s office? Reading: Addison-Wesley.
Rice A. (1999). What makes a great mathematics teacher? American Mathematical Monthly, 106(6), 534–552.
Sfard, A. (2009). What’s all the fuss about gestures: A commmentary. Special issue on gestures and multimodality in the construction of mathematical meaning. Educational Studies in Mathematics, 70, 191–200.
Smail, D. L. (2008). On deep history and the brain. Berkeley: Caravan Books/University of California Press.
Sørensen, H. K. (2010). Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm. In B. Löwe & T. Müller (Eds.), PhiMSAMP. Philosophy of mathematics: Sociological aspects and mathematical practice. Texts in Philosophy (Vol. 11, pp. 341–360). London: College Publications.
Yandell, B. (2002) The honors class. Natick: A K Peters.
Acknowledgements
I owe many people thanks for helping refine my thoughts on this subject over many years. Four I must mention by name: my long-standing collaborators Brailey Sims, Richard Crandall and David Bailey, and my business partner Ron Fitzgerald from MathResources, who has taught me a lot about balancing pragmatism and idealism in educational technology—among other things. I also thank Henrik Sørensen whose thought-provoking analysis gave birth to the title and the thrust of the paper, and my student Chris Maitland who built most of the Cinderella applets.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2012 The Author(s)
About this chapter
Cite this chapter
Borwein, J.M. (2012). Exploratory Experimentation: Digitally-Assisted Discovery and Proof. In: Hanna, G., de Villiers, M. (eds) Proof and Proving in Mathematics Education. New ICMI Study Series, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2129-6_4
Download citation
DOI: https://doi.org/10.1007/978-94-007-2129-6_4
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-2128-9
Online ISBN: 978-94-007-2129-6
eBook Packages: Humanities, Social Sciences and LawEducation (R0)