Gödel, Escher, and Bach (Spring 2001)
Unit 4: Gödel's Incompleteness Theorem
Tue Apr 3 Typographical Number Theory - Consistency
Chapter VIII: Typographical Number Theory, pp.221-224 and 226-230
A Mu Offering, pp.231-245
Mumon and Gödel - Gödel Numbering
Chapter IX: Mumon and Gödel, pp.246-261 (OPTIONAL)
Chapter IX: Mumon and Gödel, pp.261-265
Notes/SQ
Problem Set 11
Thu Apr 5 Mumon and Gödel - TNT-Numbers
Chapter IX: Mumon and Gödel, pp.269-272
Discuss Problem Set 12
Notes/SQ
Problem Set 12
Rules of formation
Tue Apr 10 Mumon and Gödel - TNT-Numbers
Chapter IX: Mumon and Gödel, pp.269-272
Aria with Diverse Variations, pp.391-405
Discuss Problem Set 7 and 8
Notes/SQ (M&G)
Notes/SQ (A w/DV)
Wondrous numbers
Aria
Thu Apr 12 Mumon and Gödel - The Nature of G
Chapter IX: Mumon and Gödel, pp.271-272
Notes/SQ
Tue Apr 17 Mumon and Gödel - Gödel Numbering
Chapter IX: Mumon and Gödel, pp.261-269
Discuss Problem Set 13
Notes
Problem Set 13
Thu Apr 19 BlooP and FlooP and GlooP - Bounded and unbounded searches
Chapter XIII: BlooP and FlooP and GlooP (OPTIONAL)
Air on G's String, pp.431-437
Notes
Air on the G string
Problem Set 13 hint
Tue Apr 24 On Formally Undecidable Propositions
Chapter XIV - On Formally Undecidable Propositions..., pp.438-449
Discuss Problem Set 14
Notes/SQ
Problem Set 14
Thu Apr 26 Review