Progress report

Today I completeted the proof of Godel's 1st Incompleteness Theorem. Next week we will discuss the exercises in Chapther 8 (after I will talk 10 minutes about Godel's 2nd Incompleteness Theorem). The last lecture will take place on Thursday November 21.