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…

Mathematics education researchers frequently use task-based interviews to gain insight into mathematicians' practice. However, there are a number of factors that should prevent mathematics educators from extrapolating how individual mathematicians respond to researcher-generated tasks in laboratory conditions, to how mathematicians practice their…

In this theoretical paper, we present a framework for conceptualizing proof in terms of mathematical values, as well as the norms that uphold those values. In particular, proofs adhere to the values of establishing a priori truth, employing decontextualized reasoning, increasing mathematical understanding, and maintaining consistent standards for…

Conviction is a central construct in mathematics education research on justification and proof. In this paper, we claim that it is important to distinguish between absolute conviction and relative conviction. We argue that researchers in mathematics education frequently have not done so and this has lead to researchers making unwarranted claims…

The received view of mathematical practice is that mathematicians gain certainty in mathematical assertions by deductive evidence rather than empirical or authoritarian evidence. This assumption has influenced mathematics instruction where students are expected to justify assertions with deductive arguments rather than by checking the assertion…

Proof is a central concept in mathematics education, yet mathematics educators have failed to reach a consensus on how proof should be conceptualized. I advocate defining proof as a clustered concept, in the sense of Lakoff (1987). I contend that this offers a better account of mathematicians' practice with respect to proof than previous accounts…

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,…

In this article, we report two studies investigating what mathematicians value in a pedagogical proof. Study 1 is a qualitative study of how eight mathematicians revised two proofs that would be presented in a course for mathematics majors. These mathematicians thought that introductory and concluding sentences should be included in the proofs,…

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…

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 educators have noted that mathematicians do not only read proofs to gain conviction but also to obtain insight. The goal of this article is to discuss what this insight is from mathematicians' perspective. Based on interviews with nine research-active mathematicians, two sources of insight are discussed. The first is reading a…

In the study reported here, we investigate the skills needed to validate a proof in real analysis, i.e., to determine whether a proof is valid. We first argue that when one is validating a proof, it is not sufficient to make certain that each statement in the argument is true. One must also check that there is good reason to believe that each…

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…