Gödel Without (Too Many) Tears, again. Episode 1

I just started this morning giving this year's Cambridge lectures on Gödel's Theorems (targetted at philosophy undergrads doing our Part II Mathematical Logic paper). I'll be giving out weekly handouts — to begin with closely based on some that I put together while a visiting Erskine Fellow at the University of Canterbury, NZ — under the friendly and hopefully encouraging title Gödel Without (Too Many) Tears. Here is the first one:

1. Incompleteness — The Very Idea

Comments are open for corrections and queries.