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:

Comments are open for corrections and queries: there’s a dedicated GWT comments page here.