"(DC Proof) is well conceived, carefully planned and remarkable in its pedagogy and content."
─ Brendan Kelly Ph.D., Ed.D., Emeritus Professor of Mathematics and Mathematics Education, OISE/University of Toronto, Canada"Amazing program, thank you so much... I'm taking my first "real math" course outside the Calc sequence. (DC Proof) has been of immense help in organizing and developing clear, concise proofs. The interface is slick and the way it sort of guides you, while still allowing for discovery─the necessary 'aha!' moments, is great."
─ Paul Beykirch, math/computer science student, Poughkeepsie NY, USA
"What impressed me most about (DC Proof) is that it seems to focus on ensuring thatlogic is stripped to its bare essentials, and these simplest concepts are taught very thoroughly indeed, with full cross referencing between practice and theory."
─ Stephen Simmons, Clinical Director, National Health Service, UK
"(DC Proof) is a better tool for learning about proofs in the way that mathematicians usually do them."
─ Norman Megill, creator of Metamath, Lexington MA, USA
"I find (DC Proof) much easier to use than other theorem provers... I found COQ et al to be quite heavy to integrate. DC Proof on the other hand has a more natural language associated with it."
─ Tom Hubbard, Lead Software Systems Engineer, Bedford MA, USA
Publications by the Author
"The Drinker's Paradox," Lettre de la Preuve, The International Newsletter of the Teaching and Learning of Mathematical Proof, Italy, Summer 2014
"Why Teach Formal Logic and Set Theory?" Lettre de la Preuve, The International Newsletter of the Teaching and Learning of Mathematical Proof, Italy, Winter 2012
"A brief introduction to DC Proof" (Russian), Computer Tools in School - Issue No. 2, 2010, St. Petersburg, Russia
Copyright © Dan Christensen 2013