In mathematics education research, proofs are often conceptualized as sequences of mathematical assertions. We argue that this ignores proofs that contain instructions to perform mathematical actions, often in the form of imperatives, which are common both in mathematical practice and in undergraduate mathematics textbooks. We consider in detail a…

To design and improve instruction in mathematical proof, mathematics educators require an adequate definition of proof that is faithful to mathematical practice and relevant to pedagogical situations. In both mathematics education and the philosophy of mathematics, mathematical proof is typically defined as a type of justification that satisfies a…

This work provides a characterization of the learning of graph theory through the lens of the van Hiele model. For this purpose, we perform a theoretical analysis structured through the processes of reasoning that students activate when solving graph theory problems: recognition, use and formulation of definitions, classification, and proof. We…

The purpose of this paper is to highlight issues related to students' personal inferences that arise when students verbally explain their justification for calculus statements. We conducted clinical interviews with three undergraduate students who had taken first-semester calculus but had not yet been exposed to formal proof writing activities…

Research using the Anthropological Theory of the Didactic suggests different models of how student learning may evolve in the progression of undergraduate mathematics coursework: from elementary courses in Calculus to more advanced courses in Analysis. An ideal model suggests that the theory-driven learning in the latter serves as a natural…

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body-based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the "cognitive relevance" of particular body states to associated math concepts. We test competing models of action-cognition…

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body-based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the "cognitive relevance" of particular body states to associated math concepts. We test competing models of action-cognition…

We argue that examples can do more than serve the purpose of illustrating the truth of an existential statement or disconfirming the truth of a universal statement. Our argument is relevant to the use of technology in classroom assessment. A central challenge of computer-assisted assessment is to develop ways of collecting rich and complex data…

Analogical reasoning has played a significant role in the development of modern mathematical concepts. Although some perspectives in mathematics education have argued against the use of analogies and analogical reasoning in instructional contexts, some attempts have been made to leverage the pedagogical power of analogies. I assert that with a…

Mathematics teacher education programs in the United States are charged with preparing prospective secondary teachers (PSTs) to teach reasoning and proving across grade levels and mathematical topics. Although most programs require a course on proof, PSTs often perceive it as disconnected from their future classroom practice. Our design research…

The aims of the study were (1) to develop a domain-general computer-based assessment tool for inductive reasoning and to empirically test the theoretical models of Klauer and Christou and Papageorgiou; and (2) to develop an online game to foster inductive reasoning through mathematical content and to investigate its effectiveness. The sample was…

Pre-service mathematics teacher (PST) education often addresses within Geometry Classes how to utilize Dynamic Geometric Software (DGS). Other classes may also incorporate teaching pre-service teachers about the history of mathematics. Although research has documented the use of Dynamic Geometric Software (DGS) in teaching the history of…

Drawing upon his experience, more than 60 years ago, as a psychometric support person to a very special teacher of brain damaged children, the author of this article reflects on the productive use of educational assessments and data from them to educate - assessment in the service of learning. Findings from the Gordon Commission on the Future of…

The paper explores and clarifies the similarities and differences that exist between proof by contradiction and proof by contraposition. The paper also focuses on the concept of contradiction, and a general model for this method of proof is offered. The introduction of mathematical proof in the classroom remains a formidable challenge to students…

Thinking development processes among high-school students is an important and significant issue that has been widely investigated (Leviathan, 2012; Ball, 1996; De Risi, 2015). A few studies discuss the development of mathematical thinking as this field contains additional difficulties to the traditional factors, teachers, students, and parents,…