Some recent changes/additions to the site:
- There 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 falsi.
- There has 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 a not-so-familiar route for the logical beginner, and although intended as an introductory book for students has elements that will certainly interest their teachers too. More in due course …