-
Posts
288 -
Joined
-
Last visited
Duality's Achievements
Reformed Changeling (13/23)
10.7k
Brohooves Received
Single Status Update
-
To one of the smartest people I know, Merry Christmas. And I do mean that, by the way. You seem very knowledgeable and are a very nice person. I think maybe you will appreciate this, then:
Not much of a gift, but Merry Christmas again !
- Show previous comments 19 more
-
Actually, cribbing was a lot of how maths was transmitted in ancient times. Almost every Greek treatise we have only made it down through the millennia because people made translations and copies and even nicked large chunks outright to bolster their own expositions.

That comment on why 1 + 1 = 2 actually prompted me to research the proof of that equation; I've never thought of looking it up before.

It's a pretty short proof (and relatively easy to understand) if you work using the Peano axioms, which are elementary enough that the system of mathematics that is constructible from them can't prove a lot of what conventional maths can. They centre around a primitive mathematical concept called the 'successor function', S(n), which outputs the natural (counting) number that comes immediately after the natural number n that you input. To put it in more familiar language, S(n) = n + 1, but the concepts of both '1' and '+' are defined by S(n) and the concept of 'n' is defined by the Peano axioms, so the chain of definition is formally the other way around.
Proof spoilered in case you're interested in the full step-by-stepping:
SpoilerYou start off with the five Peano axioms, defining the set of natural numbers (all whole numbers from 0 upwards) and several of the set's key properties:
- 0 is a natural number,
- For every natural number n, S(n) is a natural number,
- For all natural numbers m and n, m = n if and only if S(m) = S(n),
- For every natural number n, S(n) = 0 is false,
- If K is a set such that (i) K contains 0 and (ii) for every natural number n, n being in K implies that S(n) is in K, then K contains every natural number.
(The last one is a tricky second-order axiom that people sometimes omit in favour of an even weaker first-order induction scheme, but it's part of the canonical Peano axioms so I figured it was fair game.)
In the next step, you define the addition operation ('+') and the numbers '1' and '2' within the framework of the Peano axioms, through the following definitions:
- For every natural number n, n + 0 = n,
- For all natural numbers m and n, m + S(n) = S(m) + n,
- 1 = S(0),
- 2 = S(S(0)).
Then, for the third and final step, you apply these definitions to prove the desired result:
1 + 1 = S(0) + S(0) (definition 3)
= S(S(0)) + 0 (definition 2)
= S(S(0)) (definition 1)
= 2 (definition 4)
Five axioms, four definitions, and four lines of logical reasoning in total.

Ach, you're not alone when it comes to long division. I consider it one of my greatest mathematical achievements that I still remember how to use it. I hardly use it much nowadays, but I spent hours and hours as a kid trying to comprehend the method behind it before it finally clicked in my head and stuck.
Finding formulas from other formulas is an important skill. This ability is much to your credit.

That cantaloupe comment is discriminatory against people who want to make a fruit salad in their bathtub. For shame.
My favourite season has got to be autumn. Balanced between freezing cold and burning hot, and without the abrupt deluges that come with spring. How about yourself?
-
Whenever I think of explaining why 1+1=2, I think of that scene in 1984 where they’re trying to explain why 2+2=5.
Hah, thanks! Guess I have a few good traits, though even a broken clock is right twice a day.
I am okay with autumn. I prefer spring a bit more personally. Leaves aren’t falling. I used to love summer because then I got to swim a lot, but nobody I know enjoys swimming, so I don’t get to anymore. Were you ever big on swimming? Water sports?
-
- Show next comments 9 more