Mathematics Majors' Perceptions of Conviction, Validity, and Proof

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 empirical argument in the study to be convincing or to meet the standards of proof, (b) the majority of participants found a diagrammatic argument to be both convincing and a proof, (c) participants evaluated deductive arguments not by their form but by their content, but (d) participants often judged invalid deductive arguments to be convincing proofs because they did not recognize their logical flaws. These findings suggest improving undergraduates' comprehension of mathematical arguments does not depend on making undergraduates aware of the limitations of empirical arguments but instead on improving the ways in which they process the arguments that they read.

[1]  Guershon Harel,et al.  Case Studies of Mathematics Majors’ Proof Understanding, Production, and Appreciation , 2003 .

[2]  Annie Selden,et al.  Unpacking the logic of mathematical statements , 1995 .

[3]  N. Balacheff.  Aspects of proof in pupils ' practice of school mathematics , 2003 .

[4]  L. Alcock,et al.  USING WARRANTED IMPLICATIONS TO UNDERSTAND AND VALIDATE PROOFS , 2012 .

[5]  Keith Weber.  How Mathematicians Determine if an Argument Is a Valid Proof , 2008 .

[6]  Judith Segal.  Learning About Mathematical Proof: Conviction and Validity , 1999 .

[7]  S. Senk.  van Hiele Levels and Achievement in Writing Geometry Proofs. , 1989 .

[8]  Keith Weber,et al.  Student difficulty in constructing proofs: The need for strategic knowledge , 2001 .

[9]  Bettina Pedemonte,et al.  How can the relationship between argumentation and proof be analysed? , 2007 .

[10]  Kenneth Ruthven,et al.  Proof Practices and Constructs of Advanced Mathematics Students , 1994 .

[11]  M. Villiers.  The role and function of proof in mathematics , 1990 .

[12]  Annie Selden,et al.  Validations of proofs considered as texts: Can undergraduates tell whether an argument proves a theorem? , 2003 .

[13]  N. Balacheff.  Processus de preuve et situations de validation , 1987 .

[14]  T. Dreyfus.  Why Johnny Can't Prove , 1999 .

[15]  A. Su,et al.  The National Council of Teachers of Mathematics , 1932, The Mathematical Gazette.

[16]  Zenon Kulpa,et al.  Main Problems of Diagrammatic Reasoning. Part I: The generalization problem , 2009 .

[17]  David Tall,et al.  Advanced Mathematical Thinking , 1994 .

[18]  R. L. Wilder,et al.  The Nature of Mathematical Proof , 1944 .

[19]  J. Mamona-Downs,et al.  The Identity of Problem Solving. , 2005 .

[20]  D. Chazan.  High school geometry students' justification for their views of empirical evidence and mathematical proof , 1993 .

[21]  Andreas J. Stylianides,et al.  Proof constructions and evaluations , 2009 .

[22]  G. Harel,et al.  PROOF FRAMES OF PRESERVICE ELEMENTARY TEACHERS , 1989 .

[23]  Kirsti Hemmi.  Approaching Proof in a Community of Mathematical Practice , 2008 .

[24]  Deborah Loewenberg Ball,et al.  Mathematical Proficiency for All Students: Toward a Strategic Research and Development Program in Mathematics Education , 2002 .

[25]  R. Nelsen.  Proofs Without Words: Exercises in Visual Thinking , 2020 .

[26]  Martin A. Simon.  Beyond inductive and deductive reasoning: The search for a sense of knowing , 1996 .

[27]  Tommy Dreyfus,et al.  Advanced Mathematical Thinking Processes , 2002 .

[28]  Angel M. Recio,et al.  Institutional and personal meanings of mathematical proof , 2001 .

[29]  R. Zazkis,et al.  Mimicry of proofs with computers: the case of Linear Algebra , 2003 .

[30]  Brian J. Frasier.  Secondary school mathematics teachers' conceptions of proof , 2010 .

[31]  A. Bell,et al.  A study of pupils' proof-explanations in mathematical situations , 1976 .

[32]  M. Raman,et al.  Proof and Justification in Collegiate Calculus , 2002 .

[33]  Marcus Giaquinto,et al.  Visual thinking in mathematics : an epistemological study , 2007 .

[34]  Juan Pablo Mejía-Ramos,et al.  The Effect of Authority on the Persuasiveness of Mathematical Arguments , 2009 .

[35]  Pamela Jordan.  Basics of qualitative research: Grounded theory procedures and techniques , 1994 .

[36]  최영한,et al.  미국 NCTM의 Principles and Standards for School Mathematics에 나타난 수학과 교수,학습의 이론 , 2002 .

[37]  Y. Rav.  Why Do We Prove Theorems , 1999 .

[38]  James Robert Brown,et al.  Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures , 2008 .

[39]  L. Alcock,et al.  Semantic and Syntactic Proof Productions , 2004 .

[40]  K. A. Ericsson,et al.  Protocol Analysis: Verbal Reports as Data , 1984 .

[41]  Robert C. Moore.  Making the transition to formal proof , 1994 .

[42]  Steven Skiena,et al.  On Proofs Without Words , 1999 .

[43]  L. Alcock,et al.  Proof validation in real analysis: Inferring and checking warrants , 2005 .

[44]  C. Hoyles,et al.  A Study of Proof Conceptions in Algebra , 2000 .

[45]  Keith Weber,et al.  Traditional instruction in advanced mathematics courses: a case study of one professor’s lectures and proofs in an introductory real analysis course , 2004 .

[46]  C. Kielkopf.  What is Mathematics Really , 2003 .

[47]  P. Herbst.  Interactions with Diagrams and the Making of Reasoned Conjectures in Geometry , 2004 .

[48]  Juan Pablo Mejía-Ramos,et al.  On the Persuasiveness of Visual Arguments in Mathematics , 2009 .

[49]  G A Miller,et al.  A MATHEMATICAL PROOF. , 1931, Science.

[50]  Shlomo Vinner.  The Pseudo-Conceptual and the Pseudo-Analytical Thought Processes in Mathematics Learning , 1997 .

[51]  Tommy Dreyfus,et al.  On the reluctance to visualize in mathematics , 1991 .

[52]  Alan Bundy,et al.  The Nature of Mathematical Proof , 2005 .

[53]  Guershon Harel,et al.  The Development of Mathematical Induction as a Proof Scheme: A Model for DNR-Based Instruction , 2001 .

[54]  K. A. Ericsson,et al.  Protocol analysis: Verbal reports as data, Rev. ed. , 1993 .

[55]  David Pimm,et al.  Generic examples: Seeing the general in the particular , 1984 .

[56]  Kristen N. Bieda,et al.  Middle School Students' Production of Mathematical Justifications , 2009 .