Abstract
Generalization and proof are defining activities within mathematics, yet the focus of "school" proof has often been on form over meaning, on established results rather than exploration and discovery. Computer-based microworlds offer opportunities for students to notice and describe patterns, formulate generalizations, and generate and test mathematics conjectures. This paper examines the work of a group of middle and high school students who used a microworld for transformation geometry to investigate the composition of reflections. The students‘conjectures are described in terms of a learning paths chart for the task, as well as through a detailed analysis of the work of one pair of students. A general scheme for describing informal exploration and reasoning prior to formal proof is offered, and the role of social support in the learning of proof is discussed.
Similar content being viewed by others
REFERENCES
Alibert, D. and Thomas, M. (1991). Research on mathematical proof. In D. Tall (Ed.), Advanced Mathematical Thinking(pp. 215–230). The Netherlands: Kluwer.
Balacheff, N. (1988a). A study of pupils’ proving processes at the junior high school level. Paper presented at the Annual Meeting of the American Educational Research Association, New Orleans. In Offprint of English Papers, Grenoble, France: Equipe de Didactique des Mathématiques et de l’Informatique, Université Joseph Fourier.
Balacheff, N. (1998b). Aspects of proof in pupils’ practice of school mathematics. In D. Pimm (Ed.), Mathematics, Teachers and Children(pp. 216–235). London: Hodder and Stoughton.
Balacheff, N. (1990). Towards a problematiquefor research on mathematics teaching. Journal for Research in Mathematics Education21: 258–272.
Balacheff, N. (1991). The benefits and limits of social interaction: The case of mathematical proof. In A. Bishop, S. Mellin-Olsen and J. van Dormolen (Eds.), Mathematical Knowledge: Its Growth Through Teaching(pp. 175–194). Dordrecht (Holland): Kluwer Academic Press.
Bell, A. W. (1976). A study of pupils’ proof-explanations in mathematical situations. Educational Studies in Mathematics7: 1–40.
Chazan, D. (1990). Quasi-empirical views of mathematics and mathematics teaching. Interchange 21(1): 14–23.
Chazan, D. (1993). High school geometry students’ justification for their views of empirical evidence and mathematical proof. Educational Studies in Mathematics24: 359–387.
Clements, D. and Battista, M. (1994). Computer environments for learning geometry. Journal of Educational Computing Research10(2): 173–197.
Davis, P. and Hersh, R. (1981). The Mathematical Experience. Boston: Houghton Mifflen.
diSessa, A. (1982). Unlearning Aristotelian physics: A study of knowledge-based learning. Cognitive Science6: 37–75.
Donaldson, M. (1987). The origins of inference. In J. Bruner and H. Haste (Eds.), Making Sense(pp. 97–107). London: Methuen.
Edwards, L. (1990). Children’s learning in a computer microworld for transformation geometry. Journal for Research in Mathematics Education22(2): 122–137.
Edwards, L. (1995). Microworlds as representations. In A. diSessa, C. Hoyles and R. Noss (Eds.), Computers and Exploratory Learning(pp. 127–154). Berlin: Springer.
Ericsson, K.A. and Simon, H.A. (1980). Verbal reports as data. Psychological Review87(3): 215–251.
Fawcett, H. (1938). The Nature of Proof: A Description and Evaluation of Certain Procedures Used in a Senior High School to Develop and Understanding of the Nature of Proof. New York: Bureau of Publications, Teachers College, Columbia University.
Fischbein, E. (1987). Intuition in Science and Mathematics: An Educational Approach. Dordrecht (Holland): Reider.
Greeno, J. (1991). Number sense as situated knowing in a conceptual domain. Journal for Research in Mathematics Education22: 170–218.
Hanna, G. (1983). Rigorous Proof in Mathematical Education. Toronto: Ontario Institute for Studies in Education.
Hanna, G. (1990). Some pedagogical aspects of proof. Interchange21(1): 6–13.
Harel, G. and Sowder, L. (1996). Classifying processes of proving. In L. Puig and A. Gutierrez (Eds.), Proceedings of the Twentieth International Conference for the Psychology of Mathematics Education, Vol. 3 (pp. 59–66). Seville, Spain.
Hoyles, C. (1991). Developing mathematical knowledge through microworlds. In A. Bishop, S. Mellin-Olsen and J. van Dormolen (Eds.), Mathematical Knowledge: Its Growth Through Teaching(pp. 147–172). Dordrect (Holland): Kluwer.
Inhelder, B. and Piaget, J. (1958). The Growth of Logical Thinking. New York: Basic Books.
Kitcher, P. (1984). The Nature of Mathematical Knowledge. New York: Oxford University Press.
Lakatos, I. (1976). Proofs and Refutations. Cambridge: Cambridge University Press.
Lave, J. (1988). Cognition in Practice. Cambridge: Cambridge University Press.
Maher, C. and Martino, A. (in press). Conditions for conceptual change: From pattern recognition to theory posing. To appear in H. Mansfield (Ed.), Young Children and Mathematics: Concepts and Their Representations. Australian Association of Mathematics Teachers.
National Council of Teachers of Mathematics (1989).Curriculum and Evaluation Standards for School Mathematics. Reston, VA: NCTM.
Piaget, J. (1973). Comments on mathematical education. In A.G. Howson (Ed.), Developments in Mathematical Education(pp. 79–87). Cambridge: Cambridge University Press.
Polya, G. (1981). Mathematical Discovery: On Understanding, Learning, and Teaching Problem Solving(Combined Edition). New York: Wiley & Sons.
Rogoff, B. and Lave, J. (1984). Everyday Cognition. Cambridge, MA: Harvard University Press.
Schoenfeld, A. (1991). On mathematics as sense-making: An informal attack on the unfortunate divorce of formal and informal mathematics. In J. Voss, D. Perkins and J. Segal (Eds.), Informal Reasoning and Education(pp. 311–343). Hillsdale, NJ: Erlbaum.
Schoenfeld, A. (1994). What do we know about mathematics curricula? Journal of Mathematical Behavior13(1): 55–80.
Schwartz, J. and Yerushalmy, M. (1987). The Geometric Supposer: An intellectual prosthesis for making conjectures. The College Mathematics Journal18(1): 58–65.
Schwartz, J., Yerushalmy, M. and Gordon, M. (1985). The Geometric Supposer: Manual. New York: Sunburst Communications.
Silver E. and Kenney, P. (1993). An examination of relationships between the 1990 NAEP mathematics items for grade 8 and selected themes from the NCTM Standards. Journal for Research in Mathematics Education24(2): 159–167.
Thompson, P. (1987). Mathematical microworlds and intelligent computer-assisted instruction. In G. Kearsley (Ed.), Artificial Intelligence and Instruction: Applications and Methods(pp. 83–109). Reading, MA: Addison-Wesley.
Thurston, W. (1994). On proof and progress in mathematics. Bulletin of the American Mathematical Society30(2): 161–177.
Winchester, I. (1990). Introduction–Creativity, thought and mathematical proof. Interchange 21(1): i–vi.
Yackel, E. and Cobb, P. (1994). The development of young children’s understanding of mathematical argumentation. Paper presented at 1994 Annual Meeting of the American Educational Research Association, New Orleans, LA.
Yerushalmy, M. and Chazan, D. (1990). Overcoming visual obstacles with the aid of the Supposer. Educational Studies in Mathematics21(3): 199–219.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Edwards, L.D. Exploring the Territory Before Proof: Student‘s Generalizations in a Computer Microworld for Transformation Geometry. International Journal of Computers for Mathematical Learning 2, 187–215 (1997). https://doi.org/10.1023/A:1009711521492
Issue Date:
DOI: https://doi.org/10.1023/A:1009711521492