The University of Montana
Department of Mathematical Sciences

Technical report #20/2009

On Proof and Certainty- Some Educational Implications

Bharath Sriraman
The University of Montana

Hillary VanSpronsen
Michigan Technological University

Nick Haverhals
The University of Montana


In this commentary to Guershon Harelís chapter DNR-Based Instruction in Mathematics as a Conceptual Framework, we contrast his theory within the larger scheme of deductivist and heuristic approaches to proof, and explore some of its instructional implications.

Keywords: DNR-Based instruction; Proof theory; Teaching and learning Proof

AMS Subject Classification: 97

Pdf: Preprint of chapter to appear in B. Sriraman & L. English (Eds). Theories of Mathematics Education- Seeking New Frontiers. Springer Science, Berlin/Heidelberg