Lecture schedule for Math 3TP3
Here is a rough outline of the material we intend to cover.
  1. Week 1, Jan. 7 - 10, some historical context; read chapters 1 - 3 of Smith's book

  2. Week 2, Jan. 14 - 17, more history zeroing in on Hilbert's problem;

  3. Week 3, Jan. 21 - 24,  some basic arithmetic; read chapters 4 - 5

  4. Week 4, Jan. 28 - 31, some basic logic; read chapters  6 -  8

  5. Week 5, Feb. 4 - 7,  Peano arithmetic and primitive recursion; read chapters 9 - 12

  6. Week 6, Feb. 11 - 14, PA and PR cont'd; read chapters  13 - 15, midterm, in-class, Feb. 14

  7. Week 7, Feb. 25 - 28; a little more history; read chapters 16 - 18

  8. Week 8, Mar. 3 - 6, Q and primitive recursion; read chapters 10, 11, 14

  9. Week 9, Mar. 10 - 13, Godel numbering and the first incompleteness theorem; read chapters 15 - 17

  10. Week 10, Mar. 17 - 20, first incompleteness theorem cont'd; read chapters 19 - 23

  11. Week 11, Mar. 24 - 27, Diagonalization and Godel's second incompleteness theorem; read chapters 24, 31 - 32

  12. Week 12, Mar. 31 - Apr. 7, Turing machines and the halting problem; read chapters 41 - 43, in-class presentations