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.

shminux comments on What independence between ZFC and P vs NP would imply - Less Wrong Discussion

1 Post author: alexflint 08 December 2011 02:30PM

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

Comments (62)

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

Comment author: shminux 09 December 2011 06:46:06PM 1 point [-]

classic != classical. English is weird...

Comment author: dlthomas 09 December 2011 06:55:47PM *  0 points [-]

Valid, but I've a high confidence grandparent was just a joke anyway, and classic ~ classical enough for that...

Comment author: komponisto 10 December 2011 02:09:31AM 2 points [-]

GP

Please do not invent new abbreviations without formally introducing them first.

(Yes, I can figure out what it means, but I shouldn't have to. One should be able to use simple recognition to understand an abbreviation, without having to make any inference.)