The Big Bang of Math: The origin of all numbers | Joel David Hamkins and Lex Fridman

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.