TobyBartels comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong

8 Post author: Unnamed 25 August 2011 02:17AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (653)

You are viewing a single comment's thread. Show more comments above.

Comment author: TobyBartels 27 September 2011 06:57:04PM *  1 point [-]

Edward Nelson has now announced a proof that Peano Arithmetic (and even the weaker Robinson Arithmetic) is inconsistent. His proof is not yet fully written up, but there's an outline (see the previous link). Terry Tao (whose judgement I trust, since this goes beyond my expertise) reports on John Baez's blog that he believes that he knows where a flaw is.

Edit: Terry and Nelson are now debating live on the blog!

Edit again: I should have reported long ago that Nelson has conceded defeat.