MATH3102/5102 course notes (for 2009-10):
Section 2: with new notation (pdf file)
Section 3 (pdf file)
Section 4 (pdf file)
Section 5 (pdf file)
Section 6 (pdf file)
Section 7 (pdf file)
Section 8 (pdf file)
Section 9 (pdf file)
Section 10 (pdf file)
Section 11 (pdf file)
Section 12 (pdf file)
Appendix: examples of computable functions involving Gödel numbering and the standard pairing function. (pdf file)
Corrections Made on 27th April
I have made corrections as follows.
(1) Page 17 Section 6, Lines 15-16 (the double arrows are now right arrows).
(2) Page 24 Section 8, Corollary 8.5 is now Theorem 8.5, also the line just above Definition 8.11 has been corrected.
(3) Page 28 Section 9, the second line of the proof of of Theorem 9.2(1) is now correct.
(4) Page 32 The note near the bottom of the page. I have added a proviso here (about how much you need to know).
(5) Page33 Lemma 11.3 The second to last line of the proof has had the proof sign removed.
