wedrifid 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: wedrifid 17 December 2011 04:03:11AM 4 points [-]

I'd really like to continue writing about AI-related technical stuff on LW.

Please do.

Would removing the word "obvious" satisfy your complaint?

You could go all mathematician and use 'trivial'. ;)