← mapBedrock

What Is a Number?

⚗ Dr. Möbius, from the lab

Welcome to the lab. Before they let you anywhere near a matrix, you're going to answer a question so simple it's borderline insulting — and I promise you'll get it wrong on the first try: what the hell IS a number? Not the squiggle. The thing.

THE BIG IDEA

A number is not a symbol — it's the abstract quantity shared by every collection of that size, generated from zero by repeatedly adding one.

The squiggle is not the thing

Here's an experiment, and I want you to actually run it in your skull. Picture three rocks. Now picture three wolves. Now three Tuesdays — whatever the hell that looks like.

Rocks, wolves, and Tuesdays have nothing in common. They don't look alike, they don't smell alike, one of them will eat you. And yet every person who's ever lived can feel that those collections share something. That shared something — the property that survives when you throw away everything else about the objects — that is the number three.

The symbol "3" is just a name tag. The Romans wrote III. A computer writes 11 in binary. A shepherd five thousand years ago cut three notches in a bone. Four different costumes, same actor. Confusing the squiggle for the number is like confusing your name for you, and the Federation of Boring Textbook Authors lets kids do it for nine straight years. Not in my lab.

Building every number from almost nothing

Now for the genuinely deranged part, and I mean that as the highest compliment. In the 1880s a mathematician named Giuseppe Peano asked: what's the minimum equipment needed to build ALL the counting numbers? His answer is so cheap it feels like fraud:

  1. There is a starting number. Call it 00.
  2. Every number has a successor — the number right after it. Write the successor of nn as S(n)S(n).

That's the whole factory. Two parts. Now watch it run:

1=S(0),2=S(S(0)),3=S(S(S(0))),1 = S(0), \quad 2 = S(S(0)), \quad 3 = S(S(S(0))), \quad \dots

Every natural number is just 00 wearing some number of SS's. The set of all of them gets a name you'll see until the day you die: N\mathbb{N}, the natural numbers.

And here's the punchline hiding in plain sight: counting is just applying SS over and over. When a kid counts to five on their fingers, they are executing S(S(S(S(S(0)))))S(S(S(S(S(0))))). Addition? "Add 3" means "apply SS three times." The entire skyscraper of arithmetic — and I am not exaggerating, we will build the actual skyscraper in the next few lessons — rests on "there's a start, and there's always a next."

Place value: the greatest compression algorithm in history

So if numbers are just stacks of successors, why don't we write three hundred as 300 tally marks? Because some anonymous genius — probably in India, roughly 1,500 years ago — invented positional notation, and it is the single most underrated piece of technology your species owns.

The idea: a digit's position multiplies its value. The squiggle string 507507 doesn't mean "five, zero, seven." It means

507=5100+010+71.507 = 5 \cdot 100 + 0 \cdot 10 + 7 \cdot 1.

Each slot is worth ten times the slot to its right. That zero isn't decoration — it's load-bearing. It holds the tens place open so the 5 lands in the hundreds. Civilizations had numbers for millennia before someone invented a symbol for "nothing goes here," and the moment they did, arithmetic went from priest-craft to something children do.

And the ten? Pure biology. Ten fingers. There is nothing mathematically sacred about base ten — your computer runs everything in base two, where the only digits are 0 and 1 and the slots are worth 1,2,4,8,16,1, 2, 4, 8, 16, \dots So the binary string 101101 means 14+02+11=51 \cdot 4 + 0 \cdot 2 + 1 \cdot 1 = 5. Same number, different costume. Say it with me: the squiggle is not the thing.

Order: what "less than" actually means

One more piece of equipment. Take two naturals aa and bb. What does a<ba < b mean, from first principles?

It means: if you start at 00 and count upward, you hit aa before you hit bb. That's it. 3<73 < 7 because the successor machine reaches 3 on the way to 7. Equivalently — and file this version away, it becomes the official definition later — a<ba < b means there's some nonzero natural you can add to aa to get bb.

This puts all of N\mathbb{N} in a single file line, which is why we draw it as a line. Drag the point around and watch the machine in action — every notch is one application of SS:

number line
0246810121416182015
x = 15|x| = 15

The defect, and the whole plot of this course

Now I'm going to tell you the secret structure of everything you're about to learn, the thing they never say out loud.

N\mathbb{N} is beautiful. N\mathbb{N} is also broken. Ask it "what is 353 - 5?" and it stares at you blankly — no natural number answers that. Ask "what is 3÷53 \div 5?" Nothing. The system has questions it can pose but cannot answer, and mathematicians find that intolerable.

