Gödel's Incompleteness Theorem
Channel: Philip Hazelden
Date: 2012-02-20

A talk I gave on Gödel's incompleteness theorem. I present a sketch proof based on the one given in "Gödel, Escher, Bach: An Eternal Golden Braid" (a fantastic book which unfortunately I forgot to give credit to in the talk).

The slides, and source code for them, are available at https://github.com/ChickenProp/godel-talk