Surreal Numbers: The Infinite Number System Between Number Systems

In 1969, mathematician John Horton Conway was staring at the endgame of a board game — Go — trying to figure out how to assign a value to a position on the board. What he ended up inventing wasn't just a way to score a game. It was an entire number system, one so vast it contains the real numbers, the infinities of set theory, and a swarm of infinitesimals smaller than any fraction you could name — all constructed from nothing but the empty set and two simple rules.

Donald Knuth, who popularized the idea in a 1974 book, opened it with a line that reads like scripture: "In the beginning, everything was void, and J.H.W.H. Conway began to create numbers." The extra initials were a deliberate nod to the Tetragrammaton, the four-letter Hebrew name for God. It's a joke, but not really an exaggeration. Surreal numbers really are built out of nothing, one day at a time, until they contain more numbers than any other number system ever devised — including infinitely many kinds of infinity.

The Concept

Conway was analyzing endgame positions in Go, where two players' territories no longer interact and each remaining move can be judged on its own. He wanted a rigorous way to say "this move is worth more than that one" — even when the values involved were fractional, or vanishingly small, or effectively infinite.

His solution was almost absurdly minimal. Every surreal number is defined as a pair of two sets of previously created numbers, written {L | R}, where L is a set of "left" numbers and R is a set of "right" numbers, with the rule that every number in L must be less than every number in R. That's it. That single recursive definition generates the entire number line — and then a great deal more than the number line.

You start with nothing. On "day 0," the only sets available are empty sets, so the only number you can build is { | }, which Conway defines as 0. On day 1, you now have 0 available to work with, so you can build {0 | } (a number with nothing on the right, greater than 0) and { | 0} (a number with nothing on the left, less than 0). These become 1 and -1. On day 2, using 0, 1, and -1, you can construct 2, -2, and — this is the interesting part — 1/2, defined as {0 | 1}, the simplest number sitting strictly between 0 and 1.

That "simplest number in between" idea is called the Simplicity Rule, and it's the engine that makes the whole system work: given a number {L | R}, its value is the simplest possible number greater than everything in L and less than everything in R, where "simplest" means the one born on the earliest day. Applying this rule over and over, day after day, eventually produces every integer, then every dyadic fraction (numbers like 3/8 or 11/16), and — after infinitely many days — every real number, including irrational ones like π.

Why It Matters

Here's where it stops looking like a cute construction exercise and starts looking genuinely strange. Because the process never has to stop at any finite day, you can keep going into transfinite territory — "day ω," where ω is the first infinite ordinal. On day ω, a new number is born that's larger than every integer: Conway calls it ω, and it behaves like a legitimate infinite number that you can add to, subtract from, and compare against other numbers. Sitting right alongside it is a positive number smaller than every positive fraction — an honest-to-goodness infinitesimal, called ε, and it turns out ε is exactly 1/ω.

This matters because mathematicians had spent centuries treating infinitesimals as either useful fictions (Leibniz and Newton both leaned on them to invent calculus, then got a lot of grief for it) or forbidden fruit that 19th-century rigor had supposedly banished for good. Surreal numbers — and their cousin system, the hyperreal numbers used in non-standard analysis — showed that infinitesimals could be built on completely solid logical footing. Nothing hand-wavy about it: ε is just as rigorously defined as 1 or 1/2, constructed by the exact same {L | R} rule.

The surreal numbers form what's called a totally ordered field — meaning you can add, subtract, multiply, divide, and compare any two of them, and all the usual algebra works. But it's a field so enormous that it isn't technically a "set" in the formal sense; it's what set theorists call a proper class, too big to be contained by set theory's own rules. Every real number lives inside it. Every ordinal number from set theory lives inside it. Every hyperreal number lives inside it. In a real sense, the surreals are the biggest possible ordered number system — anything you could reasonably call a "number" already has a home in there.

The Details

