1 + 1 Is Not Equal to 2 (and I had never stopped to think about it)

I took 1 drop of water. Added 1 more drop of water.

Result? One bigger drop. Not two drops.

I took 1 liter of alcohol. Mixed it with 1 liter of water.

Result? Less than 2 liters total. (the molecules compress)

I took one pile of sand. Combined it with another pile of sand.

Result? One larger pile. Not two piles.

---

Wait… so 1 + 1 isn’t always 2?

That’s when it clicked: I never truly understood what “1 + 1 = 2” actually means.

I only memorized examples where it worked.

And there’s a brutal difference between “it works in examples” and “it must always be true.”

---

The confusion no one ever explained to me

I spent years in school watching the teacher take 1 apple, then another apple, and say: “See? 1 + 1 = 2.”

I tested it with fingers, stones, pencils. It always gave 2.

So I thought I understood.

But I had only seen that it worked. I never saw why it worked.

And that’s the difference between an example and a proof.

---

What an example is (and why it fooled me)

An example is a specific case.

When I take 1 apple + 1 apple and get 2 apples, I proved that it worked in that case.

But I didn’t prove that it always works.

Why my brain accepted it so easily

Because we’re wired to recognize patterns.

If something works 10 times, my brain assumes: “It probably always works.”

That’s great for survival — but it doesn’t guarantee absolute truth.

Classic example: for centuries, people only saw white swans. Thousands of them. Until black swans were found in Australia. One counterexample destroyed centuries of “certainty.”

---

What a proof is (and why I avoided it)

A proof is a logical chain that proves something for all possible cases.

It doesn’t matter how many apples there are, which universe you’re in, or whether black swans exist.

If the proof is correct, the result is inevitable.

Why proofs are uncomfortable

They don’t rely on intuition. They don’t rely on the real world.

They exist in a realm of pure logic where:

• It doesn’t matter what you feel
• It doesn’t matter if it always seemed to work
• Only whether each step necessarily follows from the previous one

My brain hates this. I want to understand intuitively.

But proofs demand that you accept logically.

---

Where school misled me

School teaches with examples, but tests as if they were proofs.

• Shows 3 cases on the board
• Gives 10 exercises as homework
• If I get all 10 right, “I learned it”

But I didn’t learn why it works. I just learned to repeat the pattern.

Then a slightly different problem appears and I freeze.

Because I memorized the pattern — I never internalized the logic.

---

Why 1 + 1 = 2 felt obvious

Because I was bombarded with examples since childhood.

1 finger + 1 finger = 2 fingers
1 ball + 1 ball = 2 balls
1 number + 1 number = 2 on paper

I repeated this thousands of times until it became automatic.

But the real world isn’t mathematics

Remember the examples from the beginning?

• Drops that merge into one
• Liquids that don’t sum perfectly
• Piles that become a single pile

These don’t break mathematics. They show that physical objects are not abstract numbers.

Mathematics talks about pure numbers. Drops have surface tension. Liquids have compressible molecules. Piles are continuous, not discrete.

Obviousness comes from repetition, not understanding.

---

The moment everything changed

I asked myself:

Why is 1 + 1 = 2?

Old answer (example):
“Because if you take one thing and add another, you get two things.”

New answer (proof):
“Because, given the axioms that define natural numbers and the formal definition of addition, we can prove by construction that the successor of 1 added to 1 equals 2.”

The first describes what happens.
The second explains why it must happen.

---

How a real proof works

To prove 1 + 1 = 2, I can’t assume I know what “1”, “+”, or “2” are.

I have to define everything from scratch.

Defining numbers

Mathematics uses the Peano axioms:

1. There exists a number called 0
2. Every number has a successor
3. No number has 0 as its successor
4. If two successors are equal, the originals are equal
5. Mathematical induction works

From this:

• 1 = successor of 0
• 2 = successor of 1

Defining addition

• a + 0 = a (base case)
• a + successor(b) = successor(a + b) (recursion)

Addition is not “combining things.” It’s a formal operation.

Proving that 1 + 1 = 2

1 + 1
= 1 + successor(0)        [1 is the successor of 0]
= successor(1 + 0)        [definition of addition]
= successor(1)            [a + 0 = a]
= 2                       [2 is the successor of 1]

Done. No apples. No intuition. Just logic following definitions.

Now I’m not believing that 1 + 1 = 2.

I know it cannot be anything else.

---

The book that took 362 pages to reach this

I discovered a book — Principia Mathematica — where Russell and Whitehead rebuilt all of mathematics from scratch using pure logic.

They defined:

• What “truth” is
• What a “set” is
• What a “number” is
• What an “operation” is

And only on page 362 did they finally prove: 1 + 1 = 2.

Why did it take so long?

Because the more rigor you demand, the fewer things are obvious.

It’s not that it’s complicated — proving anything from absolute zero just takes work.

---

What changed in practice

Before: I accepted that something worked because I saw it work many times.

Now: I ask why it must work.

This applies to everything, not just math

Physics: I no longer accept “the apple falls, therefore gravity exists.” I want the model that explains why it falls.

Programming: I don’t accept “this code works.” I want to know why it works so it won’t break later.

Arguments: I don’t accept “everyone does it this way.” I want to see the logic behind it.

Examples are still useful

I’m not saying examples are useless.

They’re essential for building intuition.

But now I know:

• Examples show that something can be true
• Proofs show that something must be true

And confusing the two is dangerous.

---

What I do now when learning something new

1. Look for examples — to build intuition
2. Look for proofs — to understand structure
3. Look for counterexamples — to know the limits

That’s when I feel I truly understand.

---

A conclusion I wrote for myself

1 + 1 = 2.

But I spent years thinking I understood it without ever seeing why.

I learned that:

• Examples work until an exception appears
• Proofs always work (within the system)
• The real world doesn’t follow axioms
• Mathematics is about logical certainty, not counting objects

And the bigger lesson:

Examples show the world as it seems.
Proofs show the world as it must be.

Understanding the difference changed how I think about everything.