In school I learned that there are four basic arithmetic operations: addition, subtraction, multiplication, and division. I always wondered why modulus is not a basic arithmetic operation. Is there any explanation that is also understandable by a math noob?
[Math] Why is modulus not a basic arithmetic operation
arithmetic
Related Solutions
It is false that your PEDMSA rule (without the left-to-right rule) suffices to correctly evaluate any arithmetic expression.
$(6/3)/2 \color{red}\ne 6/(3/2)$.
$2^{(1^2)} \color{red}\ne (2^1)^{^2}$.
This shows that you still need the left-to-right rule when processing each arithmetic operation, and need the inside-out rule for exponentiation. It is true that with these rules in place, PEDMSA works. But the justification given by other existing answers is incomplete. To handle arbitrarily long arithmetic expressions, you will need induction. Also take note that exponentiation in some programming languages like Python have right-to-left associativity, so 2**1**2
is interpreted as 2**(1**2)
; this is obviously because there is no superscript in source code.
Here is the proof that PEDMSA+LTR+IO (namely PEDMSA with the left-to-right and inside-out rules) works for all arithmetic expressions involving $+,-,*,/$ and superscript-exponentiation and brackets, but no unary negation.
Take any expression $E$. By induction we can assume that PEDMSA+LTR+IO works for expressions that have fewer operations than $E$. Here parentheses are counted as operations. We shall analyze what happens when we apply PEDMSA+LTR+IO to $E$. We have the following cases:
$E$ has a parenthesis: The inner expression has fewer operations than $E$, and is hence evaluated correctly. After that, the resulting outer expression now has fewer operations than $E$, and hence we get the correct answer.
$E$ has no parentheses but has exponentiation: $E$ is reduced in the same way as conventionally (inside-out for chained exponentiations), so we get the correct answer.
$E$ has division and no higher-precedence operation: Let $p$ be the position of the first $/$ in $E$. By considering the $*$ operations immediately to the left of $p$, if any, it is clear that $E$ is of the form $\cdots [x * \cdots] y / z \,\cdots$, where there is no $*$ or $/$ immediately before $x$, and there is only a chain of $*$ between $x$ and $y$, and here the square-brackets in $[x * \cdots]$ denote that that subexpression is optional (it will not be there if whatever operation immediately to the left of $p$ is not $*$). Then the value of $E$ is $\cdots \Big( \big( [x * \cdots] y \big) / z \Big) \,\cdots = \cdots \Big( [x * \cdots] \big( y / z \big) \Big) \,\cdots$, and so our reduction results in an equal expression with fewer operations, and hence we get the correct answer.
$E$ has multiplication and no higher-precedence operation: $E$ is reduced in the same way as conventionally (leftmost $*$ first), so we get the correct answer.
$E$ has subtraction and no higher-precedence operation: $E$ is of the form $[x + \cdots] y - z \,\cdots$, where there is only a chain of $+$ between $x$ and $y$, or possibly $[x + \cdots]$ is empty (if the first operation is $-$). The value of $E$ is $\Big( \big( [x + \cdots] y \big) - z \Big) \,\cdots = \Big( [x + \cdots] \big( y - z \big) \Big) \,\cdots$, and so our reduction yields an equal expression with fewer operations, and hence we get the correct answer.
$E$ has only addition: Our reduction yields the correct answer because any reduction does.
I shall leave it as an exercise to extend this theorem and proof to cater for unary negation. One must think very carefully about how to amend the evaluation rules to correctly handle expressions like:
$-3/-1*--4--2*---5$
If you do not consider this valid, then you must decide and precisely specify what expressions are valid.
Found this table on Wikipedia. It has all the formal names for those operations plus logarithm.
https://en.wikipedia.org/wiki/Template:Calculation_results
Addition
${\left.{\begin{matrix}{\text{summand}}+{\text{summand}}\\{\text{addend (broad sense)}}+{\text{addend (broad sense)}}\\{\text{augend}}+{\text{addend (strict sense)}}\end{matrix}}\right\}}=sum$
Subtraction
${\text{minuend}}-{\text{subtrahend}}=difference$
Multiplication
$\left.{\begin{matrix}{\text{factor}}\times {\text{factor}}\\{\text{multiplier}}\times {\text{multiplicand}}\end{matrix}}\right\}=product$
Division
${\left.{\begin{matrix}{\frac {{\text{dividend}}}{{\text{divisor}}}}\\{\text{ }}\\{\frac {{\text{numerator}}}{{\text{denominator}}}}\end{matrix}}\right\}}={{\begin{matrix}fraction\\quotient\\ratio\end{matrix}}}$
Modulo
${\text{dividend}}{\bmod {\text{divisor}}}=remainder$
Exponentiation
${\text{base}}^{\text{exponent}}=power$
nth root
${\sqrt[{\text{degree}}]{{\text{radicand}}}}=root$
Logarithm
$\log _{\text{base}}({\text{antilogarithm}})=logarithm$
Best Answer
When I learned division in elementary school, I learned "remainder" at the same time. I think it is mostly terminological that this is not called an "operation", because the division algorithm produces both the whole number quotient and the remainder of division of two natural numbers, at the same time.
On the other hand, when we move to the rationals, "remainder of division" is no longer a very interesting operation, because the rationals are a field. Students are taught to stop using the division algorithm and start using a different algorithm to divide fractions. This is perhaps a reason that the remainder operation is de-emphasized. But students are certainly still able to compute remainders if they are asked to; they just don't describe it as an "arithmetical operation".