Gödel, Escher, and Bach (Spring 2001)
Course Outline*

Unit 1: Introduction to simple logical systems
       Introduction: A musico-logical offering
Three-part Invention Chapter I: The MU puzzle
Two-part Invention Chapter II: Meaning and form in mathematics

Unit 2: Completeness and Recursive Procedures
Sonata for Unaccompanied Achilles Chapter III: Figure and ground
Contracrostipunctus Chapter IV: Consistency, completeness, and geometry
Little Harmonic Labyrinth Chapter V: Recursive structures and processes

Unit 3: Propositional Calculus and Typographical Number Theory
Chromatic Fantasy and Feud Chapter VII: The propositional calculus
Crab Canon Chapter VIII: Typographical number theory

Unit 4: Gödel's Incompleteness Theorem
A Mu Offering Chapter IX:  Mumon and Gödel
Aria with diverse variations Chapter XIII: BlooP and FlooP and GlooP
Air on G's String Chapter XIV: On formally undecidable propositions of TNT and related systems
*Click on any unit for calendar, notes, and presentations