A few weeks ago, I said I’d this month be starting to post weekly instalments of a new version of Gödel Without (too many) Tears, updating and expanding the previous version to match the new edition of the Gödel book.
Well, things have conspired to prevent this. A temporarily hospitalized very aged mother, lots of visits at some distance, arranging a nursing home, etc., have taken up/will for a while take up a great deal of time and energy, so I just haven’t been able to do the work I’d planned on GWT2. And I don’t want to do a rushed or second-rate job. So I’ll have to delay starting the new sequence of GWT posts until next term/next semester.
For the same reason, it will be a while before I can update the Teach Yourself Logic study guide. I’m planning next a long entry on Peter Hinman’s well-regarded blockbuster Fundamentals of Mathematical Logic, but that too is on hold.