# Doctoral students’ use of examples in evaluating and proving conjectures

- 488 Downloads
- 28 Citations

## Abstract

This paper discusses variation in reasoning strategies among expert mathematicians, with a particular focus on the degree to which they use examples to reason about general conjectures. We first discuss literature on the use of examples in understanding and reasoning about abstract mathematics, relating this to a conceptualisation of syntactic and semantic reasoning strategies relative to a representation system of proof. We then use this conceptualisation as a basis for contrasting the behaviour of two successful mathematics research students whilst they evaluated and proved number theory conjectures. We observe that the students exhibited strikingly different degrees of example use, and argue that previously observed individual differences in reasoning strategies may exist at the expert level. We conclude by discussing implications for pedagogy and for future research.

## Keywords

Examples Generic examples Number theory Proof Reasoning Strategies## Notes

### Acknowledgements

We thank Pablo Mejia-Ramos, Dina Tirosh and Rina Zazkis for valuable comments on earlier drafts of this work.

## References

- Alcock, L. (2008). Mathematicians’ perspectives on the teaching and learning of proof. In F. Hitt, D. A. Holton, & P. Thompson (Eds.),
*Research in Collegiate Mathematics Education**VII*(pp. 73–100). Providence, RI: American Mathematical Society.Google Scholar - Alcock, L., & Simpson, A. (2004). Convergence of sequences and series: Interactions between visual reasoning and the learner's beliefs about their own role.
*Educational Studies in Mathematics*,*57*, 1–32. doi: 10.1023/B:EDUC.0000047051.07646.92.CrossRefGoogle Scholar - Alcock, L., & Simpson, A. (2005). Convergence of sequences and series 2: Interactions between nonvisual reasoning and the learner's beliefs about their own role.
*Educational Studies in Mathematics*,*58*, 77–100. doi: 10.1007/s10649-005-2813-5.CrossRefGoogle Scholar - Alcock, L., & Weber, K. (2008). Referential and syntactic approaches to proving: Case studies from a transition-to-proof course. In F. Hitt, D. A. Holton, & P. Thompson (Eds.),
*Research in Collegiate Mathematics Education**VII*(pp. 101–123). Providence, RI: American Mathematical Society.Google Scholar - Balacheff, N. (1987). Processus de preuves et situations de validation.
*Educational Studies in Mathematics*,*18*, 147–176. doi: 10.1007/BF00314724.CrossRefGoogle Scholar - Bills, L., & Rowland, T. (1999). Examples, generalization and proof. In L. Brown (Ed.),
*Making meaning in mathematics: A collection of extended and refereed papers from the British Society for Research into Learning Mathematics, Visions of Mathematics 2, Advances in Mathematics Education 1*(pp. 103–116). York: QED.Google Scholar - Bromley, D. B. (1986).
*The case-study method in psychology and related disciplines*. Chichester: Wiley.Google Scholar - Burton, L. (2004).
*Mathematicians as enquirers: Learning about learning mathematics*. Dordrecht: Kluwer.Google Scholar - Cook, S. W., Mitchell, Z., & Goldin-Meadow, S. (2008). Gesturing makes learning last.
*Cognition*,*106*, 1047–1058. doi: 10.1016/j.cognition.2007.04.010.CrossRefGoogle Scholar - Dahlberg, R. P., & Housman, D. L. (1997). Facilitating learning events through example generation.
*Educational Studies in Mathematics*,*33*, 283–299. doi: 10.1023/A:1002999415887.CrossRefGoogle Scholar - Dubinsky, E. (1991). Reflective abstraction in advanced mathematical thinking. In D. Tall (Ed.),
*Advanced mathematical thinking*(pp. 95–126). Dordrecht: Kluwer.Google Scholar - Ginsburg, H. (1981). The clinical interview in psychological research on mathematical thinking: Aims, rationales, techniques.
*For the Learning of Mathematics*,*1*(1), 4–11.Google Scholar - Goldin, G. A. (1998). Representational systems, learning, and problem solving in mathematics.
*The Journal of Mathematical Behavior*,*17*, 137–165. doi: 10.1016/S0364-0213(99)80056-1.CrossRefGoogle Scholar - Goldin, G. A., & Kaput, J. J. (1996). A joint perspective on the idea of representation in learning and doing mathematics. In L. P. Steffe, P. Nesher, P. Cobb, G. A. Goldin, & B. Greer (Eds.),
*Theories of mathematical learning*. Hillsdale, NJ: Erlbaum.Google Scholar - Greiffenhagen, C., & Sharrock, W. (2005). Gestures in the blackboard work of mathematics instruction.
*Proceedings of 2nd Conference of the International Society for Gesture Studies*, Lyon, France, June 15–18, 2005.Google Scholar - Hadamard, J. (1945).
*The psychology of invention in the mathematical field (1954 ed.)*. New York: Dover.Google Scholar - Harel, G. (2001). The development of mathematical induction as a proof scheme: A model for DNR-based instruction. In S. Campbell, & R. Zazkis (Eds.),
*Learning and teaching number theory: Research in cognition and instruction*(pp. 185–212). Westport, CT: Ablex.Google Scholar - Inglis, M., Mejia-Ramos, J. P., & Simpson, A. (2007). Modelling mathematical argumentation: The importance of qualification.
*Educational Studies in Mathematics*,*66*, 3–21. doi: 10.1007/s10649-006-9059-8.CrossRefGoogle Scholar - Markowitz, L. M., and Tweney, R. D. (1981, May).
*An investigation of the behaviour of mathematicians engaged in testing a conjecture.*Presented at Midwestern Psychological Association, Detroit, MI.Google Scholar - Mason, J., & Pimm, D. (1984). Generic examples: Seeing the general in the particular.
*Educational Studies in Mathematics*,*15*, 277–289. doi: 10.1007/BF00312078.CrossRefGoogle Scholar - Mason, J., & Watson, A. (2001). Stimulating students to construct boundary examples.
*Questiones Mathematicae*,*Suppl. 1*,*Supplement*, 123–132.Google Scholar - Michener, E. R. (1978). Understanding understanding mathematics.
*Cognitive Science*,*2*, 361–383.CrossRefGoogle Scholar - Pinto, M., & Tall, D. (1999). Student constructions of formal theories: Giving and extracting meaning. In O. Zaslavsky (Ed.),
*Proceedings of the 23rd Conference of the International Group for the Psychology of Mathematics Education.*(Vol 1, pp. 281–288), Israel, Haifa.Google Scholar - Pinto, M., & Tall, D. O. (2002). Building formal mathematics on visual imagery: A case study and a theory.
*For the Learning of Mathematics*,*22*, 2–10.Google Scholar - Poincaré, H. (1905).
*Science and hypothesis*. London: Scott.Google Scholar - Rowland, T. (2001). Generic proofs in number theory. In S. Campbell, & R. Zazkis (Eds.),
*Learning and teaching number theory: Research in cognition and instruction*(pp. 157–183). Westport, CT: Ablex.Google Scholar - Selden, J., & Selden, A. (1995). Unpacking the logic of mathematical statements.
*Educational Studies in Mathematics*,*29*, 123–151. doi: 10.1007/BF01274210.CrossRefGoogle Scholar - Selden, A., & Selden, J. (2001). Reflections on mathematics education research questions in elementary number theory. In S. Campbell, & R. Zazkis (Eds.),
*Learning and teaching number theory: Research in cognition and instructio*n (pp. 213–230). Westport, CT: Ablex.Google Scholar - Selden, J., & Selden, A. (2003). Validation of proofs considered as texts: can undergraduates tell whether an argument proves a theorem?
*Journal for Research in Mathematics Education*,*34*, 4–36.CrossRefGoogle Scholar - Stylianou, D. A. (2002). Interaction of visualization and analysis – the negotiation of a visual representation in problem solving.
*The Journal of Mathematical Behavior*,*21*, 303–317. doi: 10.1016/S0732-3123(02)00131-1.CrossRefGoogle Scholar - Vinner, S. (1991). The role of definitions in teaching and learning mathematics. In D. O. Tall (Ed.),
*Advanced mathematical thinking*(pp. 65–81). Dordrecht: Kluwer.Google Scholar - Watson, A., & Mason, J. H. (2002). Extending example spaces as a learning strategy in mathematics. In A. Cockburn & E. Nardi (Eds.),
*Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education*. (Vol 4, pp. 377–384), Norwich, UK.Google Scholar - Watson, A., & Mason, J. (2005).
*Mathematics as a constructive activity: Learners generating examples*. Mahwah, NJ: Erlbaum.Google Scholar - Weber, K. (2008). How mathematicians determine if an argument is a valid proof.
*Journal for Research in Mathematics Education*,*39*, 431–459.Google Scholar - Weber, K., & Alcock, L. (2008). Syntactic and semantic reasoning processes in advanced mathematics. In M. Blanton, D. Stylianou, and E. Knuth (Eds.)
*A proof story across the grades*(in press).Google Scholar - Weber, K., & Alcock, L. (2004). Semantic and syntactic proof productions.
*Educational Studies in Mathematics*,*56*, 209–234. doi: 10.1023/B:EDUC.0000040410.57253.a1.CrossRefGoogle Scholar - Weber, K., Alcock, L., & Radu, I. (2005). Undergraduates’ use of examples in a transition-to-proof course. In S. Wilson (Ed.)
*Proceedings of the 26th Conference for the North American Chapter of the Psychology of Mathematics Education*. Roanoke, VA.Google Scholar - Yin, R. K. (2003).
*Case study research: Design and methods*(3rd ed.). London: Sage.Google Scholar - Zazkis, R. (2001). Language of number theory: Metaphor and rigor. In S. Campbell, & R. Zazkis (Eds.),
*Learning and teaching number theory: Research in cognition and instruction*(pp. 83–95). Westport, CT: Ablex.Google Scholar