Gödel lectures

Notes for the first of the four lectures I'm giving this term on Gödel's theorems (for mathematicians, not philosophers) are now available here. I hope the rest will follow very promptly!

I'm not sure I'm judging these lectures well. So even more than usual, comments, corrections and suggestions for improvement are most welcome.