Math 195: Gödel, Escher, and Bach (Spring 2001)
Problem Sets
Problem Set 1: Logic Puzzles Tue, 23 Jan
Problem Set 2: The MU-Puzzle
     MU-Puzzle program
     Solutions
Thu, 25 Jan
Tue, 30 Jan
Problem Set 3: Meaning and Form Thu, 1 Feb
Problem Set 4: tq-system and Primes
     Hints
Thu, 8 Feb
Problem Set 5: Meaning and Mapping
     Hints
Thu, 15 Feb
Problem Set 6: Recursive Structures and Processes
     Hints
Tue, 20 Feb
Problem Set 7: The Propositional Calculus Thu, 1 Mar
Problem Set 8: Truth Tables Tue, 6 Mar
Problem Set 9: Derivations Thu, 8 Mar
Problem Set 10: TNT and Quantifiers
     Hints
Thu, 22 Mar
Problem Set 11: TNT Rules of Derivation
Problem Set 12: (More) Derivations Thu, 5 Apr
Problem Set 13: Gödel Numbering
     Hints
Tue, 17 Apr
Problem Set 14: Gödel Numbering, Quining, and Gödel's Proof Tue, 24 Apr