Proof is central to the curriculum for undergraduate mathematics majors. Despite transition-toproof courses designed to facilitate the shift from computation-based mathematics to proofbased mathematics, students continue to struggle with mathematical proof. In particular, there are few tasks beyond writing proofs that are specifically designed to develop students’ understanding of the proofs they read and the proof methods they utilize. The purpose of this paper is to introduce and discuss the merits of two such tasks: constructing and comparing logical outlines of presented proofs. Grounded in APOS Theory, this paper will illustrate a case study that suggests students can improve their understanding of the proofs they read as well as a particular proof method proof by contradiction – through these two tasks.
PDF] Developing Proof Comprehension and Proof by Contradiction Through Logical Outlines
e-Proofs: Design of a Resource to Support Proof Comprehension in Mathematics
Key ideas in a proof: The case of the irrationality of √2 - ScienceDirect
Ernest Nagel, James R. Newman, Douglas R. Hofstadter - Godel's Proof, Revised Edition -NYU Press (2001).pdf
A Comparison of Proof Comprehension, PDF, Mathematical Proof
What preliminaries are required before one can begin to understand zk-SNARK (zero-knowledge proof)? - Quora
A Comparison of Proof Comprehension, PDF, Mathematical Proof
Open Textbooks, Open Educational Resources
PDF] Godel's Proof by Ernest Nagel eBook
Mathematical Reasoning Writing and Proof, Version 3 by Ted Sundstrom
Open Textbooks, Open Educational Resources
