The first nine episodes of the revised Gödel Without (Too Many) Tears are now online here. (Two more to come next week, and a closing review in a twelfth episode thereafter.)
But my plan to work through Parsons again here has unfortunately had to be shelved as a result of other New Zealand excitements. Though I do still hope to have something more useful to say about Parsons’s claims about induction and impredicativity in particular.
And, prompted by a couple of emails, I’m vividly aware that I’ve promised for ages to seriously update LaTeX for Logicians and move it to a new home here. I will get round to that when I get back to the UK in April.