Is Math Invented or Discovered?

Your coffee shop gives you a loyalty card with ten squares. Buy a coffee, get a stamp. Fill the card, get a free coffee.

Nobody ever explained how the card works. Nobody had to. The barista stamps square one, then square two, then square three. The tenth stamp comes after the ninth. You can't stamp your way back to a blank card. And two cards with different numbers of stamps never come out alike once each gets one more.

Notice what didn't happen. Nobody signed anything. There was no committee, and no vote on whether square nine comes after square eight. The card works that way, and so does every card in every coffee shop in every country.

So where do the rules of counting come from? Did somebody make them up, or were they there all along?

(When your card fills up, you hand it in and start a fresh blank one. Hold on to that. It comes back.)

The short answer

Discovered. Counting is the record of telling two things apart, again and again. The rules of counting are facts about that record, there is exactly one way to count, and every principle past the fractions has a price. Here's the whole answer in six steps. The rest of this post takes them one at a time and shows how we know each one.

1. Counting is a record. Every time reality tells two things apart, the record gains one fresh entry. That record is the counting numbers: a start, then one more, then one more, with no last count.
2. The rules come with the record. The start is never "one more" of anything. Two different counts never step to the same next count. Every count is reached from the start. And 1 + 1 = 2 checks with no extra principle at all.
3. There is exactly one way to count. Anything built from a start and a step that never loops back, never merges two counts and is reached from the start is the record again, lined up with it in exactly one way. A 12-hour clock comes back around, so it isn't.
4. Debts and slices come free. A negative number is a pair of counts, what's paid and what's owed. A fraction is a pair of counts with a rule for when two pairs are the same. No new ingredient is needed to get either.
5. Every principle past the fractions has a price. Each one has a name, each one is a power the record doesn't have for free, and the prices we've named are proved to be different from one another.
6. The smooth number line is bought. No list holds every endless yes-or-no sequence, so no list holds the line. "Is this number exactly zero?" costs one price, and "is it smaller?" costs a bigger one. The numbers the record holds are the ones a program computes.

Why this matters: it settles what math is. Math is a fact about reality, not a game people agreed to play. Counting isn't a language we laid over the world afterward. It's how the world's own record is tallied, which is why it describes the world. And it draws a line you can read. Everything up to fractions is free. Every principle past it has a price tag. The smooth number line, the one math class hands you as if it were a given, is on the paid side.

Here's the route. I'll stop after each step to zoom out, so you always know where we are, what we've got, and why the next step comes next.

Step 1: Counting is a record

Counting is the record of one act: telling two things apart. Every time reality does it again, the record gains one fresh entry. That growing record is the counting numbers.¹

Here's how we know. Part 1 of The Universe Writes in Pen started with a cup of coffee. Take a sip, wait ten minutes, take another: it's colder. To know that, something has to have kept a note about the earlier sip. From that, Part 1 drew three plain facts, and the counting numbers come straight out of them:

1. Things can be told apart. Hot isn't cold. This happened, and then that happened.
2. Comparing two things needs information about both. Colder than what? You need the earlier sip and the later one.
3. Checking a note is a new event. Remembering the earlier sip doesn't change it. It adds a new moment after it.

Follow those all the way through and Part 1 reached a plain conclusion: the past still exists. Reality is a permanent record of every event, and nothing in it is ever erased. I'll just call it the record.

The third fact is the engine. Look back at the record and you've done something new, and that something is one more entry. Look at that, and there's one more. The record only ever grows by one fresh entry at a time, and an old entry never changes.

Start at the very beginning, before any entry. That's a blank record. Tell two things apart and there's one entry. Check what you wrote and there are two. Check again and there are three. A record's count is how many entries it holds, and "one more" is the only move there is.

I'll draw the record as a loyalty card. The card is a drawing of the real thing. The real thing is the record of telling things apart, and every stamp is one entry. Each card below is one count, and each arrow is one fresh stamp.

The Ledger, my drawing of the permanent record from Part 1, stamps every card in the same ink. It has one response to all of it. Noted. One more.

Counting is a record: a blank start, then one more, then one more. There is no last count. Whatever the record holds, one more look adds one more.

