New paper by Kripke (on mathematical incompleteness results in PA)

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 …

The post New paper by Kripke (on mathematical incompleteness results in PA) appeared first on Logic Matters.