A few quiet updates

Some recent changes/additions to the site:

There’s was a quiet update of Godel Without (too many) Tears a couple of weeks ago adding a new section, and slightly tinkering with what I say about recursive-but-not-primitive-recursive functions to remove a possible suggestio false.
There’s also been an update to a handout on Tennenbaum’s Theorem which adds a section on how not to prove the theorem and tinkers elsewhere.
The writing of exercises-and-solutions for the Gödel book proceeds at a snail’s pace, but there is a possibly interesting set of exercises on (informal) induction now added.

Next task of this kind: to get back to the Teach Yourself Logic Guide. For a start, I’ve three introductory books on my desk with different virtues, that I’d like to add notes on. In particular, Jan von Plato’s Elements of Logical Reasoning is very recently out with CUP and provides an interestingly route into logic, and although intended as an introductory book for students  has elements that will certainly interest their teachers too. More in due course …