Using the basic properties of the base-b representation of rational numbers, we will give an elementary proof of Gauss's lemma: "Every real root of a monic polynomial with integer coefficients is either an integer or irrational." The paper offers a new perspective in understanding the meaning of 'irrational numbers' from a deeper…

Beyond mathematical complexity, a proof's length may, in and of itself, impede its comprehension. The same would apply to constructions, calculations and other mathematical expositions. Today's technology provides readers websites and electronic documents with hyperlinks, giving readers direct access from one location of the exposition to a…

We report findings from a longitudinal study of students' beliefs about empirical arguments and mathematical proof. We consider the influence of an 'Introduction to Proof (ITP)' course and the consequences of the observed changes in behaviour. Consistent with recent literature, our findings suggest that a majority of the thirty-eight undergraduate…

In this dissertation, I utilize the post-structural philosophy of Gilles Deleuze and Fe´lix Guattari as a lens for investigating the proof process. Deleuze and Guattari were both post- structural philosophers who, like many in this tradition, troubled traditional notions related to stable identities, meaning, language, and mathematics. For…

Recent research in university mathematics education has moved beyond the traditional focus on the transition from secondary to tertiary education and students' understanding of introductory courses such as pre-calculus and calculus. There is growing interest in the challenges students face as they move into more advanced mathematics courses that…

Proof validation plays a significant role in students' understanding and learning of mathematical proofs. Recent studies have shown that university students were lacking skills in proof validation and were challenged by the implementation of the appropriate acceptance criteria when validating proofs. Drawing on Habermas' construct and rational…

This article offers the construct "unitizing predicates" to name mental actions important for students' reasoning about logic. To unitize a predicate is to conceptualize (possibly complex or multipart) conditions as a single property that every example has or does not have, thereby partitioning a universal set into examples and…

This is a preliminary study of design research that investigates preservice mathematics teachers' proof level and the possible task of scaffolding-based interventions in proving the triangle theorem. The research subjects consisted of 58 second-semester mathematics education students at Universitas Negeri Surabaya, Indonesia. This research is…

This theoretical paper sets forth two "aspects of predication," which describe how students perceive the relationship between a property and an object. We argue these are consequential for how students make sense of discrete mathematics proofs related to the properties and how they construct a logical structure. These aspects of…

"Epistemological justification" is a way of thinking that manifests itself through perturbation-resolution cycles revolving around the question "why and how was a piece of mathematical knowledge conceived?" The paper offers a conceptual framework for constituent elements of epistemological justification. The framework provides:…

In this paper, we explore the role that examples play as mathematicians formulate conjectures, and we describe and exemplify one particular example-related activity that we observed in interviews with thirteen mathematicians. During our interviews, mathematicians productively used examples as they formulated conjectures, particularly by creating…

This book aims to advance ongoing debates in the field of mathematics and mathematics education regarding conceptions of argumentation, justification, and proof and the consequences for research and practice when applying particular conceptions of each construct. Through analyses of classroom practice across grade levels using different lenses -…

Task-relevant actions can facilitate mathematical thinking, even for complex topics, such as mathematical proof. We investigated whether such cognitive benefits also occur for action predictions. The action-cognition transduction (ACT) model posits a reciprocal relationship between movements and reasoning. Movements--imagined as well as real ones…

Mathematical justifications offer an approach to which students deepen and extend their mathematical thinking. This process has the potential to enhance students' conceptual understanding. Mathematical practices and process standards ask students to use critical thinking skills to justify their reasoning, but this is usually seen as proofs in high…

This qualitative study aims to investigate novice undergraduate mathematics students' first encounter with the First Isomorphism Theorem, which is, more often than not, the pinnacle of a typical introductory course in Group Theory. Several studies have reported on the challenges that this mathematical result poses to inexperienced mathematicians,…