So here is the move, the one move, repeated for centuries: when a number system can't answer a question, we forge new numbers that can, and bolt them on.

  • 353-5 has no answer? Invent the negatives. Get Z\mathbb{Z}.
  • 3÷53\div 5 has no answer? Invent fractions. Get Q\mathbb{Q}.
  • "What number squares to 2?" has no answer? Brace yourself. Get R\mathbb{R}.

Each of the next several lessons is one of these forgings. You will watch numbers get invented, on purpose, to fix specific defects — and by the end of this stratum you'll see NZQR\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} not as four alien species but as one creature, upgraded three times.

You now know what a number is. Most people never find out. Go do the gauntlet.

🔬 SPECIMENS (worked examples)

Worked example 1 — unmasking a decimal numeral

Write 4,0834{,}083 in expanded form — exactly what is each digit doing?

Each slot, right to left, is worth 1,10,100,10001, 10, 100, 1000 — each ten times the last.

4,083=41000+0100+810+31.4{,}083 = 4 \cdot 1000 + 0 \cdot 100 + 8 \cdot 10 + 3 \cdot 1.

The 44 contributes four thousand, the 88 contributes eighty, the 33 contributes three — and the 00 contributes nothing numerically while doing the critical structural job of holding the hundreds slot open so the 44 lands in the thousands. Remove it and the numeral collapses to 483483.

Worked example 2 — reading a binary specimen

A computer hands you the binary numeral 110121101_2. What number is it?

Same machine, different fuel. In base two the slots are worth 1,2,4,81, 2, 4, 8 — each double the last, right to left.

11012=18+14+02+11.1101_2 = 1 \cdot 8 + 1 \cdot 4 + 0 \cdot 2 + 1 \cdot 1.

Add the contributions: 8+4+0+1=138 + 4 + 0 + 1 = 13.

So 110121101_2 and 1313 are the same actor in two costumes. Notice the zero doing its placeholder job again — holding the twos slot open.

Worked example 3 — the successor machine, caught red-handed

Express 44 purely in terms of 00 and the successor function SS. Then explain what "4+34 + 3" means in successor language.

Build up from the start:

1=S(0),2=S(S(0)),3=S(S(S(0))),4=S(S(S(S(0)))).1 = S(0),\quad 2 = S(S(0)),\quad 3 = S(S(S(0))),\quad 4 = S(S(S(S(0)))).

Four is the start wearing four SS's. Nothing else. No tally marks, no fingers, no squiggles — pure structure.

And "4+34+3"? It means apply the successor three more times to 4:

4+3=S(S(S(4)))=7.4 + 3 = S(S(S(4))) = 7.

This is the trap most people fall into from the other side: they think addition is a new idea. It isn't. Addition is repeated succession, exactly the way (next lesson, spoilers) multiplication is repeated addition. The skyscraper is one brick, stacked.

☠ KNOWN HAZARDS

  • Confusing the numeral with the number. "11" is five in binary, eleven in decimal, and three in Roman costume party numerals. The squiggle is notation; the number is the quantity. Keep them separate or every base-conversion problem will eat you alive.

  • Thinking 0 "does nothing" in 507. That zero is structural — it holds the tens slot open. Delete it and you get 57, a different number entirely. Placeholders are workers, not decoration.

  • Believing base ten is special. It's finger-count biology, not mathematics. Any integer b2b \ge 2 runs a perfectly good positional system.

  • Reading a<ba < b as just "a is smaller". Fine for vibes, useless for proofs. The working definition — some nonzero natural added to aa gives bb — is the one that survives contact with the rest of this course.

TL;DR

  • A number is the abstract quantity shared by all collections of that size — the symbol ("3", "III", "11₂") is just a costume.

  • All of N\mathbb{N} is built from two parts: a start (00) and a successor (SS). Counting = applying SS repeatedly.

  • Place value is compression: in base ten, each slot is worth ten times the one to its right, and 00 is the load-bearing placeholder. Other bases (like binary) work identically.

  • a<ba < b means counting from 00 reaches aa before bb — equivalently, you can add a nonzero natural to aa to get bb.

  • The course's master plot: every new number system (Z\mathbb{Z}, Q\mathbb{Q}, R\mathbb{R}) is invented to fix a question the previous one couldn't answer.

unlocks