Proof, explanation and exploration: An overview

Educational Studies in Mathematics

Volumn 44, Issue 1-3, 2000, Pages 5-23

  Hanna, Gila ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Dynamic geometry; Proof; Technology; Visualization

Indexed keywords

EID: 27544492987     PISSN: 00131954     EISSN: 15730816     Source Type: Journal    
DOI: 10.1023/A:1012737223465     Document Type: Article

References (37)

1. Atiyah, M., et al.: 1994, 'Responses to "theoretical mathematics": Towards a cultural synthesis of mathematics and theoretical physics', Bulletin of the American Mathematical Society 30(2), 178-207.
2. Balacheff, N.: 1997, Preuve: International Newsletter on the Teaching and Learning of Mathematical Proof, in http://www-didactique.imag.fr/preuve/
3. Barnard, T., et al.: 1996, 'Teaching proof, Mathematics Teaching 155, 6-39.
4. Barwise, J. and Etchemendy, J.: 1991, 'Visual information and valid reasoning', in W. Zimmerman and S. Cunninghan (eds.), Visualization in Teaching and Learning Mathematics, The Mathematics Association of America, Washington, pp. 9-24.
5. Barwise, J. and Etchemendy, J.: 1996, 'Heterogeneous logic', in G. Allwain and J. Barwise (eds.), Logical Reasoning with Diagrams, Oxford University Press, New York, pp. 179-201.
6. Bell, A.: 1976, 'A study of pupils' proof-explanations in mathematical situations', Educaation Studies in Mathematics 7, 23-40.
7. Brown, J.R.: 1999, Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures, Routledge, London.
8. Borwein, P. and Jorgenson, L.: 1997, 'Visible structures in number theory', in http://www.cecm.sfu.ca/loki/Papers/Numbers/node3.html. Cabri Geometry II (computer software).: 1996, Texas Instruments Incorporated.
9. de Villiers, M.: 1990, 'The role and function of proof in mathematics', Pythagoras 24, 17-24.
10. de Villiers, M.: 1999, Rethinking proof with the Geometer's Sketchpad, Key Curriculum Press, Emeryville, CA.
11. Fischbein, E.: 1982, 'Intuition and proof, For the Learning of Mathematics 3(2), 9-18, 24.
12. Francis, G.: 1996, 'Mathematical visualization: Standing at the crossroads', in http://www.cecm.sfu.ca/projects/PhilVisMath/vis96panel.html
13. Giaquinto, M.: 1994, 'Epistemology of visual thinking in elementary real analysis', British Journal for the Philosophy of Science 45, 789-813.
14. Greeno, J.: 1994, 'Comments on Susanna Epp's chapter', in A. Schoenfeld (ed.), Mathematical Thinking and Problem Solving, Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 270-278.
15. Hanna, G.: 1983, Rigorous proof in mathematics education, OISE Press, Toronto.
16. Hanna, G.: 1990, 'Some pedagogical aspects of proof, Interchange 21(1), 6-13.
17. Hanna, G. and Jahnke, H.N.: 1996, 'Proof and proving', in A. Bishop, K. Clements, C. Keitel, J. Kilpatrick and C. Laborde (eds.), International Handbook of Mathematics Education, Kluwer Academic Publishers, Dordrecht, pp 877-908.
18. Hanna, G. and Jahnke, H.N.: 1999, 'Using arguments from physics to promote understanding of mathematical proofs', in O. Zaslavsky (ed.), Proceedings of the twenty-third conference of the international group for the psychology of mathematics education, Vol. 3, 73-80. Haifa, Israel.
19. Hersh, R.: 1993, 'Proving is convincing and explaining', Educational Studies in Mathematics 24(4), 389-399.
20. Jaffe, A. and Quinn, F.: 1993, '"Theoretical mathematics": Towards a cultural synthesis of mathematics and theoretical physics', Bulletin of the American Mathematical Society 29(1), 1-13.
21. Jackiw, N.: 1991, The geometer's sketchpad (computer software), Key Curriculum Press, Berkeley, CA.
22. Manin, Yu.: 1977, A course in mathematical logic, Springer-Verlag, New York.
23. Manin, Yu.: 1992, 'Contribution in panel discussion on "The theory and practice of proof", 1, Proceedings of the seventh International Congress on Mathematical Education (Montreal, Canada).
24. Manin, Yu.: 1998, 'Truth, rigour, and common sense', in H.G. Dales and G. Oliveri (eds.), Truth in Mathematics, Oxford University Press, Oxford, pp. 147-159.
25. Mason, J.: 1991, 'Questions about geometry', in D. Pimm and E. Love (eds.), Teaching and Learning Mathematics: A Reader, Holder and Stoughton, London, pp. 77-99.
26. National Council of Teachers of Mathematics (NCTM): 1989, Curriculum and Evaluation Standards for School Mathematics, Commission on Standards for School Mathematics, Reston, VA.
27. National Council of Teachers of Mathematics (NCTM): 2000, Principles and Standards for School Mathematics, Commission on Standards for School Mathematics, Reston, VA.
28. Noss, R.: 1994, 'Structure and ideology in the mathematics curriculum', For the learning of mathematics 14(1), 2-10.
29. Palais, R.S.: 1999, 'The visualization of mathematics: Toward a mathematical exploratorium', Notices of the AMS 46(6), 647-658.
30. Polya, G.: 1957, How to Solve it: A New Aspect of Mathematical Method, Doubleday, New York.
31. Rav, Y: 1999, 'Why do we prove theorems?', Philosophia Mathematica 7(3), 5-41.
32. Simon, M.A. and Blume, G.W.: 1996, 'Justification in the mathematics classroom: A study of prospective elementary teachers', The Journal of Mathematical Behavior 15, 3-31.
33. Simpson, A.: 1995, 'Developing a proving attitude', Conference Proceedings: Justifying and Proving in School Mathematics, Institute of Education, University of London, London, pp. 39-46.
34. Steiner, M.: 1978, 'Mathematical explanation', Philosophical Studies 34, 135-151.
35. Thurston, W.P.: 1994, 'On proof and progress in mathematics', Bulletin of the American Mathematical Society 30(2), 161-177.
36. Wittmann, E.C. and Muller, G.N.: 1988, 'When is a proof a proof?', Bulletin of Social Mathematics in Belgium 1, 15-40.
37. Wu, H.: 1996, 'The mathematician and the mathematics education reform', Notices of the American Mathematical Society 43(12), 1531-1537.