This paper focuses on three junior high school mathematics teachers and their knowledge of the nature of definitions. The mathematical context of exponentiation is used as a springboard for discussing two aspects of definitions: their corresponding domains and the distinction and relationships between definitions, proofs, and theorems. Through…

Validating proofs and counterexamples across content domains is considered vital practices for undergraduate students to advance their mathematical reasoning and knowledge. To date, not enough is known about the ways mathematics majors determine the validity of arguments in the domains of algebra, analysis, geometry, and number theory--the domains…

Meaningful learning of formal mathematics in regular classrooms remains a problem in mathematics education. Research shows that instructional approaches in which students work collaboratively on tasks that are tailored to problem solving and reflection can improve students' learning in experimental classrooms. However, these sequences involve…

Relatively little is known about how students come to reason coherently about the formal definition of limit. While some have conjectured how students might think about limits formally, there is insufficient empirical evidence of students making sense of the conventional [superscript epsilon]-[delta] definition. This paper provides a detailed…

This paper is a case study of the teaching of an undergraduate abstract algebra course with a particular focus on the manner in which the students presented proofs and the class engaged in a subsequent discussion of those proofs that included validating the work. This study describes norms for classroom work that include a set of norms that the…

We inspect the hypothesis that geometry students may be oriented toward how they expect that the teacher will evaluate them as students or otherwise oriented to how they expect that their work will give them opportunities to do mathematics. The results reported here are based on a mixed-methods analysis of twenty-two interviews with high school…

The paper examines the roles and purposes of proof mentioned by university research faculty when reflecting on their own teaching and teaching at their institutions. Interview responses from 14 research mathematicians and statisticians who also teach are reported. The results suggest there is a great deal of variation in the role and purpose of…

The way words are used in natural language can influence how the same words are understood by students in formal educational contexts. Here we argue that this so-called semantic contamination effect plays a role in determining how students engage with mathematical proof, a fundamental aspect of learning mathematics. Analyses of responses to…

Frequently, in the US students' work with proofs is largely concentrated to the domain of high school geometry, thus providing students with a distorted image of what proof entails, which is at odds with the central role that proof plays in mathematics. Despite the centrality of proof in mathematics, there is a lack of studies addressing how to…

In this paper two 10th graders having an accumulated experience on problem-solving ancillary to the concept of area confronted the task to find Pick's formula for a lattice polygon's area. The formula was omitted from the theorem in order for the students to read the theorem as a problem to be solved. Their working is examined and emphasis is…

The purpose of this study is to explore how primary school students reexamine their conjectures and proofs when they confront counter-examples to the conjectures they have proved. In the case study, a pair of Japanese fifth graders thought that they had proved their primitive conjecture with manipulative objects (that is, they constructed an…

In advanced mathematical thinking, proving and refuting are crucial abilities to demonstrate whether and why a proposition is true or false. Learning proofs and counterexamples within the domain of continuous functions is important because students encounter continuous functions in many mathematics courses. Recently, a growing number of studies…

In a recent paper, Alcock and Inglis (in press) noted a distinction between the way that Weber (in press) and they defined syntactic and semantic proof productions. Weber argued that "a syntactic proof production occurs when one works predominantly within the representation system of proof [...] Alternatively, a semantic proof production occurs…

The Isis problem, which has a link with the Isis cult of ancient Egypt, asks: "Find which rectangles with sides of integral length (in some unit) have area and perimeter (numerically) equal, and prove the result." Since the solution requires minimal technical mathematics, the problem is accessible to a wide range of students. Further, it is…

Weber (2009) suggested that counterexamples can be generated by a syntactic proof production, apparently contradicting our earlier assertion (Alcock & Inglis, 2008). Here we point out that this ostensible difference is the result of Weber working with theoretical definitions that differ slightly from ours. We defend our approach by arguing that…