To Infinity and Beyond - Adam Casey
29th September 2012
An introduction to bijections and proofs of the countability of some subsets of the natural numbers. This will be followed by Cantor's diagonal argument, finishing up with undefinable numbers and unprovable truths.