Gödel Without (Too Many) Tears, 2014 version

I’ve made a start updating the notes Gödel Without Tears.

The previous version of the notes was downloaded nearly three thousand times in the last twelve months: so it certainly seems worth putting in the effort to produce a better version, and to get the notes to integrate better with the new edition of my Gödel book.

Some months ago, I rashly said I might try to run some kind of informal online course based on GWT. But unexpected pressures on my time have made that impossible. I’ll only be able to continue updating the notes at irregular intervals. However, you can leave comments on the GWT page to report typos or unclarities. And if you (or your students) post more substantive queries in a sensible form on math.stackexchange then almost certainly someone (quite possibly me!) will answer them.