PHYS771 Lecture 3: Gödel, Turing, and Friends

"See, the Completeness Theorem was his Master's thesis, and the Incompleteness Theorem was his PhD thesis."

http://www.scottaaronson.com/democritus/lec3.html