3,749 reputation
922
bio website dcproof.com
location Canada
age
visits member for 3 years, 9 months
seen 29 mins 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.


3,749 Reputation

10 yesterday
+10 15:09 upvote
10 Aug 15
+10 10:04 upvote
78 Aug 14
+80 / -2 10:17 9 events
10 Jul 31
10 Jul 29
10 Jul 26
5 Jul 12
-2 Jul 10
20 Jul 9
10 Jul 5
-2 Jul 4
15 Jul 1
30 Jun 29
10 Jun 28
10 Jun 26
10 Jun 24
60 Jun 23
50 Jun 22
65 Jun 21
200 Jun 19
120 Jun 18
10 Jun 13
20 Jun 9
30 Jun 4
30 Jun 3
10 Jun 2
20 May 30
5 May 27
5 May 26
15 May 24