2 ms·
Another recent example: Edward Nelson of Princeton retracted his claim of having a proof of the inconsistency of Peano Arithmetic. Replying to Terence Tao, he
by jonjacky 14y ago
Another recent example: Edward Nelson of Princeton retracted his claim of having a proof of the inconsistency of Peano Arithmetic. Replying to Terence Tao, he wrote: "You are quite right, and my original response was wrong. Thank you for spotting my error. I withdraw my claim."
http://m-phi.blogspot.com/2011/10/nelson-withdraws-his-claim.html http://m-phi.blogspot.com/2011/10/nelson-withdraws-his-claim...
http://m-phi.blogspot.com/2011/10/inconsistency-of-pa-and-consensus-in.html http://m-phi.blogspot.com/2011/10/inconsistency-of-pa-and-co...