Week
1, Jan. 7 - 10, some historical context; read chapters 1 - 3 of
Smith's book
Week
2,
Jan. 14 - 17, more history zeroing in on Hilbert's problem;
Week 3, Jan. 21 - 24, some basic arithmetic; read chapters 4 - 5
Week
4,
Jan. 28 - 31, some basic logic; read
chapters 6 - 8
Week 5, Feb. 4 - 7, Peano arithmetic and primitive recursion; read chapters 9 - 12
Week 6, Feb. 11 - 14, PA and PR cont'd; read chapters 13 - 15, midterm, in-class, Feb. 14
Week 7, Feb. 25 - 28; a little more history; read chapters 16 - 18
Week
8, Mar. 3 - 6, Q and primitive recursion; read chapters 10, 11, 14
Week
9,
Mar. 10 - 13, Godel numbering and the first incompleteness
theorem; read chapters 15 - 17
Week 10, Mar. 17 - 20, first incompleteness theorem cont'd; read chapters 19 - 23
Week 11, Mar. 24 - 27, Diagonalization and Godel's second incompleteness theorem; read chapters 24, 31 - 32
Week
12, Mar. 31 - Apr. 7, Turing
machines and the halting problem; read chapters 41 - 43, in-class
presentations