[GE Salon 2010-11] Incompleteness: Godel, Escher, Bach and Godel’s Proof