Proof, Explanation and Exploration: An Overview

This paper explores the role of proof in mathematics education and providesjustification for its importance in the curriculum. It also discusses threeapplications of dynamic geometry software – heuristics, exploration andvisualization – as valuable tools in the teaching of proof and as potentialchallenges to the importance of proof. Finally, it introduces the four papers in this issue that present empirical research on the use of dynamicgeometry software.

[1]  G. Pólya,et al.  How to Solve It. A New Aspect of Mathematical Method. , 1945 .

[2]  A. Bell,et al.  A study of pupils' proof-explanations in mathematical situations , 1976 .

[3]  Yu. I. Manin,et al.  Course in mathematical logic , 1977, Graduate texts in mathematics.

[4]  Gila Hanna,et al.  Rigorous proof in mathematics education , 1983 .

[5]  C. Hirsch.  Curriculum and Evaluation Standards for School Mathematics , 1988 .

[6]  M. Villiers.  The role and function of proof in mathematics , 1990 .

[7]  Gila Hanna,et al.  Some pedagogical aspects of proof , 1990 .

[8]  J. Barwise,et al.  Visual information and valid reasoning , 1991 .

[9]  A. Jaffe,et al.  “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics , 1993, math/9307227.

[10]  R. Hersh.  Proving is convincing and explaining , 1993 .

[11]  Marcus Giaquinto,et al.  Epistemology of Visual Thinking in Elementary Real Analysis , 1994, The British Journal for the Philosophy of Science.

[12]  Michael Atiyah,et al.  Responses to `Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics', by A. Jaffe and F. Quinn , 1994, math/9404229.

[13]  W. Thurston.  On Proof and Progress in Mathematics , 1994, math/9404236.

[14]  Richard Noss,et al.  Structure and Ideology in the Mathematics Curriculum. , 1994 .

[15]  Jon Barwise,et al.  Heterogeneous logic , 1996 .

[16]  G. Francis,et al.  Mathematical Vkualization: Standing at the Crossroads , 1996, Proceedings of Seventh Annual IEEE Visualization '96.

[17]  Martin A. Simon,et al.  Justification in the mathematics classroom: A study of prospective elementary teachers , 1996 .

[18]  G. Hanna,et al.  Proof and Proving , 1996 .

[19]  D. Villiers,et al.  Rethinking Proof With the Geometer's Sketchpad , 1999 .

[20]  Y. Rav.  Why Do We Prove Theorems , 1999 .

[21]  Richard S. Palais,et al.  The Visualization of Mathematics: Towards a Mathematical Exploratorium , 1999 .

[22]  Hung-Hsi Wu.  The Mathematician and the Mathematics Education Reform , 2000 .

[23]  William G. Faris.  Philosophy of Mathematics : An Introduction to the World of Proofs and Pictures , 2000 .

[24]  Peter B. Borwein,et al.  Visible Structures in Number Theory , 2001, Am. Math. Mon..