ProfuselyQuarky said:
I always thought that people never invented math, rather, math has been discovered. How else could it so perfectly parallel our world? So, like anything else, I had the impression that there should always be a right and wrong way to order operations.
But, never mind, thinking like this too much would probably do more harm than good (for me at least).
You're right, people did discover math, not invent it. In the same way that people didn't invent love or friendship or hate, they discovered it. Order of notations however are a language. Something to communicate with to other people. So why people didn't invent love, they did invent many words for love or hate. In the same way, people did invent many different notation systems to communicate math with.
You're studying abstract algebra, so you should know what an operation is. An operation is a function. For example, addition is a function ##f:\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}##. This means that addition can only take two numbers and output a third one. We cannot take in three numbers or ##4## numbers. So something like ##2+3+4## is not defined. Rather, something like ##2+(3+4)## (formally ##f(2;f(3,4))##) is defined, and the same for ##(2+3)+4## or ##f(f(2,3),4)##. Those end up being the same thing.
Strictly speaking, the order of notations is not even needed. It's just not a part of math actually. If ##g:\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}## is multiplication and ##f## is addition, then I can safely write ##2+3\cdot 4## as ##f(2,g(3,4))##. Or I can write more complicated expressions such as ##f(g(f(2,g(5,4)),4),f(2,g(3,4)))##. Everything in usual math I can write with this ##f## and ##g##. Brackets and order of notations are never actually needed. You will however agree with me that notations such as ##f(g(2,3),g(3,4))## are hard to read. That's why we abbreviate them in a more convenient system that is easier to read. But then we need to make an arbitrary choice - order of notations. So order of notations are just not a part of math, they're just meant to make life easier on us.