121 reputation
bio website dcproof.com
location Canada
visits member for 2 years, 6 months
seen Apr 13 '13 at 2:37

An amateur mathematician, I have developed educational software to introduce students to the basic methods of proof. In the style of most mathematics textbooks at the undergraduate level, its simplified rules of logic and set theory are loosely based on standard FOL and ZFC. For more information, a video demo and free download, visit my website at http://www.dcproof.com. Also, visit my new math blog at http://www.dcproof.wordpress.com

This user has not asked any questions
Mathematics 4,825 rep 1026
Philosophy 427 rep 18
Theoretical Computer Science 121 rep 2
Stack Overflow 111 rep 3
MathOverflow 101 rep 1

0 Votes Cast

This user has not cast any votes