# The Big Bang of Math: The origin of all numbers | Joel David Hamkins and Lex Fridman Source: https://www.youtube.com/watch?v=heO9-93q55I Recap page: https://rapidrecap.app/video/heO9-93q55I Generated: 2026-01-06T17:42:50.712+00:00 --- ## Quick Overview The surreal number system, introduced by John Conway, unifies all known number systems, including ordinals and infinitesimals, by generating new numbers at successive transfinite stages through the recursive division of existing numbers into a left set (L) and a right set (R) such that every element in L is less than every element in R, creating a new number in the resulting gap. **Key Points:** - The surreal number system unifies natural numbers, integers, rationals, reals, ordinals, and infinitesimals into a colossal proper class generated from nothing by a single rule. - The generation rule involves proceeding in stages, dividing the numbers known so far into a left set (L) and a right set (R) such that everything in L is less than everything in R, and creating a new number that fits in the gap between L and R. - The first number born, called the "big bang of numbers" or surreal genesis, is zero, created by dividing the empty set into two empty sets (L={} and R={}). - Real numbers are all born at day omega, the first infinite day, because every real number fills a gap in the previously born diotic rationals (rationals whose denominator is a power of two). - The surreal numbers form a real-closed field satisfying field axioms, allowing for addition, multiplication, division, subtraction, and the existence of roots for every odd-degree polynomial. - Conway's greatest disappointment was the reception of surreal numbers; he intended them to be a fundamental system for mathematics and science, capable of nonsense analysis and calculus, but they never achieved that unifying status. - The Game of Life's question of whether a given cell will ever become alive is computably undecidable, equivalent to the halting problem, highlighting a world of incredible complexity lacking sufficient mathematical tools. **Context:** This discussion features Joel David Hamkins and Lex Fridman exploring the surreal number system, a mathematical construction developed by the late John Conway, which is notable for its ability to encompass virtually every known number system within one structure. The conversation focuses on the precise recursive rule used to generate these numbers across transfinite stages and the resulting properties of this colossal number class, contrasting its theoretical completeness with its practical adoption in mainstream mathematics. ## Detailed Analysis The surreal number system is a mathematically beautiful and colossal structure introduced by John Conway that unifies the natural numbers, integers, rationals, reals, ordinals, and infinitesimals; it is so extensive that it constitutes a proper class, not merely a set, because it contains all ordinals. Generation proceeds in transfinite stages by taking all existing numbers and dividing them in all possible ways into a left set (L) and a right set (R) such that all elements in L are less than all elements in R, creating a new surreal number in the gap. The genesis, or "big bang," occurs when the empty set is divided into two empty sets, birthing zero, which then allows for the birth of one and minus one, subsequently leading to numbers like 1/2, -1/2, two, and minus two at the next finite stage. All real numbers emerge at day omega, filling the gaps left by the diotic rationals born at earlier finite stages, and at this stage, the ordinal omega and the infinitesimal epsilon are also born. The surreal numbers form an ordered, real-closed field, meaning they support standard field arithmetic and guarantee roots for every odd-degree polynomial. However, the system is fundamentally discontinuous; it lacks the least upper bound property for subsets and has no convergent sequences, meaning standard calculus based on limits does not function directly, although calculus can be done using non-standard infinitesimal methods. Conway expressed disappointment that the surreal numbers did not become the fundamental unifying system he envisioned, possibly because he treated them like a "game" or "toy," which deterred serious adoption outside specialized study. The discussion concludes by briefly touching upon Conway's Game of Life, noting that determining if a specific cell ever becomes alive is computably undecidable, equivalent to the halting problem, illustrating a fascinating realm of mathematical complexity. ### Surreal Number Generation - The core rule involves dividing the set of previously created numbers into a left set (L) and a right set (R) where L < R, then creating a new number in the gap - Generation proceeds in a transfinite sequence of stages, starting with zero from the division of the empty set - Real numbers emerge on day omega, filling gaps left by diotic rationals. ### Mathematical Properties - Surreal numbers form an ordered, real-closed field satisfying field axioms including distributivity and reciprocals - They possess infinitesimals, allowing for non-standard calculus based on Robinson's theory - They lack the least upper bound property and have no convergent sequences, causing fundamental discontinuity for standard limit-based calculus. ### Conway's Legacy and Reception - John Conway viewed the surreal numbers as a unifying structure encompassing ordinals and supporting nonsense analysis - Conway's greatest disappointment was their failure to achieve widespread adoption as a fundamental mathematical system - Philip Erlick suggested Conway's tendency to treat his creations, including surreal numbers and the Game of Life, as 'games' might have contributed to their perception as mere 'toys'. ### Related Concepts - The Game of Life explores cellular automata, which Hamkins finds incredibly complicated and an open door into an unexplored mathematical world - The question of whether a cell in the Game of Life ever becomes alive is computably undecidable, equivalent to the halting problem.