Zoom out. Step 1 is done. Counting is the record of telling things apart: a blank start, then one fresh entry at a time. We didn't need a new ingredient to get the counting numbers, only the record and "one more". Next, and why: the rules. Textbooks give counting a list of rules that make numbers behave. Are those rules in the record too?

Step 2: The rules come with the record

Three rules of counting hold for the record, and each one is proved:

1. The start is never "one more" of anything.
2. Two different counts never step to the same next count.
3. Every count is reached from the start.

And 1 + 1 = 2 checks with no extra principle at all.

Here's how we know. All three are visible on the card.

Rule 1. The blank card isn't a card with a stamp added. "One more" always lands on a card with at least one stamp, so no card ever steps back to blank.

Rule 2. Add a stamp to a card with 3 stamps and to a card with 5, and you get 4 and 6. Two cards that look the same after one more stamp looked the same before it. Peel the last stamp off each and you're back where you started.

Rule 3. Every card you're holding got its stamps one at a time, starting from blank. No card turns up from somewhere else.

Right about here, a small voice in the back of your head clears its throat. Meet Yeah-But. He has never once said wow.

Checking anything takes reasoning, and ordinary reasoning already counts its own steps. So the rules show up twice: once inside the checking, and once as facts about the record. The second is the one that matters here. The record obeys all three rules, and, as Step 3 shows, nothing obeys all three except copies of the record. Textbooks list these three among the Peano axioms: rules you're asked to accept. For the record they're facts. You can check each one on the card.

Now 1 + 1 = 2. Adding works by two moves. Adding 0 leaves a count alone, and adding "one more than m" gives one more than adding m. Here's 1 + 1:

That's the whole check. It never says "this is either true or false" about something it can't look at. It never searches an endless list. It uses no hidden power. In Step 5 you'll see why that matters: every check comes with a receipt, and the receipt for this one is blank.

Zoom out. Step 2 is done. The rules of counting are three facts about the record, and 1 + 1 = 2 checks with no extra principle. Next, and why: is this one way of counting, or the only one? If somebody else builds a counter, do they get our numbers or their own?

Step 3: There is exactly one way to count

Take any system that has a start and a step: a place to begin, and a way to move on by one. There is exactly one way to send the counts into it that respects the start and the step. And if the system obeys the three rules, that way is a perfect copy: the system is the record again, lined up with it in exactly one way.

Here's how we know, starting with a clock. A 12-hour clock has a start, 12 o'clock, and a step, one hour later. Send the counts into it:

• Where does count 0 go? To the start: 12 o'clock.
• Where does count 1 go? One step on from where 0 went: 1 o'clock.
• Count 2? One step on from that: 2 o'clock.

Every move is forced. At no point is there a choice, so there's exactly one way. And it works: count 13 lands on 1 o'clock, and 9 o'clock plus 5 hours is 2 o'clock. That's clock arithmetic.

But the clock isn't a copy of the record. Counts 0 and 12 land on the same spot, because the clock comes back around. It breaks Rule 1: the start, 12 o'clock, is one more than 11 o'clock. (Remember the loyalty card that fills up and starts over? That was a clock.)

Now an elevator that stops at floor 4. The start is floor 1. The step is up one floor, and at floor 4 the button does nothing. Floor 3 steps to floor 4. Floor 4 steps to floor 4. Two different floors step to the same next floor, which breaks Rule 2. Not a copy either.

And a stack of plates. The start is an empty counter. The step is add a plate. Send count n to a stack of n plates. Every count gets its own height. No stack steps back to empty. No two stacks merge. Every stack is built from empty one plate at a time. All three rules hold, so the plates are a perfect copy, and the match is forced: exactly one way. The proof that a system like this is a copy uses no extra principle, only the three rules.

So the test is the three rules. Whatever notation you count in, whether it's 3 or III or ///, if the counting obeys them, it lines up with ours in exactly one way. If another civilization counts by the three rules, its numbers are ours in other clothes. Different symbols, different words, same count.

The clothes are invented. The count underneath isn't. There is only one.

Zoom out. Step 3 is done. Anything that counts by the three rules is the record, matched in exactly one way. The only freedom left is the costume. Next, and why: counting numbers can't say "I owe you a coffee" or "half a muffin". Do we have to add something new to get those?

Step 4: Debts and slices come free

