The trouble with these sorts of expressions is that they are slightly ambiguous.
Mathematically speaking, the expression is poorly written (and I'd argue that it's out right incorrect). There should be some form of brackets; either (2+3)x4 or 2+(3x4). So these sorts of problems never - should! - arise in maths. However, the boring explanation is essentially that since the integers form a
ring, you can only ever take 2+3x4 to mean (2+3)x4 when the brackets are explicitly there. So when they are not there, you have to assume it means 2+(3x4).
Howie said:
But just because something is a rule, does that make it fact? Does it make it truth?
Does that mean that 2 plus 3 times 4 is 14?
I'm not so sure it does.
I realise at this point that this now becomes a philosophical question rather than a mathematical one - and I'm not saying anyone is right or wrong - I'm just curious as to how many people are aware of the order of operations and who uses it.
The thing is, maths is just a set of rules - these rules define what is fact and truth. Maths, equations, expressions, all exist outside the "real" world. So there's no way to determine if something is a fact in the same way would in the real world. For example, we can know whether or not "I am sitting at my desk typing this post at 9:47pm on 16/4/16" is a a fact or not. We can't really do this in the same way with maths. So, the set of rules which are "made up" do define the truths of maths; but of course, there are plenty of nitty gritty things behind those rules as to why they must be the way they are.
So, in theory, everyone should be aware of the order of operations and should use it, since that is the "right" way to do it!
Of course, everything I've said is just my opinion on all this / my understanding of things. But the points you're raising here are quite heavy. I studied maths at uni so got to understand a lot of the nitty gritty things behind why the rules are the way they are, but also did some philosophy stuff to see the viewpoints of how we get to 'mathematical truths' and the like.