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

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.