Progress report

Tomorrow (Wednesday 9) I will say a little bit more about the proof of the 1st Incompleteness Theorem. Then we will start to prepare for the exam. A good way to prepare for the exam is to solve the exercises in Chapter 8. We will discuss these exercises tomorrow.