/sci/ - Science & Math

>>15157750
Mathematics is just logic applied to quantities. Is logic invented or discovered? Statements can be true or false regardless of us, so I think it's fair to say the process of inference is about discovering other truths, not inventing them. However, the abstraction is invented. The logical objects involved in the process of formalizing logic do not exist in the real world, even if they're useful to describe reality. I believe the same is true to mathematics. Quantities exist, but the abstraction of it does not.