@rozenglass @sir math is neither invented nor discovered, it is only taught. If you are sitting in the corner brainstorming that's not math. Math starts when you start explaining it to another person. You don't need arithmetic or even a concept measurement to build a tent, you need them to tell me how to build a similar tent on a small clay tablet, cause they heavy af.
I'm just saying none of that is math. Math is not the science of some fundamental truth (in a way it proved that such truth is impossible to define https://en.wikipedia.org/wiki/Tarski's_undefinability_theorem). I'm also not saying that invention, discovery or common sense do not exist. They do. They come from various places, be that the physical world, or your imaginary unicorn land. Still not math.
I'm playing around with some sticks and woah a tent appears! (not math)
Can I do this again? Woah I did it again! (still not math)
This is kinda tedious, maybe I could get Bobalice (ancient Babylonian name) to do this for me. How do I explain it though? (this is where it starts)
Bobalice after explanation: I knew this before you were born you dumbo (math still happened)
Tent is an analogy of any discovery or invention or knowledge. The rigorous explanation is math, even if it's an explanation of something well known. It's useless you would say, and sure it is, until you are sufficiently advanced to build a machine (in the broadest sense) that can make tents, then it becomes your holy grail.
Something that exists in just one person's head will not exist for long. Unless of course they make it into a machine which no one else understands. I for one welcome our rob... no I don't!
Math is the teachings of our kind. I can't imagine any other definition that wouldn't be religious.
Our good robot servants we understand, the one we don't/can't understand will make us its servants, or worse deprecate us. That's what I meant. If it's not that machine, and is just coincidentally unexplained, than someone will come up with an explanation eventually. And until that point we'll be wondering "is this math or is this our new overlords?" with some thick plot, much better than terminator or matrix.
> The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.
Nice Wikipedia link, thanks :)
> I'm playing around with some sticks and woah a tent appears!
I'm not sure if this tent story is an analogy or meant literally, if it's an analogy to the discovery/invention of math, then no, I think math can exist with one person only, and without the communication of information between multiple people. But it might be that my definition of math, and yours, are not exactly the same.
But, if the tent story is meant literally, then I don't see what math you're talking about that was introduced when I explained to Bobalice, who knew already how to make a tent before I too made it independently :]
> I'm playing around with some sticks and woah a tent appears!
As a side note which is probably irrelevant, but I'm not sure, it might be that you designed the tent with way more intent than this. i.e. not accidentally, but because you thought something like "I need shelter from the sun, so I need a barrier, and I need something to hold up the barrier, nope, I need at least four of them to keep the balance, and I need..." etc.