In the mathematical community, two notions of "function" are used: the set-theoretic definition as a univalent set of ordered pairs, and the Bourbaki triple. These definitions entail different interpretations and answers to mathematical questions that even a secondary student might be prompted to answer. However, mathematicians and…

We argue that mathematics majors learn little from the proofs they read in their advanced mathematics courses because these students and their teachers have different perceptions about students' responsibilities when reading a mathematical proof. We used observations from a qualitative study where 28 undergraduates were observed evaluating…

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…

The purpose of this article is to investigate the mathematical practice of proof validation--that is, the act of determining whether an argument constitutes a valid proof. The results of a study with 8 mathematicians are reported. The mathematicians were observed as they read purported mathematical proofs and made judgments about their validity;…

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…