Skip to main content

Proofs as Bearers of Mathematical Knowledge

  • Chapter
  • First Online:
Explanation and Proof in Mathematics

Abstract

Yehuda Rav’s inspiring paper “Why do we prove theorems?” published in Philosophia Mathematica (1999; 7: 5–41) has interesting implications for mathematics education. We examine Rav’s central ideas on proof – that proofs convey important elements of mathematics such as strategies and methods, that it is “proofs rather than theorems that are the bearers of mathematical knowledge” and thus that proofs should be the primary focus of mathematical interest – and then discuss their significance for mathematics education in general and for the teaching of proof in particular.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Avigad, J. (2006). Mathematical method and proof. Synthese, 153(1), 105–159.

    Article  Google Scholar 

  • Balacheff, N. (2004). The researcher epistemology: a deadlock from educational research on proof. Retrieved April 2007 from http://www-leibniz.imag.fr/NEWLEIBNIZ/LesCahiers/Cahiers2004/Cahier2004.xhtml.

  • Barbeau, E. (1988). Which method is best? Mathematics Teacher, 81, 87–90.

    Google Scholar 

  • Bell, A. (1976). A study of pupils’ proof-explanations in mathematical situations. Educational Studies in Mathematics, 7, 23–40.

    Article  Google Scholar 

  • Bressoud, D. M. (1999). Proofs and confirmations: The story of the alternating sign matrix conjecture. Cambridge: Cambridge University Press.

    Google Scholar 

  • Bressoud, D., & Propp, J. (1999). How the alternating sign matrix conjecture was solved. Notices of the AMS, 46(6), 637–646.

    Google Scholar 

  • Corfield, D. (2003). Towards a Philosophy of Real Mathematics. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Dawson, J. W. (2006). Why do mathematicians re-prove theorems? Philosophia Mathematica, 14, 269–286.

    Article  Google Scholar 

  • DeVilliers, M. (1990). The role and function of proof in mathematics. Pythagoras, 24, 7–24.

    Google Scholar 

  • Fischbein, E. (1982). Intuition and proof. For the Learning of Mathematics, 3(2), 9–18. 24.

    Google Scholar 

  • Fischbein, E. (1999). Intuition and schemata in mathematical reasoning. Educational Studies in Mathematics, 38(1–3), 11–50.

    Article  Google Scholar 

  • Hanna, G. (1990). Some pedagogical aspects of proof. Interchange, 21(1), 6–13.

    Article  Google Scholar 

  • Hanna, G. (1997). The ongoing value of proof in mathematics education. Journal für Mathematik Didaktik, 97(2/3), 171–185.

    Google Scholar 

  • Hanna, G. (2000). Proof, explanation and exploration: An overview. Educational Studies in Mathematics, 44(1–2), 5–23. Special issue on “Proof in Dynamic Geometry Environments”.

    Article  Google Scholar 

  • Hoyles, C. (1997). The curricular shaping of students’ approaches to proof. For the Learning of Mathematics, 17(1), 7–16.

    Google Scholar 

  • Inglis, M., Mejia-Ramos, J. P., & Simpson, A. (2007). Modelling mathematical argumentation: The importance of qualification. Educational Studies in Mathematics, 66(1), 3–21.

    Article  Google Scholar 

  • Jahnke, H. N. (2007). Proofs and hypotheses. ZDM. The International Journal on Mathematics Education, 39(1–2), 79–86.

    Article  Google Scholar 

  • Jones, K., Gutiérrez, A., & Mariotti, M. A. (Eds.) (2000). Proof in dynamic geometry environments. Educational Studies in Mathematics, 44(1–2); Special issue.

    Google Scholar 

  • Lucast, E. (2003). Proof as method: A new case for proof in mathematics curricula. Unpublished masters thesis, Carnegie Mellon University, Pittsburgh, PA.

    Google Scholar 

  • Maher, C. A., & Martino, A. M. (1996). The development of the idea of mathematical proof: A 5-year case study. Journal for Research in Mathematics Education, 27(2), 194–214.

    Article  Google Scholar 

  • Mariotti, A. (2006). Proof and proving in mathematics education. In A. Gutiérrez & P. Boero (Eds.), Handbook of research on the psychology of mathematics education: Past, present and future (pp. 173–204). Rotterdam/Taipei: Sense Publishers.

    Google Scholar 

  • Moreno-Armella, L., & Sriraman, B. (2005). Structural stability and dynamic geometry: some ideas on situated proof. International Reviews on Mathematical Education., 37(3), 130–139.

    Google Scholar 

  • Pedemonte, B. (2007). How can the relationship between argumentation and proof be analysed? Educational Studies in Mathematics, 66(1), 23–41.

    Article  Google Scholar 

  • Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(1), 5–41.

    Google Scholar 

  • Reiss, K., & Renkl, A. (2002). Learning to prove: The idea of heuristic examples. Zentralblatt für Didaktikt der Mathematik, 34, 29–35.

    Article  Google Scholar 

  • Selden, J., & Selden, A. (1995). Unpacking the logic of mathematical statements. Educational Studies in Mathematics, 29(2), 123–151.

    Article  Google Scholar 

  • Sowder, L., & Harel, G. (2003). Case studies of mathematics majors’ proof understanding, ­production, and appreciation. Canadian Journal of Science, Mathematics and Technology Education, 3(2), 251–267.

    Article  Google Scholar 

  • Tall, D. (1998). The cognitive development of proof: Is mathematical proof for all or for some. Paper presented at the UCSMP Conference, Chicago.

    Google Scholar 

  • Yackel, E., & Hanna, G. (2003). Reasoning and proof. In J. Kilpatrick, W. G. Martin & D. Schifter (Eds.), A research companion to principles and standards for school mathematics (pp. 227–236). Reston, VA: National Council of Teachers of Mathematics.

    Google Scholar 

Download references

Acknowledgements

Preparation of this paper was supported in part by the Social Sciences and Humanities Research Council of Canada. We are grateful to Ella Kaye and Ysbrand DeBruyn for their assistance. We wish to thank the anonymous reviewers for their helpful comments.

A previous version appeared in ZDM, The International Journal on Mathematics Education 2008;40(3):345–353. It is reproduced by permission from Springer.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gila Hanna .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Hanna, G., Barbeau, E. (2010). Proofs as Bearers of Mathematical Knowledge. In: Hanna, G., Jahnke, H., Pulte, H. (eds) Explanation and Proof in Mathematics. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0576-5_7

Download citation

Publish with us

Policies and ethics