You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Benja comments on We won't be able to recognise the human Gödel sentence - Less Wrong Discussion

5 Post author: Stuart_Armstrong 05 October 2012 02:46PM

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

Comments (33)

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

Comment author: Benja 05 October 2012 11:03:07PM 2 points [-]

You're right, I didn't think that one through, thanks!

I still think the interesting thing is the potential for writing down a mathematical statement humanity can't decide, not an English one that we can't decide even though it is meaningful, but I'll shut up about the question for now.