Why is #1+1=2# ?

2 Answers
May 13, 2017

See explanation:

Explanation:

Imagine a number line:

You have from #0-10#, and you start with #1#. You then #+1#, which means to move up one step in the number line. And thus, we have #1+1 = 2#

All the best!

May 13, 2017

It depends...

Explanation:

It depends on how you start, but one basic answer is that #2# is the name we give to the number #1+1#.

It is much more convenient to have distinct names for numbers than to have to write #1+1# or #1+1+1+1+1#, etc.

It really comes down to how you define the concept of numbers at all. Many different approaches have been used, probably the most notorious of which is Whitehead and Russell's "Principia Mathematica" in which they attempted to describe the whole of mathematics based on a very formal approach. It took them until page 379 of the first volume to prove that #1+1=2#, which they described as "occasionally useful".

More usefully, we can use Peano's axioms for the natural numbers, which can be formulated as follows:

  • #0# is a natural number: #0 in NN#

  • The successor of a natural number is a natural number: #n in NN => sigma(n) in NN#

  • #0# is not the successor of any natural number: #not EE n in NN : 0 = sigma(n)#

  • Different natural numbers have different successors: #AA m, n in NN, sigma(m) = sigma(n) => m = n#

  • (Induction) If a proposition holds for #0# and for the successor of any natural number for which it holds, then it holds for all natural numbers: #(P(0) ^^ (AA n in NN, P(n) => P(sigma(n)))) => AA n in NN, P(n)#

So the natural numbers are: #{ 0, sigma(0), sigma(sigma(0)), ... }#, more commonly known as #{0, 1, 2,...}#

We can define addition recursively by:

  • #0+0 = 0#

  • #AA m, n in NN, sigma(m)+n = m+sigma(n) = sigma(m+n)#

Then we find:

#sigma(0) + sigma(0) = sigma(0+sigma(0)) = sigma(sigma(0+0)) = sigma(sigma(0))#

That is #1+1=2# !