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.

Vladimir_Nesov 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: Vladimir_Nesov 08 December 2011 06:55:56PM 5 points [-]

If you suppose "interpretation" to be a distinction that can't be settled by observation, and simultaneously that any distinction must be settled by observation, then it's not clear what you're objecting to. These posts seem relevant: Belief in the Implied Invisible, You're Entitled to Arguments, But Not (That Particular) Proof.