A negative number is a pair of counts: what's paid and what's owed. A fraction is a pair of counts too, with a rule for when two pairs are the same. No new ingredient is needed to get either, and there is only one way to do each.

Here's how we know. Start with debts. You and a friend keep trading coffees. Keep two counts: coffees you've paid for, and coffees you owe. I'll draw each pair on a note. The notes are a drawing of the real pair of counts.

(5 paid, 3 owed) leaves you 2 ahead. (4 paid, 2 owed) also leaves you 2 ahead. Are they the same number? Here's the rule: put each note's paid count against the other note's owed count. 5 + 2 is 7. 4 + 3 is 7. They balance, so the two pairs are the same number. Look at what we never did: subtract. Only counts, only adding.

A pair where the owed count is ahead is a negative number. (3 paid, 5 owed) balances against (0 paid, 2 owed), because 3 + 2 = 5 = 0 + 5. Both are the number we write as -2.

Now slices. A fraction is a pair of counts: how many slices you have, and how many slices make a whole. The second count is never 0. One slice of a muffin cut in 2 and two slices of a muffin cut in 4 are the same amount, and the same kind of rule says why: multiply the top of each by the bottom of the other. 1 × 4 is 4. 2 × 2 is 4. They balance, so 1/2 and 2/4 are the same fraction.

And there is only one way to do each. Take any number system that can add, subtract and multiply, where adding 1 over and over never wraps around to zero (the clock again). It contains our signed counts in exactly one way. If it can also divide, it contains our fractions in exactly one way.

Zoom out. Step 4 is done. Signed counts and fractions are pairs of counts with a balance rule, and each is the only one of its kind. Counts, debts and slices cover what a shopkeeper needs. Next, and why: what's past this? Everything beyond it takes a kind of reasoning the record doesn't have for free, and each kind has a price. Step 5 reads the price tags.

Step 5: Where the free part ends

Everything so far is free. Every principle past it has a name and a price, and the prices we've named are different from one another.

Here's how we know, and it starts with a receipt. Every proof about the record comes with a receipt that lists the extra principles the proof leaned on. The receipt for 1 + 1 = 2 is blank. The receipt isn't something the proof reports about itself. It's read straight off the proof's own steps, so a proof can't smuggle a principle past the register.

So what's an extra principle? It's a power to know something about an endless list without reading it. The record is finite so far: it has written some number of entries, never an endless number. It can check any stretch it has. It can't check an endless list all at once. Each extra principle gives it that power, and the powers come in different sizes.

I'll draw an endless list as one of Gary's drum patterns. (Yes, the Gary from Part 1, the drummer who couldn't hold a beat. He's still not getting the gig.) At every step he plays a beat or he rests.

Two questions about any pattern. Is Gary silent forever? And if he isn't, when does he first play?

Say you've heard a thousand rests in a row. Is the next one a rest? You can't know. Nothing stops a beat from landing at step 1,001. If Gary does play, listening will catch it eventually. If he never plays, no amount of listening ever tells you so.

So to answer the first question for every possible pattern, the record needs a power it doesn't have: seeing a whole endless pattern at once. That's the first price. Call it the zero test. (The name makes sense in Step 6.) To answer both questions, "silent forever, or here's the beat," takes a bigger power: the search. Anyone who has the search has the zero test. Having the zero test doesn't give you the search.

At the top of the price list sits the one everybody treats as free: every statement is either true or false. It contains the search, and so the zero test, and everything else on the list. It sounds like the most harmless sentence in logic. In the record it's the most expensive item on the list.

I'll draw the price list as a shop. The shop is a drawing of the real list: what the record gets for free, and what it pays for.

These prices are exact, and they're different. For every pair of the prices we've named, we've built a possible world where one holds and the other fails. No price can stand in for another.²

Zoom out. Step 5 is done. Every proof comes with a receipt, and the free part has none: counts, 1 + 1 = 2, debts, slices. Every extra principle is a power over endless lists, with a name and a price, and the named prices are different. Next, and why: the biggest purchase of all. Most points on the smooth number line take an endless string of digits to write down. What does the smooth line cost?

Step 6: The smooth line is bought

The smooth number line is bought, not given. Counts, signed counts and fractions can each be listed one by one. The smooth line can't. Asking "is this number exactly zero?" of every number costs the zero test. Asking "is it smaller?" costs the search. And the numbers the record holds are the ones a program computes.

