4,300 reputation
1025
bio website dcproof.com
location Canada
age
visits member for 4 years, 1 month
seen 5 hours ago

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.


4,300 Reputation

20 Dec 15
+10 04:26 upvote
+10 03:51 upvote
10 Dec 12
-4 Dec 11
10 Dec 6
5 Dec 5
10 Dec 1
15 Nov 28
20 Nov 27
20 Nov 26
30 Nov 24
10 Nov 23
20 Nov 20
10 Nov 18
30 Nov 17
20 Nov 14
20 Nov 13
20 Nov 12
10 Nov 3
11 Nov 2
25 Oct 30
10 Oct 29
10 Oct 28
0 Oct 20
45 Oct 16
10 Oct 15
10 Oct 14
10 Oct 8
-2 Oct 2
25 Oct 1
5 Sep 30