Abstract
In contemporary mathematical practice, the primary importance of proof is the advantage it provides to users: proofs enable very high levels of reliability. This essay explores use of this sort of proof, and methods mathematicians use to implement them, in pre-college mathematics. Examples include methods for multiplying integers (including large ones), multiplication of polynomials, solving equations, and standardizing quadratic functions. The point of view also reveals drawbacks of real-world applications (word problems).
Notes
- 1.
First, Outer, Inner, Last.
- 2.
Tests with this sort of functionality are a goal of the EduTE X project (Quinn 2009).
- 3.
A term from the computational software community, where this is a serious problem.
References
Hanna, G., & Barbeau, E. (2008). Proofs as bearers of mathematical knowledge. Mathematics Education, 40, 345–353.
Jaffe, A., & Quinn, F. (1993). Theoretical Mathematics: Towards a synthesis of mathematics and theoretical physics. Bulletin of the American Mathematical Society, 29, 1–13.
Lin, C.-C. (2009). How can the game of hex be used to inspire students in learning mathematical reasoning? Proceedings of ICMI Study 19 Conference, National Taiwan Normal University, Taipei, Taiwan.
Mannila, L., & Wallin, S. (2009). Promoting students’ justification skills using structured derivations. Proceedings of ICMI Study 19 Conference, National Taiwan Normal University, Taipei, Taiwan.
Peltomaki, M., & Back, R.-J. (2009). An empirical evaluation of structured derivations in high school mathematics. Proceedings of ICMI Study 19 Conference, National Taiwan Normal University, Taipei, Taiwan.
Quinn, F. (2009). The EduTE X project. Wiki at http://www.edutex.tug.org.
Quinn, F. (2010). Education web page. http://www.math.vt.edu/people/quinn/education/.
Quinn, F. (2011a). Towards a science of contemporary mathematics. Draft February 2011, Retrieve from: http://www.math.vt.edu/people/quinn/education/.
Quinn, F. (2011b). Contributions to a science of mathematics education, Draft February 2011. Retrieve from: http://www.math.vt.edu/people/quinn/education/.
Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(3), 5–41.
Thurston, W. (1994). On proof and progress in mathematics. Bulletin of the American Mathematical Society, 30, 161–177.
Wanko, J. J. (2009). talking points: experiencing deductive reasoning through puzzle discussions. Proceedings of ICMI Study 19 Conference, National Taiwan Normal University, Taipei, Taiwan.
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
Quinn, F. (2012). Contemporary Proofs for Mathematics Education. 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_10
Download citation
DOI: https://doi.org/10.1007/978-94-007-2129-6_10
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)