Gödel, Escher, and Bach (Spring 2001)
Unit 3: Propositional Calculus and Typographical Number Theory
Tue Feb 27 The Propositional Calculus - Rules and Symbols
Chromatic Fantasy, And Feud
Chapter VII: The Propositional Calculus, pp.181-188
Notes/SQ
Music
Slides*
Thu Mar 1 The Propositional Calculus - Truth Tables
Chapter VII: The Propositional Calculus, pp.188-190
Discuss Problem Set 7
Notes/SQ
Problem Set 7
PC Rules
Tue Mar 6 The Propositional Calculus - Derivations
Chapter VII: The Propositional Calculus, pp.188-197
Discuss Problem Set 7 and 8
Notes/SQ
Slides*
Problem Set 8
Thu Mar 8 Typographical Number Theory - Introduction
Crab Canon; Chapter VIII: Typographical Number Theory, pp.204-206
De Morgan's Rule
Discuss Problem Set 9
Notes/SQ
Music
Slides*
Problem Set 9
Mar 12-16 SPRING BREAK  
Tue Mar 20 Typographical Number Theory - Elements and syntax
Chapter VIII: Typographical Number Theory, pp.204–213
DNA and the Crab Canon
Notes/SQ
Slides*
Thu Mar 22 Typographical Number Theory - Well formed formulas
Discuss Problem Set 10
Slides*
Problem Set 10
Tue Mar 27 Typographical Number Theory - Quantification/Special rules
Chapter VIII–Typographical Number Theory, pp.215–219, pp.221-225 
How to translate; Rules of derivation
Notes/SQ
Translation
TNT Rules
Thu Mar 29 Review  
Sun Apr 1 Exam #3  
*Click on slides, Open file in PowerPoint, Click Slide Show, Click View Show