alt Hacker NewsWhat is truth if we are free to pick our axioms?
The universe is either Euclidean or not. If it were, how can theorems on non-Euclidean geometry be true?
What is truth if we are free to pick our axioms?
The universe is either Euclidean or not. If it were, how can theorems on non-Euclidean geometry be true?
You pick your axioms and you see what must be true. With math and logic, we can reason about any possible universe even though we live in only one of them.