Progress report

I am nearly done with Section 7.4. I have lectured until Theorem 7.4.8 (Undecidability of the Halting Problem). Next week (February 20) I will lecture the S-m-n Theorem. Thereafter I will start to lecture Section 7.5.