@BestGirlGrace
Math is two things:
- A set of notations for describing relationships;
- A set of techniques for reasoning about those relationships.
Many of the relationships we describe and reason about are discovered, as are relationships-between-relationships, but the notations and techniques are necessarily invented.
@ShadSterling @BestGirlGrace A simple example: the Pythagorean theorem itself is a fundamental fact (i.e. discovered); the way we express it and prove it (or not), and the way we use it to calculate things, is entirely up to us (i.e. invented). The underlying logic of those calculations, however, are intrinsic parts of the fundamental fact (i.e. discovered).
All three things mentioned (the relationship itself, the language of expression, and the surrounding techniques) can definitely all be called parts of math. The either/or of the question has been useful because it has been very successful in achieving some really good discussion, but as a logical argument it is a false dichotomy. The actual answer is “both”.