> Instead it is revealing truths about the universe
Mathematical proofs aren't revealing truths about the universe. Mathematical proofs are independent of what the universe is like. Any proof would be the same in any possible universe.
Mathematical proofs aren't revealing truths about the universe. Mathematical proofs are independent of what the universe is like. Any proof would be the same in any possible universe.
That's exactly what they do, apply logic formally and systematically to discover truths.
Sure, there may be a universe where 2 + 2 = 5, but then that universe would have its own mathematics that can prove that to be true. And there will be a way to bridge that alien math to our own, again by logic and proofs, until we have a larger sense of truths not only in our universe but all possible universes. Proofs are part of the constant process of revealing deeper truths to the best of our understanding.