There is a new paper by Saul Kripke on “Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History”, available here on arXiv. Thanks to David Auerbach for the heads-up.

This blog gets a mention. I went wrong on the history in the first edition of *IGT*. Not, I fear, that I do a *lot* better in the second edition …