More Gödel, less Parsons, no LaTeX

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 ...