Set Theory
- Methods of Proof — Diagonalization
June 8, 2015 - The Many Faces of Set Cover
May 4, 2015 - Finding the majority element of a stream
March 9, 2015 - When Greedy Algorithms are Perfect: the Matroid
August 26, 2014 - Methods of Proof — Induction
March 21, 2013 - Methods of Proof — Contradiction
February 28, 2013 - Methods of Proof — Contrapositive
February 22, 2013 - Methods of Proof — Direct Implication
February 16, 2013 - Why there is no Hitchhiker's Guide to Mathematics for Programmers
February 8, 2013 - k-Means Clustering and Birth Rates
February 4, 2013 - P vs. NP, A Primer (And a Proof Written in Racket)
February 23, 2012 - False Proof—All Numbers are Describable in at Most Twenty Words
July 28, 2011 - False Proof—The Reals are Countable
July 19, 2011 - Set Theory—A Primer
July 9, 2011 - False Proof—There are Finitely Many Primes
July 5, 2011 - Turing Machines—A Primer
July 4, 2011 - Determinism and Finite Automata—A Primer
July 2, 2011 - Number of Games in a Tournament
June 23, 2011 - Well Orderings and Search
June 14, 2011