Godel Without (Too Many) Tears. Episode 2

The first episode of the new version of Gödel Without Tears was downloaded over 1650 times in seven days: there seems to be some interest, which is good to see!

Anyway, here's a very marginally revised version, together with the next episode from today's lecture.

1. Incompleteness — The Very Idea
2. Incompleteness and undecidability

Comments are open for corrections and queries: as I said before, there's a (as yet unused) dedicated GWT comments page here.