Universality

If Pythagoras had not lived, or if his work had been destroyed, someone else eventually would have discovered the same Pythagorean theorem. Moreover, this theorem means the same thing to everyone today as it meant 2,500 years ago, and will mean the same thing to everyone a thousand years from now — no matter what advances occur in technology or what new evidence emerges. Mathematical knowledge is unlike any other knowledge. Its truths are objective, necessary and timeless. What kinds of things are mathematical entities and theorems, that they are knowable in this way? Do they exist somewhere, a set of immaterial objects in the enchanted gardens of the Platonic world, waiting to be discovered? Or are they mere creations of the human mind?This question has divided thinkers for centuries. It seems spooky to suggest that mathematical entities actually exist in and of themselves. But if math is only a product of the human imagination, how do we all end up agreeing on exactly the same math? Some might argue that mathematical entities are like chess pieces, elaborate fictions in a game invented by humans. But unlike chess, mathematics is indispensable to scientific theories describing our universe. Another interesting part of this whole conundrum is that a lot of the computer science, technology, and communication services that we use now is based off of the math. If the math that is "universal" can be used then what of the things that it is used for?