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 report the results of a study in which we asked 94 mathematicians to evaluate whether five arguments qualified as proofs. We found that mathematicians disagreed as to whether a visual argument and a computer-assisted argument qualified as proofs, but they viewed these proofs as atypical. The mathematicians were also aware that many other…

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…

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…

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…

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…

We describe a case study in which we investigate the effectiveness of a lecture in advanced mathematics. We first videorecorded a lecture delivered by an experienced professor who had a reputation for being an outstanding instructor. Using video recall, we then interviewed the professor to determine the ideas that he intended to convey and how he…

n a recent article, Inglis and Alcock (2012) contended that their data challenge the claim that when mathematicians validate proofs, they initially skim a proof to grasp its main idea before reading individual parts of the proof more carefully. This result is based on the fact that when mathematicians read proofs in their study, on average their…

In a recent article published in this journal, Shanahan, Shanahan, and Misischia investigated the differences in how chemists, historians, and mathematicians read text specific to their disciplines. Unlike the chemists and historians, the pair of mathematicians in this study did not consider sources when reading and evaluating their text. In this…

The processes by which individuals can construct proofs based on visual arguments are poorly understood. We investigated this issue by presenting eight mathematicians with a task that invited the construction of a diagram, and examined how they used this diagram to produce a formal proof. The main findings were that participants varied in the…

In this paper we examine a commonly suggested proof construction strategy from the mathematics education literature--that students first produce an informal argument and then use this as a basis for constructing a formal proof. The work of students who produce such informal arguments during proving activities was analyzed to distill three…

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

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

This article describes how the concept of "key idea" can be used in high school geometry to connect students' informal explorations with rigorous mathematical proof. (Contains 6 figures.)