I now have put together a first complete [updated, now third] draft of the second edition of Gödel Without (Too Many) Tears. You can download it here.
I need to do a careful read-through for typos/thinkos. I also need to update the index, make the typography more uniform between chapters, and e.g. decide on a more consistent policy about when I cross-reference to IGT2. That sort of fun to come over the next month or so. I’ll post updates from time to time, and the link above will keep pointing to the current draft version of GWT2.
It is too late to write a very different book, and after all this is supposed to be just a revised edition of the seemingly quite well-liked GWT1! This is not the moment, then, for radical revisions. But otherwise, all suggestions, comments and corrections, including quick notes of the most trivial typos, will be most welcome! Send to the e-mail address on the first page of PDF, or comment here. (Just note the date of the version you are commenting on.)
Actually, many readers of this blog will have better things to do than spend much time with this sort of intro-level enterprise (though massive thanks are due to a handful who have already been e-mailing comments). But if you aren’t a student yourself, you could well have students who would be interested to take a look and let me know what they find too obscure, and/or give other comments and corrections. (Back in the day, I lined up a whole team of volunteers to look at a couple of chapters each of IGT2: and there turned out to be precisely zero correlation between “status”, from undergraduate to full professor, and the usefulness of comments!) So do please spread the word to any students, undergraduate or graduate, who might be — or ought to be! — interested.
It’s not much of a bribe, I know, but those impoverished students who prompt the biggest corrections/improvements will get a free paperback in due course, as well as having their name in lights in the Preface!
Added: Latest version, linked above, Thursday 12 September.