Lecture schedule for Math 3TP3
Here is a rough outline of the material we intend to cover.

  1. Week 1, Jan. 9 - 12, some historical context; read chapters 1 - 3 of Smith's book

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

  3. Week 3, Jan. 23 - 26,  some basic arithmetic; read chapters 4 - 5

  4. Week 4, Jan. 30 - Feb. 2, some basic logic; read chapters  6 -  8

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

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

  7. Week 7, Feb. 27 - Mar. 1; a little more history; read chapters 16 - 18

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

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

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

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

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