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 June, 2013
Formal Proof of the Cantor-Bernstein-Schroeder Theorem on
June 24, 2013
Recent Posts
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
Why teach formal logic and set theory?
Categories
Uncategorized
Archives
January 2017
September 2014
June 2014
January 2014
October 2013
June 2013
May 2013
February 2013