Let's walk the construction a bit further to see how naturally it unfolds. On day 0 we have just 0. On day 1 we gain 1 and -1. On day 2, using the numbers available after day 1 (-1, 0, 1), we can form new pairs: {1 | } gives 2, { | -1} gives -2, {0 | 1} gives 1/2, and {-1 | 0} gives -1/2. Notice what's happening — every new day fills in gaps between numbers already constructed, using the Simplicity Rule to pick out exactly one new value per gap.

By day 3, you get 3, -3, along with 1/4 and 3/4 and their negatives — always dyadic fractions (fractions whose denominator is a power of two), because at any finite day, only finitely many "slots" have been created, and the simplest new number to slot into a gap is always the dyadic midpoint. It takes infinitely many days (specifically, day ω) before numbers like 1/3 or π can finally be pinned down as the unique number satisfied by an infinite left and right set converging on them.

But day ω doesn't just deliver the leftover real numbers — it also delivers ω itself, plus combinations like ω - 1, ω/2, and ω + 1, plus the infinitesimal ε and things like ε/2 and 3ε. Keep going to day ω + 1, ω · 2, ω^ω, and beyond, and you keep generating new infinite and infinitesimal numbers forever, with no natural stopping point. It's numbers all the way up.

This is also where the story loops back to games. Conway didn't just want a number system for its own sake — he wanted to describe combinatorial games precisely, the kind with no chance and no hidden information, like Go, Chess endgames, Nim, or the deceptively simple stick-and-string game Hackenbush. In Conway's framework, a game position itself is a generalized surreal-number-like object: {Left's possible moves | Right's possible moves}, using the exact same notation as the numbers, just without requiring every left option to be less than every right option. This more general system is called the surreal games, and it's the foundation of what's now known as combinatorial game theory — a field used to rigorously solve endgames in abstract games by breaking complicated positions into sums of simpler ones, each with its own surreal-flavored value, then adding those values up the way you'd add ordinary numbers. Conway, along with Elwyn Berlekamp and Richard Guy, laid this out fully in the 1982 book "Winning Ways for Your Mathematical Plays," which remains a foundational text for anyone studying game theory as pure mathematics rather than economics.

There's also a charming production story behind how the public first learned about all this. Donald Knuth, on sabbatical in Oslo, Norway in the early 1970s, reportedly woke his wife one night insisting he needed to write a book immediately — and promised it would only take a week. He booked a separate hotel room just to concentrate, and by his own account to the YouTube channel Numberphile, "On the sixth day I finished it. On the seventh day I rested." The result, "Surreal Numbers: How Two Ex-Students Turned On to Pure Mathematics and Found Total Happiness" (1974), is a novella written as a dialogue between two young people discovering the {L | R} construction from scratch — deliberately avoiding any lectures or formal proofs, instead having the characters reason their way to the rules themselves. Knuth coined the term "surreal numbers" for what Conway had simply been calling "numbers"; Conway liked the name enough to adopt it in his own definitive 1976 treatment, "On Numbers and Games."

Takeaways

Surreal numbers are built from nothing using one recursive rule — a pair of sets {L | R} — and that single rule generates the integers, the fractions, the real numbers, infinite numbers, and infinitesimals, all inside one consistent ordered system.
The "Simplicity Rule" — always pick the earliest-born number that fits between the left and right sets — is what turns an abstract set-theoretic definition into an actual number line.
Because the construction never has to stop at any finite stage, it produces genuine infinite numbers (like ω) and infinitesimal numbers (like ε = 1/ω) on completely rigorous footing, resolving a centuries-old discomfort with infinitesimals in calculus.
The surreal numbers form the largest possible ordered field — every real number, every ordinal, and every hyperreal number embeds inside them, though the full collection is too big to even be a formal set.
The idea was born from analyzing Go endgames and grew into combinatorial game theory, a serious branch of mathematics for solving games like Nim and Hackenbush exactly, with John Conway, Donald Knuth, Elwyn Berlekamp, and Richard Guy all part of its origin story.

Resources: Donald Knuth's original 1974 book Surreal Numbers, Conway's On Numbers and Games (1976), and the Stanford Encyclopedia of Philosophy's entry on infinity are good next stops for readers who want to see the full {L | R} construction worked out in formal detail.