Kawoomba comments on Natural Laws Are Descriptions, not Rules - 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 (234)
B: Regarding arithmetic, I know they're truths because I've defined the underlying territory. I - collectively speaking - decided on axioms from which the whole tree of lemmata and corollaries spawns. Granted, I cannot fully track all the branches of the tree due to Goedel, there will be true statements that follow from my axioms that I'll never be able to trace back to the roots (which would be the proof), but the statements that I do prove I can rely upon to be true.
Why? Because it is I who made up the whole system, I don't need to match it to any external system of unknowns. Unlike my model of physics.