Will_Sawin comments on No one knows what Peano arithmetic doesn't know - Less Wrong

17 Post author: cousin_it 16 December 2011 09:36PM

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

Comments (52)

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

Comment author: Will_Sawin 18 December 2011 05:10:47PM 1 point [-]

No. I meant to include a trivial example. I believed that it would help clarify the point.