4,315 reputation
1025
bio website dcproof.com
location Canada
age
visits member for 4 years, 2 months
seen 2 days 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,315 Reputation

-2 2 days ago
-2 Jan 20
-4 Jan 17
1 Jan 15
-4 Jan 14
10 Jan 10
8 Jan 2
10 Jan 1
8 Dec 23 '14
20 Dec 15 '14
10 Dec 12 '14
-4 Dec 11 '14
10 Dec 6 '14
5 Dec 5 '14
10 Dec 1 '14
15 Nov 28 '14
20 Nov 27 '14
20 Nov 26 '14
20 Nov 24 '14
10 Nov 23 '14
20 Nov 20 '14
10 Nov 18 '14
30 Nov 17 '14
20 Nov 14 '14
20 Nov 13 '14
20 Nov 12 '14
10 Nov 3 '14
11 Nov 2 '14
25 Oct 30 '14
10 Oct 29 '14