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: shminux 08 December 2011 06:33:15PM *  -2 points [-]

...And we are back to square one, the unfalsifiability of an interpretation, which makes the adepts feel good about their "knowledge" without running any risk of it being shattered.

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.