Archer said:
Teax said:
2+2 is 4, regardless of existing literature, history or tradition.
2+2=1 if you use a modulus of 3
Yes, regardless of existing literature, history or tradition.
Analyzer said:
You assume their existence in the physical world of space and time. 2+2=4 is the approximation we make using numbers, to represent a perfect reality of quantity that we assume by default when we interact with the world.
It's even more basic than that, it's an "idealization". Even if you're not convinced about the existence of an objective/physical reality, math still exists between you and what you perceive as a subjective reality, as the idealization of what you perceive.
Analyzer said:
When I see two sticks on the ground I am innately aware they consist of "2" things and if I put two more they become "4" things. But I wouldn't be able to understand this knowledge for creating and using formal systems like math, praxeology, unless culture systematized them.
So you're saying you do understand the knowledge, yet you wouldn't be able to use the knowledge... until someone else also understands this knowledge? Where is the difference (in understanding) between someone else systematizing stick-counting for you, and you systematizing it yourself?
If you can't use it, I'm inclined to say, you haven't understood it in the first place.
Tannhauser said:
Your 1/0 example seems to imply that 1/0=Inf. But why not count in negative units and get -Inf? It seems that we have defined 1/0 as "undefined" because there is no way to assign a value to it in a way that is consistent with the rest of mathematics.
Except, we never established that we have to assign one value to everything, so there is no consistency issue here. I don't like to refer to the solution of 1/0 as "undefined". It's intuitively well defined as "no matter how many, it won't be enough". In other words: there exists no such x that would solve the equation 1/0=x. Or simply, there is no solution/value.
The value is only undefined if we assume there has to be one. (which we are often foolishly brainwashed into believing by our culture).
Inf is not a magnitude. So 1/0=Inf is not true/false, instead it doesn't even make sense to write down unless you define exactly what Inf means in that context.
Tannhauser said:
What happens if you extend the set of numbers to complex numbers?
The elusive
i number, which is same thing as the minus sign, just a direction modifier. Except this time, you turn halfway-back.
So
i * i * 1 = -1, because turning a "one" halfway-back two times, is turning a "one" back all the way.
Tannhauser said:
What prevents you, for example from seeing a water drop being merged with another drop and then concluding that 1+1=1, and then building a mathematical system with that as an axiom? The truth is that you indeed can do that – the question is just whether that is a useful system.
Yes

even that is a useful system. It models exactly the perceived behavior of liquids. Specifically it models the contiguous unit count during a merging process. You
have to realize that, because formal math does not take away the burden of correct
modeling. Even with all the work supposedly-smart people have put into meticulously formalizing math, you still have to figure out what pieces of reality correspond to what formalism. To do that you have to understand both (both are structurally the same so it's half as hard as it sounds).
So, what prevents us from using your new + sign (lets call it [+]) as a the default + sign for all math? Simply the fact that both axioms exist in your perceived reality. To model the mass of the 2 liquid drops, you'd use the normal + sign again, 1+1=2, while at the same time use 1[+]1=1 for drop count. Using [+] for everything would put you in denial about [+] not correctly modeling anything except drop count after merging.
Tannhauser said:
From what I see, the question is not whether there exists an intuition for every mathematical concept, but whether you could construct mathematics exactly as it is, by going the other way: from intuitions to axioms.
Any one formalism that is based on the innate understanding of reality would be transferable to any other, since they're all based on the same innate understanding. Therefore structurally, math couldn't exist any other way it does now. Notation is just eye-candy.