>>12293699Pemdas specifies precedence of arithmetic operations, and anyone who has ever seen a compiler knows that operator precedence is purely a syntactic construct; it changes how a computation graph is organized, but it doesn't change the meaning of the operation itself.
The (left) distributive law is a*(b + c) = a*b+a*c. We read this as (a*b) + (a*c) because of pemdas so our version without parenthesis is still correct.
If we set the precedence of multiplication lower than addition, then a*b+a*c = a*(b + a)*c which is incorrect. This doesn't mean the distributive law is wrong or that we need to change the definition of addition or multiplication, but that we just need parenthesis, so the only correct version would be (a*b) + (a*c).
The guy in the reddit post honestly sounds like he just took an intro abstract algebra course and wants to sounds smart with his basic knowledge of rings.
