4,320 reputation
1025
bio website dcproof.com
location Canada
age
visits member for 4 years, 2 months
seen Jan 23 at 16:39

An amateur mathematician, I have developed DC Proof, an educational software program 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. Also visit my math blog.


114
× 145
45
× 2
52
× 10
45
47
× 4
43
× 7
45
× 8
41
× 3
45
× 2
40
× 3

177 Votes Cast

all time   by type   month  
175 up 58 question 3
2 down 119 answer