There are no correct axioms. You can change the axioms as you wish and make your own math2.0. And you will be able to apply it to things that follow thoose axioms but finding such things that follow them is the only hard part. We define 1+1=2 and that is true because we define it that way. If it does not hold true in any physical or something then it is that you are applying a correct math for a system which doesnt work with that math(i.e, you are the problem for assuming the same axiom is true for the real system)
Comment on Theories on Theories
fushuan@lemmy.blahaj.zone 22 hours ago
Math also fails sometimes, we’ve had to invent new math along the way because math is always correct only in the given constraints of how we currently understand math. If those constraints are challenged math evolves.
Example, imaginary numbers weren’t a thing for a good while and some stuff didn’t work correctly. All math stands upon 1+1=2, we don’t know if that always holds true, for now we asume it.
mexicancartel@lemmy.dbzer0.com 17 hours ago
NannerBanner@literature.cafe 17 hours ago
Example, imaginary numbers weren’t a thing for a good while and some stuff didn’t work correctly
And here’s Lewis Carroll to regale us with a tale that absolutely won’t be misunderstood and taken at face value by later generations about how foolish these silly mathematicians are with their wonky numbers.
for_some_delta@beehaw.org 21 hours ago
Axioms serve as a starting point.
Thalfon@sh.itjust.works 21 hours ago
In fact, the entire foundation of math – its system of axioms – has had to be fixed due to contradictions existing in previous iterations. The most well known perhaps being Russell’s paradox in naive set theory: “Let X be the set of all sets that do not contain themselves. Does X contain itself?”
In fact, there have been many paradoxes that had to be resolved by the set theory we use today.