Skip to content
Follow:
RSS
Twitter
DC Proof 2.0
A software tool developed by author, Dan Christensen, to teach the basic methods of mathematical proof
Home
About
Uncategorized
Archive for February, 2013
Daddy, where do numbers come from? on
February 19, 2013
The Original Cretan Liar Paradox on
February 9, 2013
Why teach formal logic and set theory? on
February 9, 2013
Recent Posts
If Pigs Could Fly
The Barber Paradox Revisited: Why We Need Set Theory
Infinity: The Story So Far
The Drinker’s Paradox: A Tale of Three Paradoxes
What is a number again?
Oh, the ambiguity!
Formal Proof of the Cantor-Bernstein-Schroeder Theorem
The Pigeonhole Principle
Daddy, where do numbers come from?
The Original Cretan Liar Paradox
Categories
Uncategorized
Archives
December 2017
January 2017
September 2014
June 2014
January 2014
October 2013
June 2013
May 2013
February 2013
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here:
Cookie Policy