This study investigates 3 hypotheses about proof-based mathematics instruction: (a) that lectures include informal content (ways of thinking and reasoning about advanced mathematics that are not captured by formal symbolic statements), (b) that informal content is usually presented orally but not written on the board, and (c) that students do not…

In this article, we consider the potential influences of the study of proofs in advanced mathematics on secondary mathematics teaching. Thus far, the literature has highlighted the benefits of applying the conclusions of particular proofs to secondary content and of developing a more general sense of disciplinary practices in mathematics in…

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…

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…

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…

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 this paper, 28 mathematics majors who completed a transition-to-proof course were given 10 mathematical arguments. For each argument, they were asked to judge how convincing they found the argument and whether they thought the argument constituted a mathematical proof. The key findings from this data were (a) most participants did not find the…

In this paper, I describe how undergraduates can develop their understanding of the concept of proof by viewing the act of proving as a procedure. Such undergraduates first understand proof as an algorithm, or a step-by-step mechanical prescription for proving certain types of statements. The students can then condense this algorithm into a…

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…