jsteinhardt 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)
My apologies, I was imprecise in my original comment. I was trying to get at the fact that "whether Turing machine M halts" is not actually a concrete question, as had been claimed above (I was assuming that the reason it was presumed to be concrete is because you can just watch the machine and it either halts or doesn't, and my point was that you can't actually just watch a machine to see if it will halt).