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…

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 university mathematics courses, the activity of proof construction can be viewed as a problem-solving task in which the prover is asked to form a logical justification demonstrating that a given statement must be true. The purposes of this paper are to describe some of the different types of reasoning and problem-solving processes used by…