How syntactic reasoners can develop understanding, evaluate conjectures, and generate counterexamples in advanced mathematics

Alcock, 2004, Uses of example objects in proving, 17 Alcock, 2008, Doctoral students’ use of examples in evaluating and proving conjectures, Educational Studies in Mathematics, 69, 111, 10.1007/s10649-008-9149-x Alcock, 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, 10.1023/B:EDUC.0000047051.07646.92 Alcock, 2005, Convergence of sequences and series 2: Interactions between non-visual reasoning and the learner's beliefs about their own role, Educational Studies in Mathematics, 58, 77, 10.1007/s10649-005-2813-5 Alcock, 2009, Referential and syntactic approaches to proving: Case studies from a transition-to-proof course, Research in Collegiate Mathematics Education, 7, 101 Antonini, 2006, Graduate students’ process in generating example objects, 57 Burton, 2004 Carslon, 2005, The cyclic nature of problem solving: An emergent framework, Educational Studies in Mathematics, 58, 45, 10.1007/s10649-005-0808-x Dahlberg, 1997, Facilitating learning events through example generation, Educational Studies in Mathematics, 33, 283, 10.1023/A:1002999415887 Dreyfus, 1991, Advanced mathematical thinking processes, 25 Dreyfus, 2004, Ben's consolidation of knowledge structures about infinite sets, Journal of Mathematical Behavior, 23, 271, 10.1016/j.jmathb.2004.06.002 Gibson, 1998, Students’ use of diagrams to develop proofs in an introductory real analysis, Research in Collegiate Mathematics Education II, 284, 10.1090/cbmath/007/08 Goldin, 1998, Representational systems, learning, and problem solving in mathematics, Journal of Mathematical Behavior, 17, 137, 10.1016/S0364-0213(99)80056-1 Hadamard, 1945 Inglis, 2007, Modeling mathematical argumentation: The importance of qualification, Educational Studies in Mathematics, 66, 3, 10.1007/s10649-006-9059-8 Misfeldt, 2005, Media in mathematical writing: Can teaching learn from research practice?, For the Learning of Mathematics, 25, 36 Pinto, 1999, Student constructions of formal theories: Giving and extracting meaning, 281 Pinto, 2002, Building formal mathematics on visual imagery: A case study and a theory, For the Learning of Mathematics, 22, 2 Poincare, 1913 Raman, 2003, Key ideas: What are they and how can they help us understand how people view proof?, Educational Studies in Mathematics, 52, 319, 10.1023/A:1024360204239 Reif, 2008 Schoenfeld, 1985 Selden, 1995, Unpacking the logic of mathematical statements, Educational Studies in Mathematics, 29, 123, 10.1007/BF01274210 Stylianou, 2002, Interaction of visualization and analysis—The negotiation of a visual representation in problem solving, Journal of Mathematical Behavior, 21, 303, 10.1016/S0732-3123(02)00131-1 Tall, 1981, Concept image and concept definition in mathematics, with special reference to limits and continuity, Educational Studies in Mathematics, 12, 151, 10.1007/BF00305619 Vinner, 1991, The role of definitions in teaching and learning Weber, 2001, Student difficulty in constructing proofs: The need for strategic knowledge, Educational Studies in Mathematics, 48, 101, 10.1023/A:1015535614355 Weber, 2008, How mathematicians determine if an argument is a valid proof, Journal for Research in Mathematics Education, 39, 431, 10.5951/jresematheduc.39.4.0431 Weber, 2008, The role of affect in learning real analysis: A case study, Research in Mathematics Education, 10, 71, 10.1080/14794800801916598 Weber, 2004, Semantic and syntactic proof productions, Educational Studies in Mathematics, 56, 209, 10.1023/B:EDUC.0000040410.57253.a1 Weber, 2009, Semantic and syntactic reasoning and proving in advanced mathematics classrooms Weber, 2005, Undergraduates’ use of examples in a transition-to-proof course Weber, 2008, Learning advanced mathematical concepts by reading text Weyl, 1940, The mathematical way of thinking, Science, 92, 437, 10.1126/science.92.2394.437