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
Advertisements
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