Baughn comments on The mathematical universe: the map that is the territory - Less Wrong
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 (119)
And anyway, if you can find a statement that can neither be proved nor disproved, then you can create two greater axiomatic systems where it's defined as true or false, respectively.
There's nothing more mysterious about this than the other axioms; math holds predictive power to the degree the axiomatic system we choose to use has axioms that match our universe.