Although proof comprehension is fundamental in advanced undergraduate mathematics courses, there has been limited research on what it means to understand a mathematical proof at this level and how such understanding can be assessed. In this paper, we address these issues by presenting a multidimensional model for assessing proof comprehension in…

Many mathematics education researchers have suggested that asking learners to generate examples of mathematical concepts is an effective way of learning about novel concepts. To date, however, this suggestion has limited empirical support. We asked undergraduate students to study a novel concept by either tackling example generation tasks or…

In this paper, we report a study in which nine research mathematicians were interviewed with regard to the goals guiding their reading of published proofs and the type of reasoning they use to reach these goals. Using the data from this study as well as data from a separate study (Weber, "Journal for Research in Mathematics Education" 39:431-459,…

This paper reports a teaching experiment in which two students engaged in tasks that challenged them to describe a final state for a variety of infinite iterative processes. The results from the study indicate that the students used multiple reasoning strategies for addressing these tasks. Refinements in the students' reasoning occurred as…

In the mathematics education literature, there is currently a debate about the mechanisms by which group discussion can contribute to mathematical learning and under what conditions this learning is likely to occur. In this paper, we contribute to this debate by illustrating three learning opportunities that group discussions can create. In…

In this paper, we distinguish between two ways that an individual can construct a formal proof. We define a syntactic proof production to occur when the prover draws inferences by manipulating symbolic formulae in a logically permissible way. We define a semantic proof production to occur when the prover uses instantiations of mathematical…

Undergraduates often are aware of and able to apply the facts required to prove a statement but still fail to prove it. By comparing doctoral students and undergraduates constructing proofs in abstract algebra, four types of strategic knowledge are hypothesized. Found that doctoral students had knowledge of how to choose which facts and theorems…