# 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