Cognitive Development of Proof

New ICMI Study Series

Volumn 15, Issue , 2012, Pages 13-49

  Tall, David ^a   Yevdokimov, Oleksiy ^b   Koichu, Boris ^c   Whiteley, Walter ^d   Kondratieva, Margo ^e   Cheng, Ying Hao ^f  

^a UNIVERSITY OF WARWICK   (United Kingdom)

^b UNIVERSITY OF SOUTHERN QUEENSLAND   (Australia)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^d YORK UNIVERSITY   (Canada)

^e MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

^f UNIVERSITY OF TAIPEI   (Taiwan)

Author keywords

Euclidean Geometry; Formal Proof; Knowledge Structure; Mathematical Proof; Mathematical Thinking

Indexed keywords

EID: 85067968587     PISSN: 13876872     EISSN: 22151745     Source Type: Book Series    
DOI: 10.1007/978-94-007-2129-6_2     Document Type: Chapter

References (79)

1. Alcock, L., & Weber, K. (2004). Semantic and syntactic proof productions. Educational Studies in Mathematics, 56, 209–234.
2. Antonini, S. (2001). Negation in mathematics: Obstacles emerging from an exploratory study. In M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education (Vol. 2, pp. 49–56). Utrecht, The Netherlands: Utrecht University.
3. Arnold, V. I. (2000). Polymathematics: Is mathematics a single science or a set of arts? In Mathematics: Frontiers and perspectives (pp. 403–416). Providence: American Mathematical Society.
4. Bass, H. (2009). How do you know that you know? Making believe in mathematics. Distinguished University Professor Lecture given at the University of Michigan on March 25, 2009. Retrieved from the internet on January 30, 2011, from http://deepblue.lib.umich.edu/bitstream/2027.42/64280/1/Bass-2009.pdf.
5. Boas, R. P. (1981). Can we make mathematics intelligible? The American Mathematical Monthly, 88(10), 727–773.
6. Bruner, J. S. (1966). Towards a theory of instruction. Cambridge: Harvard University Press.
7. Burton, L. (2002). Recognising commonalities and reconciling differences in mathematics educa-tion. Educational Studies in Mathematics, 50(2), 157–175.
8. Byers, W. (2007). How mathematicians think. Princeton: Princeton University Press.
9. Byrne, R. M. J., & Johnson-Laird, P. N. (1989). Spatial reasoning. Journal of Memory and Language, 28, 564–575.
10. Dawson, J. (2006). Why do mathematicians re-prove theorems? Philosophia Mathematica, 14(3), 269–286.
11. Dehaene, S. (1997). The number sense: How the mind creates mathematics. New York: Oxford University Press.
12. Dreyfus, T., & Eisenberg, T. (1986). On the aesthetics of mathematical thoughts. For the Learning of Mathematics, 6(1), 2–10.
13. Alibert, D. (1988). Toward new customs in the classrooms. For the Learning of Mathematics, 8(2), 31–43.
14. Duffin, J. M., & Simpson, A. P. (1993). Natural, conflicting and alien. The Journal of Mathematical Behavior, 12(4), 313–328.
15. Duffin, J. M., & Simpson, A. P. (1995). A theory, a story, its analysis, and some implications. The Journal of Mathematical Behavior, 14, 237–250.
16. Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathemat-ics. Educational Studies in Mathematics, 61, 103–131.
17. Epp, S. (1998). A unified framework for proof and disproof. Mathematics Teacher, 91(8), 708–713.
18. Fischbein, E. (1993). The theory of figural concepts. Educational Studies in Mathematics, 24, 139–162.
19. Alibert, D. (1988). Toward new customs in the classrooms. For the Learning of Mathematics, 8(2), 31–43
20. Flener, F. (2006). The Guinea pigs after 60 years. Philadelphia: Xlibris Corporation.
21. Freudenthal, H. (1973). Mathematics as an educational task. Dordrecht: Reidel Publishing Company.
22. Goldin, G. (1998). Representational systems, learning, and problem solving in mathematics. The Journal of Mathematical Behavior, 17(2), 137–165.
23. Gray, E. M., & Tall, D. O. (1994). Duality, ambiguity and flexibility: A proceptual view of simple arithmetic. Journal for Research in Mathematics Education, 26(2), 115–141.
24. Harel, G., & Sowder, L. (1998). Student’s proof schemes: Results from exploratory studies. In A. Schoenfeld, J. Kaput, & E. Dubinsky (Eds.), Research in collegiate mathematics education III (pp. 234–283). Providence: American Mathematical Society.
25. Harel, G., & Sowder, L. (2005). Advanced mathematical thinking at any age: Its nature and its development. Mathematical Thinking and Learning, 7, 27–50.
26. Healy, L., & Hoyles, C. (1998). Justifying and proving in school mathematics. Summary of the results from a survey of the proof conceptions of students in the UK (Research Report, pp. 601–613). London: Mathematical Sciences, Institute of Education, University of London.
27. Henderson, D. W., & Taimina, D. (2005). Experiencing geometry: Euclidean and Non-Euclidean with history (3rd ed.). Upper Saddle River: Prentice Hall.
28. Hershkowitz, R. & Vinner, S. (1983). The role of critical and non-critical attributes in the concept image of geometrical concepts. In R. Hershkowitz (Ed.), Proceedings of the 7th International Conference of the International Group for the Psychology of Mathematics Education (pp. 223–228). Weizmann Institute of Science: Rehovot.
29. Hilbert, D. (1900). The problems of mathematics. The Second International Congress of Mathematics. Retrieved from the internet on January 31, 2010, from http://aleph0.clarku. edu/~djoyce/hilbert/problems.html
30. Hilbert, D. (1928/1967). The foundations of mathematics. In J. Van Heijenoort (Ed.), From Frege to Gödel (p. 475). Cambridge: Harvard University Press.
31. Hoffmann, D. (1998). Visual Intelligence: How we change what we see. New York: W.W Norton. 1998.
32. Housman, D., & Porter, M. (2003). Proof schemes and learning strategies of above-average mathematics students. Educational Studies in Mathematics, 53(2), 139–158.
33. Johnson, M. (1987). The body in the mind: The bodily basis of meaning, imagination, and reason. Chicago: Chicago University Press.
34. Joyce, D. E. (1998). Euclid’s elements. Retrieved from the internet on January 30, 2011, from http://aleph0.clarku.edu/~djoyce/java/elements/elements.html
35. Alibert, D. (1988). Toward new customs in the classrooms. For the Learning of Mathematics, 8(2), 31–43.
36. Koichu, B. (2009). What can pre-service teachers learn from interviewing high school students on proof and proving? (Vol. 2, 9–15).*
37. Koichu, B., & Berman, A. (2005). When do gifted high school students use geometry to solve geometry problems? Journal of Secondary Gifted Education, 16(4), 168–179.
38. Kondratieva, M. (2009). Geometrical sophisms and understanding of mathematical proofs (Vol. 2, pp. 3–8).*
39. Lakoff, G. (1987). Women, fire, and dangerous things: What categories reveal about the mind. Chicago: Chicago University Press.
40. Lakoff, G., & Johnson, M. (1999). Philosophy in the flesh. New York: Basic Books.
41. Lakoff, G., & Núñez, R. (2000). Where mathematics comes from: How the embodied mind brings mathematics into being. New York: Basic Books.
42. Lawler, R. W. (1980). The progressive construction of mind. Cognitive Science, 5, 1–34.
43. Lénárt, I. (2003). Non-Euclidean adventures on the Lénárt sphere. Emeryville: Key Curriculum Press.
44. Leron, U. (1985). A direct approach to indirect proofs. Educational Studies in Mathematics, 16(3), 321–325.
45. Lin, F. L., Cheng, Y. H. et al. (2003). The competence of geometric argument in Taiwan adoles-cents. In Proceedings of the International Conference on Science and Mathematics Learning (pp. 16–18). Taipei: National Taiwan Normal University.
46. MacLane, S. (1994). Responses to theoretical mathematics. Bulletin (new series) of the American Mathematical Society, 30(2), 190–191.
47. 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.
48. Mason, J., Burton, L., & Stacey, K. (1982). Thinking mathematically. London: Addison Wesley.
49. Meltzoff, A. N., Kuhl, P. K., Movellan, J., & Sejnowski, T. J. (2009). Foundations for a new science of learning. Science, 325, 284–288.
50. National Council of Teachers of Mathematics. (1989). Curriculum and evaluation standards for school mathematics. Reston: NCTM.
51. National Council of Teachers of Mathematics. (2000). Principles and standards for school mathematics. Reston: NCTM.
52. Neto, T., Breda, A., Costa, N., & Godino, J. D. (2009). Resorting to Non–Euclidean plane geometries to develop deductive reasoning: An onto–semiotic approach (Vol. 2, pp. 106–111).*
53. Núñez, R., Edwards, L. D., & Matos, J. F. (1999). Embodied cognition as grounding for situated-ness and context in mathematics education. Educational Studies in Mathematics, 39, 45–65.
54. Paivio, A. (1991). Dual coding theory: Retrospect and current status. Canadian Journal of Psychology, 45, 255–287.
55. Papert, S. (1996). An exploration in the space of mathematics educations. International Journal of Computers for Mathematical Learning, 1(1), 95–123.
56. Parker, J. (2005). R. L. Moore: Mathematician and teacher. Washington, DC: Mathematical Association of America.
57. Pinto, M. M. F. (1998). Students’ understanding of real analysis. PhD thesis, University of Warwick, Coventry.
58. Pinto, M. M. F., & Tall, D. O. (1999). Student constructions of formal theory: Giving and extracting meaning. In O. Zaslavsky (Ed.), Proceedings of the 23rd Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, pp. 65–73). Haifa, Israel: Technion-Israel Institute of Technology.
59. Pirie, S., & Kieren, T. (1994). Growth in mathematical understanding: How can we characterize it and how we can represent it? Educational Studies in Mathematics, 26(2–3), 165–190.
60. Poincaré, H. (1913/1982). The foundations of science (G. B. Halsted, Trans.). The Science Press (Reprinted: Washington, DC: University Press of America).
61. Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(1), 5–41.
62. Reid, D., & Dobbin, J. (1998). Why is proof by contradiction difficult? In A. Olivier & K. Newstead (Eds.), Proceedings of the 22nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, pp. 41–48). Stellenbosch, South Africa: University of Stellenbbosch.
63. Reiss, K. (2005) Reasoning and proof in geometry: Effects of a learning environment based on heuristic worked-out examples. In 11th Biennial Conference of EARLI, University of Cyprus, Nicosia.
64. Rodd, M. M. (2000). On mathematical warrants. Mathematical Thinking and Learning, 2(3), 221–244.
65. Rota, G. C. (1997). Indiscrete thoughts. Boston: Birkhauser.
66. Senk, S. L. (1985). How well do students write geometry proofs? Mathematics Teacher, 78(6), 448–456.
67. Sfard, A. (1991). On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics, 22, 1–36.
68. Shapiro, S. (1991). Foundations without foundationalism: A case for second-order logic. Oxford: Clarendon.
69. Tall, D. O. (1979). Cognitive aspects of proof, with special reference to the irrationality of √2. In Proceedings of the 3rd Conference of the International Group for the Psychology of Mathematics Education (pp. 203–205).Warwick, UK: University of Warwick.
70. Tall, D. O. (2004). Thinking through three worlds of mathematics. In M. J. Hoines and A. Fuglestad (Eds.), Proceedings of the 28th Conference of the International Group for the Psychology of Mathematics Education (Vol.4, pp. 281–288). Bergen, Norway, Bergen University College.
71. Tall, D. O. (2008). The transition to formal thinking in mathematics. Mathematics Education Research Journal, 20(2), 5–24.
72. Tall, D. O. (2012, under review). How humans learn to think mathematically.
73. Tall, D. O., & Vinner, S. (1981). Concept image and concept definition in mathematics with particular reference to limits and continuity. Educational Studies in Mathematics, 12(2), 151–169.
74. Van Hiele, P. M. (1986). Structure and insight. New York: Academic.
75. Van Hiele-Geldof, D. (1984). The didactics of geometry in the lowest class of secondary school. In D. Fuys, D. Geddes, & R. Tischler (Eds.), English translation of selected writings of Dina van Hiele-Geldof and Pierre M. van Hiele. Brooklyn: Brooklyn College (Original work published 1957).
76. Weber, K. (2001). Student difficulty in constructing proofs: The need for strategic knowledge. Educational Studies in Mathematics, 48(1), 101–119.
77. Weber, K. (2004). Traditional instruction in advanced mathematics courses: A case study of one professor’s lectures and proofs in an introductory real analysis course. The Journal of Mathematical Behavior, 23, 115–133.
78. Yevdokimov, O. (2008). Making generalisations in geometry: Students’ views on the process. A case study. In O. Figueras, J. L. Cortina, S. Alatorre, T. Rojano & A. Sepulova (Eds.), Proceedings of the 32nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, pp. 441–448). Morelia, Mexico: Cinvestav-UMSNH.
79. Yevdokimov, O. (in preparation). Mathematical concepts in early childhood.