This group has been designated for adults age 18 or older. Please sign in and confirm your date of birth in your profile so we can verify your eligibility. You may opt to make your date of birth private.
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.
No comments have been added yet.