Here's how we know, starting with lists. Line up the counts: 0, 1, 2, 3, and so on. Line up the signed counts: 0, 1, -1, 2, -2, and so on, and every one gets a place. There's a rule that gives every fraction a place too. Each of them can be listed, one by one.

The smooth line can't. Back to Gary. He announces that he's written a list of every endless pattern: pattern 1, pattern 2, pattern 3, and on down the page. Here's a pattern that isn't on it. At beat 1, play the opposite of what pattern 1 plays at beat 1. At beat 2, play the opposite of what pattern 2 plays at beat 2. And so on, down the diagonal.

The new pattern differs from pattern 1 at beat 1, from pattern 2 at beat 2, from pattern n at beat n. It isn't on the list. Whatever list Gary writes, this move hands him a pattern he missed. So no list holds every endless pattern. The argument needs no extra principle. It's in the free part.

Now turn patterns into numbers. Write a 1 for every beat and a 0 for every rest, and read the pattern as the digits after a decimal point, like 0.0110100.... Two different patterns differ at some beat, so they make two different numbers between 0 and 1. So a list of every point between 0 and 1 would contain a number for every endless pattern. Pick those out, in order, and you'd have the list Gary can't make.

This is also where the zero test gets its name. Make a number from Gary's pattern. The number is exactly 0 exactly when Gary is silent forever. So "is this number exactly zero?" is the very same question as "is Gary silent forever?" Being able to answer it for every number is the zero test. And "is this number smaller than that one?", asked about every pair, is the search. Fractions don't cost anything here: a fraction is exactly zero when its top is 0, and you can see that at a glance. It's only the endless numbers that cost.

So what does the record hold? A number the record can hold is one it can pin down as closely as you ask, all with one rule. Ask for ten digits, you get ten digits. Ask for a thousand, you get a thousand, each answer a finite piece of the record. (Any one batch of digits can just be copied out. The point is that one rule answers every request.) The rule is a finite set of instructions that the record carries out one tick at a time, reading entries and writing new ones. Rules like that are exactly the programs: every such rule is a program, and every program is such a rule. √2 has one. So do π and the golden ratio. Programs are finite texts, so they can be listed, which means there are more points on the smooth line than there are programs. Nearly every point on the line has no program at all: it's a number no finite rule can ever pin down.

Here is the exact claim. Take "real" in the record's own sense: a number is real when the record can hold it, pinned down by one rule as closely as you ask. In that sense, a number is real exactly when a program computes it. That part is proved. The one step still being worked out is the last, from the record's sense of "real" to the physical world's: that what exists physically is exactly what the record can hold, no more and no less.

Adding, subtracting and multiplying the numbers the record holds is free, and so is dividing by one that's clearly away from zero. What costs is deciding: exactly zero? smaller? The smooth line as a finished thing, with every point on it and those tests built in, is the purchase. Now you can read the receipt.

Zoom out. Step 6 is done. Counts, signed counts and fractions can be listed, and the smooth line can't, because no list holds every endless pattern. Exact zero costs the zero test, smaller costs the search, and the numbers the record holds are the ones a program computes. That's every step, so here is the whole route in one breath.

The whole trip, in one breath

Telling two things apart, again and again, writes the counting numbers: a blank start, then one more, with no last count. The rules of counting are facts about that record: the start is never one more of anything, two different counts never step to the same next count, every count is reached from the start, and 1 + 1 = 2 checks with a blank receipt. There is exactly one way to count: anything that obeys the three rules is the record, lined up in exactly one way, and a clock, which comes back around, isn't. Debts and slices are pairs of counts with a balance rule, and no new ingredient is needed to get them. Every principle past them has a name and a price, and the named prices are different. And the smooth number line is bought: no list holds it, "is it exactly zero?" costs the zero test, "is it smaller?" costs the search, and the numbers the record holds are the ones a program computes.

So, invented or discovered? Notation is invented. The count is discovered. The exact tests and the finished smooth line are a purchase, with the price tag showing.

This is what we call actual mathematics: arithmetic built from one act, telling two things apart, with every further principle named and priced. The World Underneath the Labels sets it beside actual physics, meaning, ethics and economics.

(The Ledger would like you to know that the receipt for reading this post is blank. You owe nothing. Noted.)