| 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 |