cousin_it 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)
Of course! It's a theorem about math. There are no theorems about reality.
Yes and no. You can build computers that enumerate proofs even in universes with simple and known physics, like the Game of Life. But to mathematically define something like an infinite Game of Life grid, you need integers, and we don't have a complete axiomatization of those. So you could have a GUT that's completely defined "relative to the integers". I guess most physicists would accept that as a good enough GUT, even though it's incomplete in the Godelian sense.