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 |