dlthomas comments on What independence between ZFC and P vs NP would imply - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (62)
Then refrain.
This is not refraining from picking a model - this is choosing to reify certain classes of interpretation. If you are saying, "The math is just what the math is, and says nothing more" then it doesn't purport to be complete in the first place, and isn't a counterexample.
Seems like we are talking past each other (happens quite often whenever the MWI is mentioned), so I will disengage.