Integers, rationals, algebraic irrationals, and transcendentals: four families, from 0! to TREE(3) and from √2 to Γ(¼)
ᚂ – Luis: later associated with the rowan, Section 4
The smallest number that is a sum of two positive cubes in two ways, 1³ + 12³ = 9³ + 10³.4.2
Hardy took a taxi to visit Ramanujan, who was ill at Putney, and remarked that its number, 1729, seemed dull; Ramanujan replied that it is the smallest number expressible as a sum of two positive cubes in two different ways, 1³ + 12³ = 9³ + 10³.4.2 The story is Hardy’s own, from his 1940 book on Ramanujan.4.34 Written both ways and subtracted it is exactly 0, which is why it is the integers’ numerator. An integer, so untinted.
4, 9the first two square numbers after 1Integer or rationalChapter ᚂ(L) ↗ The squares of 2 and 3, the smallest curiosities a reader can check by hand.4.1
4 and 9 are 2² and 3², the first two square numbers after 1. They stand at the head of the small-numbers brace, behind only 0!, because they are the smallest curiosities a reader can check by hand.4.1
Deep Thought’s Answer to the Ultimate Question of Life, the Universe and Everything, useless because nobody ever knew the Question (Douglas Adams, The Hitchhiker’s Guide to the Galaxy, 1979).4.3
“The Answer to the Great Question… Of Life, the Universe and Everything… Is… Forty-two,” said Deep Thought, with infinite majesty and calm. Douglas Adams, The Hitchhiker’s Guide to the Galaxy, 1979; the joke had already aired in the 1978 radio series. The Answer is useless because nobody knows the Question, and Adams said in 1993 that he simply wanted an ordinary, smallish number. It happens to be the Catalan number C₅ (counting from C₀: 1, 1, 2, 5, 14, 42), which counts the ways to bracket six factors, but it stands here for the reason that has nothing to do with mathematics.4.1 Type: integer.
496, 8128the first four perfect numbersInteger or rationalChapter ᚂ(L) ↗ Each equals the sum of its proper divisors: 6, 28, 496, and 8128, all known to the ancient Greeks.4.3
A perfect number equals the sum of its proper divisors: 6 = 1 + 2 + 3, then 28, 496, and 8128 are the first four, all known to the ancient Greeks; Euclid proved in Elements IX.36 that 2^(p−1)(2^p − 1) is perfect whenever 2^p − 1 is prime. Euler proved that every even perfect number has that form, in a paper published in 1849, long after his death. Whether an odd perfect number exists is still open; Sylvester called one “little short of a miracle” in 1888.4.34.33 Plain integers, untinted.
The repeating period of 1/7; multiplying it by 1 through 6 permutes its digits.4.3
142857 is the repeating block of 1/7 = 0.142857142857…; multiplying it by 2, 3, 4, 5, or 6 gives 285714, 428571, 571428, 714285, and 857142, the same digits rotated, and multiplying by 7 gives 999999. It is the smallest cyclic number, and it comes from 7 being a full-reptend prime in base 10.4.3 An integer.
Any four-digit number with at least two distinct digits reaches 6174 within seven steps of Kaprekar’s routine, if leading zeros are kept.4.3
D. R. Kaprekar found in 1949 that if you take any four-digit number with at least two different digits, sort its digits descending and ascending, keeping any leading zeros, and subtract, then repeat, you reach 6174 within seven steps and stay there: 7641 − 1467 = 6174.4.31 An integer, and a fixed point.
2147483647, Euler’s prime of 1772 and the largest signed 32-bit integer; the smallest giant by an absurd margin.4.4
M₃₁ = 2³¹ − 1 = 2,147,483,647, proven prime by Euler in 1772 by trial division,4.4 and the largest known prime for 95 years, until Landry’s 3,203,431,780,337 in 1867. It is also the largest value of a signed 32-bit integer, 7FFFFFFF in hexadecimal, which is why old software fails at it and why 32-bit Unix time runs out in 2038. The smallest member of the GARGANTUAN brace by an absurd margin.
Archimedes’ count of grains of sand that would fill the universe, third century BC.4.4
In The Sand Reckoner, third century BC, Archimedes set out to show that the number of grains of sand needed to fill the universe, as Aristarchus had sized it, was not infinite but nameable, and built a system of orders and periods to name it: about 1063. It uses the same trick as the later giants, powers of powers. Type: integer.
10⁶⁸, the immeasurable large number, the top of the traditional Japanese number names.4.4
無量大数, muryōtaisū, the immeasurable large number, is the largest of the traditional Japanese number names, fixed in the Jinkōki, Japan’s oldest arithmetic book, first printed in 1627 with many errors, corrected in 1631, and changed again in 1634.4.324.33 The editions disagree on whether the names climb by 10⁴ or 10⁸ above 10⁴⁸, which is why the value is 10⁶⁸ in the modern scheme and 10⁸⁸ in some editions; this key uses 10⁶⁸. Type: integer.
10¹⁰⁰, a one followed by a hundred zeros; named by Kasner’s nine-year-old nephew in 1920 and published in 1940.4.4
10¹⁰⁰, a one followed by a hundred zeros. Edward Kasner asked his nine-year-old nephew Milton Sirotta to name it in 1920 and published the name in Mathematics and the Imagination in 1940.4.31 Larger than the number of particles in the observable universe.
Ten to the googol, named at the same time in 1920; it has more digits than the universe has particles.4.4
10 to the googol, named at the same time in 1920.4.31 Writing it out in full would need more digits than there are particles in the universe, so no one ever has; it is an integer in exactly the sense that 7 is one, and it exists just as firmly.
The rounded form 10^(10^(10^34)) of Skewes’ 1933 bound e^(e^(e^79)) for the first place the prime-counting function π(x) exceeds the logarithmic integral li(x); the true crossing is now known to lie below about 1.4×10³¹⁶.4.4
Stanley Skewes proved in 1933, assuming the Riemann Hypothesis, that the prime-counting function π(x) first exceeds the logarithmic integral li(x) somewhere below e^(e^(e^79)), usually rounded to 10^(10^(10^34)), which is the integer this brace uses;4.34 in 1955 he gave an unconditional bound of about 10^(10^(10^964)).4.34 G. H. Hardy called it the largest number that had ever served any definite purpose in mathematics. The true first crossing is now known to lie below about 1.397 × 10³¹⁶ (Bays and Hudson 2000, sharpened by Saouter and Demichel 2010) and above 10¹⁹ (Büthe 2015), but the original bound keeps its place in the folklore.4.34
A 2 inside a mega-gon in Steinhaus–Moser polygon notation.4.4
Moser’s number is a 2 inside a mega-gon in the Steinhaus–Moser polygon notation, devised by Hugo Steinhaus and extended by Leo Moser, at a date we could not confirm: a number in a triangle means n^n, in a square means n inside n triangles, and so on up. Vastly larger than Skewes’ number, and still smaller than Graham’s.
Ronald Graham’s bound for a problem in Ramsey theory, which Martin Gardner published in 1977 as the largest number ever used in a serious proof.4.5
Graham’s number bounds a problem in Ramsey theory about coloring the edges of a hypercube. The bound Ronald Graham and Bruce Rothschild published in 1971 is smaller; the number that carries Graham’s name is the larger and simpler one he gave Martin Gardner, who put it in Scientific American in November 1977 as the largest number ever used in a serious proof. It is g₆₄, where g₁ = 3↑↑↑↑3 and each gₙ is 3 with gₙ₋₁ arrows 3, so it sits below fω+1(64) in the fast-growing hierarchy and between 3→3→64→2 and 3→3→65→2 in Conway’s chains. The answer to the original problem is now known to lie between 13 (Barkley, 2008) and a small tower of twos, 2↑↑(2↑↑(3 + 2↑↑8)) (Lavrov, Lee, and Mackey, 2014, refined in 2019). Its last ten digits, …2464195387, are known; its first are not.
From Kruskal’s tree theorem of 1960 and Friedman’s TREE function of the 2000s;4.35 incomparably larger than Graham’s number.4.5
TREE(3) comes from Kruskal’s tree theorem (1960) and Harvey Friedman’s finite version: every sequence of trees on three labels, the i-th having at most i vertices, in which no earlier tree embeds in a later one must end, and the length of the longest such sequence is TREE(3), a number so large that Graham’s number is negligible beside it;4.34 in the fast-growing hierarchy it lies beyond fΓ₀. It is a definite finite integer. It is used twice on purpose: here on the ladder of giants, and in Chapter ᚃ(F) beside Rayo’s number.
1, thirteen zeros, 666, thirteen zeros, 1: a 31-digit palindromic prime, written as a name because the digits wreck the line.4.3
Belphegor’s prime is 1000000000000066600000000000001: a 1, thirteen zeros, 666, thirteen zeros, and a 1, a 31-digit palindromic prime named by Clifford Pickover after a demon, for the 666 and the two thirteens. It is written in the formula as a name because its digits would wreck the line, and it stands among the small famous integers as the piece’s one deliberate superstition.
Vigesimal, fingers and toes.2.4
The Maya, like several Mesoamerican cultures, counted in base twenty, fingers and toes together;2.4 their numerals used dots for ones, bars for fives, and a shell for zero, stacked in powers of twenty (with one calendar-driven exception at the third place). It lives with the small integers, where a base belongs. Type: integer.
Sexagesimal, the reason there are 60 minutes and 360 degrees.4.1
The Sumerians were counting in base sixty in the third millennium BC, and the Babylonians inherited it;2.3 sixty divides evenly by 2, 3, 4, 5, 6, 10, 12, 15, 20, and 30, which makes fractions easy. It survives in the sixty minutes of an hour, the sixty seconds of a minute, and the 360 degrees of a circle. It lives with the small integers, where a base belongs. Type: integer.
Each is the sum of the other’s proper divisors: 220 → 284 and 284 → 220, known to the Pythagoreans.4.3
220 and 284 are the smallest amicable pair: the proper divisors of 220 add to 284 and those of 284 add to 220. The Pythagoreans knew them and credited them with mystical properties; Fermat and Descartes found further pairs, rediscoveries of pairs known to Arab mathematicians, and Euler raised the count to about 60; the second smallest pair, 1184 and 1210, was missed by all of them and found by the sixteen-year-old Nicolò Paganini and published in the Turin Academy’s proceedings for 1866–67.4.29 Plain integers.
3 · 11 · 17, a composite that passes Fermat’s primality test for every base coprime to it, the smallest such liar.4.16
561 = 3 · 11 · 17 is the smallest Carmichael number: a composite n with b^n ≡ b (mod n) for every integer b, so Fermat’s little theorem from Chapter ᚄ(S) cannot expose it. Václav Šimerka found the first seven in 1885 in a Czech journal, where his work went unnoticed, Alwin Korselt gave the criterion in 1899 without an example, and Robert Carmichael published 561 in 1910 and got the name. Alford, Granville, and Pomerance proved in 1994 that there are infinitely many. An integer.
F12 = 144the only square Fibonacci numberInteger or rationalChapter ᚂ(L) ↗ The twelfth Fibonacci number, 144 = 12², and apart from 0 and 1 the only Fibonacci number that is a perfect square (Cohn, 1964).4.17
The Fibonacci numbers 1, 1, 2, 3, 5, 8, 13, … are Leonardo of Pisa’s rabbits of 1202, each the sum of the two before, and their ratios tend to the golden ratio φ of the algebraic column. F₁₂ = 144 is, apart from 0 and 1, the only perfect square among them, proved by J. H. E. Cohn in 1964; 144 is also the square of its own index, F₁₂ = 12². The notation Fₙ is the one the reader will meet everywhere. An integer.
1 · 2 · 3 · 4 · 5 · 6 · 7 = 5040, the factorial notation’s small famous value, Plato’s number of citizens in the Laws.4.1
n! is the product of the integers from 1 to n, the notation Christian Kramp introduced in 1808,4.24 and 7! = 5040 is its most famous small value: Plato chose 5040 in the Laws as the ideal number of citizens because it divides so many ways—by every number from 1 to 12 except 11, and by 60 numbers in all4.24 — and it is the largest factorial known to be one less than a square (5040 + 1 = 71²); whether any larger factorial is one less than a square is Brocard’s problem, and that is open.4.1 Wilson’s theorem in Chapter ᚄ(S) is a factorial too. An integer.
2 · 3 · 5 = 30, the product of the primes up to 5, in the primorial notation p#.4.1
The primorial n#, a name coined by Harvey Dubner in 1987,4.24 is the product of all primes up to n, so 5# = 2 · 3 · 5 = 30; primorials are what Euclid’s proof of the infinitude of primes multiplies before adding one. 30 is also the largest number all of whose smaller coprimes other than 1 are prime. An integer.
2¹⁶ + 1, the fifth Fermat prime and the largest known; by Gauss’s criterion the 65537-gon can be drawn with compass and straightedge.4.6
65537 = 2¹⁶ + 1 = F₄ is the largest known prime of Fermat’s form 2^(2ⁿ) + 1; Fermat conjectured in 1640 that all such numbers are prime, and Euler broke F₅ = 4294967297 = 641 · 6700417 in 1732.4.30 Gauss proved in the Disquisitiones Arithmeticae of 1801 that a regular polygon with a Fermat-prime number of sides can be drawn, and stated without proof that no other prime-sided one can, which Wantzel proved in 1837; so the 65537-gon can be drawn, and Johann Gustav Hermes spent ten years writing out the construction, finished in 1894.4.30 It is also the standard public exponent in RSA. An integer.
3↑↑3three tetrated to three, in Knuth’s arrowsInteger or rationalChapter ᚂ(L) ↗ 3^(3^3) = 3²⁷ = 7,625,597,484,987: the smallest giant written in Knuth’s up-arrow notation of 1976.4.5
Donald Knuth introduced the up-arrow notation in 1976, in Science, to write the hyperoperations: a↑b is a^b, a↑↑b is a tower of b copies of a, a↑↑↑b iterates towers, and so on.4.31 3↑↑3 = 3^(3^3) = 3²⁷ = 7,625,597,484,987 is the first value that leaves the calculator, and 3↑↑4 = 3^7625597484987 has about 3.6 trillion digits. The notation is what Graham’s number is written in. An integer.
Arthur Eddington’s 1938 count of the protons in the observable universe, 136 × 2²⁵⁶ ≈ 1.57 × 10⁷⁹.4.4
Arthur Eddington claimed in his Tarner lectures of 1938, published in 1939, to have derived the number of protons in the universe from pure theory: 136 × 2²⁵⁶ ≈ 1.575 × 10⁷⁹, with, he said, the same number of electrons.4.30 The derivation is not accepted, but the number is the classic estimate of how many particles there are, about 10⁸⁰, and it marks the point on this ladder where numbers stop counting anything physical. An integer.
Claude Shannon’s 1950 lower bound for the number of possible chess games, 10¹²⁰.4.4
In his 1950 paper Programming a Computer for Playing Chess, Claude Shannon estimated the game tree of chess at about 10¹²⁰ games, from roughly a thousand choices per pair of moves over forty pairs, to show that brute force could never play chess.4.34 It is larger than the googol and vastly larger than the number of particles, and it is the reason chess programs search rather than enumerate. An integer.
2¹³⁶²⁷⁹⁸⁴¹ − 1, found on 12 October 2024 by Luke Durant’s GPU search for GIMPS; 41,024,320 digits.4.18
M₁₃₆₂₇₉₈₄₁ = 2¹³⁶²⁷⁹⁸⁴¹ − 1 is the largest prime anyone has found, discovered on 12 October 2024 by Luke Durant using a cloud of graphics processors for the Great Internet Mersenne Prime Search; it has 41,024,320 decimal digits and is the 52nd known Mersenne prime. Euclid proved there is no largest prime, so this item is a record, not a limit; it will be replaced. An integer.
The longest sequence of simple subcubic graphs with no earlier one embedded in a later one; finite by Robertson–Seymour, and larger than TREE(3).4.5
Harvey Friedman’s SSCG(k) is the length of the longest sequence of simple subcubic graphs G₁, G₂, … with Gᵢ on at most i + k vertices and no earlier graph homeomorphically embeddable in a later one; the Robertson–Seymour theorem says every such sequence ends, so the number exists. SSCG(0) = 2, SSCG(1) = 5, SSCG(2) = 3·2^(3·2⁹⁵) − 8, and SSCG(3) is larger than TREE(3). It is the last of the giants in the brace. An integer.
1: the empty product. There is exactly one way to arrange nothing, and the convention makes the binomial theorem and every Taylor series come out right.4.1
The factorial n! counts the orderings of n things, and the recursion n! = n·(n−1)! forces 0! = 1, the empty product, in the same way that an empty sum is 0. It is the value that makes C(n, 0) = 1, ex = Σxn/n! start correctly, and Γ(1) = 1 agree with the factorial. An integer.
1, 11, 21, 1211, 111221, ...the look-and-say sequenceFunction or operatorChapter ᚂ(L) ↗ The integer sequence built by reading the previous term aloud, run by run: 1, 11, 21, 1211, 111221, and onward.4.49
Starting from 1, each term of the look-and-say sequence describes the digit runs of the term before it: one 1 gives 11, then 11, read as two 1s, gives 21, and so on. John Conway analyzed the sequence in a 1986 paper, The Weird and Wonderful Chemistry of Audioactive Decay, and showed that the length of the n-th term grows like Conway’s constant, about 1.3036, raised to the n. The digit sequence itself, distinct from that growth-rate constant. An integer sequence, uncolored.
Three of them make exactly one in the rationals, with no decimal expansion needed.4.1
One third is the rational number 1/3. Its decimal expansion never ends, but it does not need one: three of them make exactly 1 in the rationals by the definition of a fraction, so 3 · ⅓ − 1 is exactly 0. Integer or rational, so untinted.
Exactly equal to 1, not approximately: let x = 0.999…, then 10x − x = 9.4.1
0.999… is the rational number 1 written with an infinite decimal, in the same way that 0.5 and ½ are one number written twice. Let x = 0.999…; then 10x − x = 9.999… − 0.999… = 9, so x = 1, and the rigorous version says the two decimals have the same limit. The confusion is old and the answer is not up for debate, which is why 0.999… − 1 belongs beside 3 · ⅓ − 1 as a zero of the rationals.
22/7, 355/113rational approximations of πInteger or rationalChapter ᚂ(L) ↗ Archimedes’ upper bound and Zu Chongzhi’s fraction, which is correct to six decimal places.4.7
22/7 is Archimedes’ upper bound for π from about 250 BC, obtained by trapping the circle between polygons of 96 sides;4.33 355/113 is Zu Chongzhi’s fraction from the fifth century AD, correct to six decimal places and not bettered by any fraction with a denominator under 16,604. Both are rationals, which is why they lead the denominator of the rationals column, and their sum is positive.
B₂ is ⅙, and the Bernoulli numbers 1, −½, ⅙, 0, −1/30, … are the rationals inside every sum of powers and every even zeta value.4.7
The Bernoulli numbers Bₙ are the rational coefficients that make Σ kᵐ a polynomial; Jacob Bernoulli published them in the Ars Conjectandi of 1713 and Seki Takakazu independently a year earlier.4.29 B₂ = ⅙, B₄ = −1/30, B₆ = 1/42, and every odd one after B₁ is 0. They give ζ(2n) in Chapter ᚑ(O), and their numerators decide which primes are regular in Kummer’s attack on Fermat. This B₂ is the Bernoulli number, not Brun’s constant B₂ of Chapter ᚃ(F). A rational.
1 + ½ + ⅓ + ¼ = 25/12; no harmonic number after the first is a whole number (Theisinger, 1915).4.7
The harmonic numbers Hₙ = 1 + ½ + … + 1/n grow like ln n plus Euler’s γ from Chapter ᚃ(F), and never come out whole again: Leopold Theisinger proved in 1915 that Hₙ is an integer only for n = 1.4.31 H₄ = 25/12 is the first one whose denominator is not a factorial, a hint that the harmonic numbers keep their own arithmetic. A rational.
[a₀; a₁, a₂, …]continued fractions and convergentsFunction or operatorChapter ᚂ(L) ↗ Peel off the integer part, invert the remainder, repeat. The truncations are the convergents, giving a sequence of rational approximations.4.26
A simple continued fraction writes a number as a₀ + 1/(a₁ + 1/(a₂ + ⋯)) with integer partial quotients, obtained by taking the integer part, inverting what is left, and repeating. Truncating gives the convergents, a systematic sequence of rational approximations. Two famous convergents of π are 22/7 and 355/113. Counting the initial 3 as the first, the first four convergents of π = [3;7, 15, 1,…] are 3, 22/7, 333/106, and 355/113. The process stops if and only if the number is rational, so an expansion that never stops is a proof of irrationality. A tool of the framework, uncolored.
A sequence of rational numbers, 1, −½, ⅙, 0, −1/30, ..., that appear in every closed formula for a sum of integer powers and every even value of the Riemann zeta function.4.41
The Bernoulli numbers Bn are the rational coefficients in the expansion x/(e^x − 1) = Σ Bn x^n/n!; Jacob Bernoulli published them in the Ars Conjectandi of 1713, and Seki Takakazu had reached the same numbers in Japan a year earlier. They give closed formulas for 1^k + 2^k + ... + n^k for any power k, and ζ(2n) is always a rational multiple of π^(2n) built from them. B₂ = 1/6 has a card of its own in this chapter. General sequence, uncolored.
The partial sums of the harmonic series, 1, 3/2, 11/6, 25/12, ..., always rational and, after the first, never a whole number.4.44
Hn = 1 + 1/2 + 1/3 + ... + 1/n is always rational, and Leopold Theisinger proved in 1915 that it is an integer only when n = 1: from the second term on, the denominators never fully cancel. H₄ = 25/12 has a card of its own in this chapter, and the harmonic numbers grow like ln n, which is why the harmonic series itself diverges however slowly. A general sequence, uncolored.
The positive root of x² − x − 1, about 1.618.4.1
The golden ratio φ = (1 + √5)/2 ≈ 1.618, the positive root of x² − x − 1, defined by Euclid as the division of a line so that the whole is to the larger part as the larger is to the smaller—a line cut in extreme and mean ratio, which is the first known definition of it.4.24 It is algebraic of degree 2 and constructible with compass and straightedge, since square roots are.
The Pythagoreans’ scandal, by tradition the first number shown not to be a fraction.8.9
√2 ≈ 1.4142 is the diagonal of a unit square. Its irrationality is credited by tradition to the Pythagoreans in the fifth century BC, probably the first number shown not to be a fraction; no original proof survives, and the reference works that report the tradition also record that neither the discoverer nor the date can be fixed.8.9 It is algebraic of degree 2 and constructible,4.8 and it appears in the formula twice: once among the constructible numbers of its own column, and once in the transcendental column’s numerator, as the number geometry can build.
The real root of x³ = x + 1, about 1.3247, van der Laan’s ratio.4.8
The plastic number ρ ≈ 1.3247 is the real root of x³ = x + 1, found by Gérard Cordonnier in 1924 and by the architect Hans van der Laan, who came to it in 1928;4.33 van der Laan, who named it the plastic number only from the 1950s, saw it as a three-dimensional cousin of the golden ratio. It is algebraic of degree 3, and because 3 is not a power of 2 it cannot be built with compass and straightedge.
1 + √2, the positive root of x² − 2x − 1, about 2.414.4.1
The silver ratio 1 + √2 ≈ 2.414 is the positive root of x² − 2x − 1 and the limit of ratios of consecutive Pell numbers, as φ is for Fibonacci. Algebraic of degree 2 and constructible.
The growth rate of the look-and-say sequence, about 1.3036, algebraic of degree 71.4.8
Conway’s constant λ ≈ 1.3036 is the rate at which the look-and-say sequence 1, 11, 21, 1211, 111221, … grows in length. John Conway showed in 1986, in a paper reprinted in 1987, that it is the largest root of a specific polynomial of degree 71, so it is algebraic, and since 71 is not a power of 2 it is not constructible.4.29 The surprise is that a game about reading digits aloud has an algebraic answer at all.
The classical non-constructible number: doubling the cube with compass and straightedge is impossible (Wantzel 1837).4.8
∛2 ≈ 1.2599 is the edge of a cube with twice the volume of the unit cube. The Delian problem, doubling the cube with compass and straightedge, was open from the Greeks until Pierre Wantzel proved in 1837 that it is impossible, because ∛2 is algebraic of degree 3 and a constructible number must have degree a power of 2.4.29 It is the exponent on the transcendental numerator’s little factory precisely because geometry cannot build it.
φ² − φ − 1the golden ratio’s own equationInteger or rationalChapter ᚂ(L) ↗ φ is defined as the positive root of x² − x − 1, so the polynomial vanishes at φ exactly.4.1
φ² − φ − 1 is the golden ratio’s defining polynomial evaluated at the golden ratio, and so it is exactly 0: φ is by definition the positive root of x² − x − 1. Every algebraic number has such an equation, and this is the algebraic column’s way of saying nothing. Its value is the integer 0.
About 0.9325, algebraic of degree 8 and constructible: Gauss found in 1796 that the regular 17-gon can be drawn.4.8
cos(2π/17) ≈ 0.93247 is a root of a degree-8 polynomial and is reached by three successive square roots, which is why Gauss could show on 30 March 1796 that the regular 17-gon is constructible with compass and straightedge, the first such polygon found since the Greeks; a story, probably apocryphal, has Gauss asking for the 17-gon on his gravestone. Its expression in nested square roots fills a line. Algebraic, constructible.
About 1.2470, a root of x³ + x² − 2x − 1: degree 3, so the regular heptagon cannot be drawn with compass and straightedge.4.8
2cos(2π/7) ≈ 1.24698 is a root of the irreducible cubic x³ + x² − 2x − 1, and a constructible number must have degree a power of 2, so the regular heptagon is the smallest polygon that compass and straightedge cannot draw; Gauss knew which polygons could be drawn in 1801, and Wantzel proved in 1837 that the others cannot.4.29 Algebraic, not constructible.
About 1.8393, the real root of x³ = x² + x + 1, the growth rate of the sequence in which each term is the sum of the three before.4.8
The tribonacci constant ≈ 1.83929 is the real root of x³ − x² − x − 1, the ratio that consecutive tribonacci numbers 1, 1, 2, 4, 7, 13, 24, … approach, as the golden ratio is for Fibonacci. The word was coined in 1963 by Mark Feinberg, a fourteen-year-old, in the Fibonacci Quarterly;4.35 the sequence itself turns up in Darwin’s elephant calculation in On the Origin of Species and in an 1892 puzzle about sheep.4.35 Algebraic of degree 3, so not constructible, and the tetranacci constant 1.9276 follows it.
About 1.17628, the largest root of Lehmer’s degree-10 polynomial and the smallest known Salem number; whether anything smaller exists is Lehmer’s open question.4.8
Lehmer’s number ≈ 1.176280818 is the largest real root of x¹⁰ + x⁹ − x⁷ − x⁶ − x⁵ − x⁴ − x³ + x + 1, found by Derrick Lehmer in 1933.4.32 It is the smallest known Salem number and the smallest known Mahler measure greater than 1, and Lehmer’s conjecture, still open, says nothing smaller exists; the same number appears in the Coxeter group E₁₀ and in knot theory. Algebraic of degree 10, not constructible.
An algebraic integer above 1 whose other conjugates crowd into the closed unit disc with at least one exactly on the circle; Lehmer’s 1.1762808 is the smallest known.4.27
A Salem number is a real algebraic integer greater than 1 all of whose other conjugates lie in the closed unit disc, with at least one of them on the unit circle itself. That one root on the circle forces the minimal polynomial to be reciprocal, so 1/θ is a root too, the degree is even and at least 4, and θ is a unit. They sit just beside the Pisot numbers, where every other conjugate is strictly inside. The smallest known one is the largest real root of Lehmer’s degree-10 polynomial, about 1.1762808, which is also the smallest known Mahler measure above 1; whether a smaller Salem number exists is Lehmer’s problem and is still open. A class of numbers, uncolored.
How far a ring of integers is from unique factorization. It is 1 for exactly nine imaginary quadratic fields, the last of them ℚ(√−163).4.28
The class number counts the ideal classes of a number field, and it is 1 exactly when the ring of integers has unique factorization. For imaginary quadratic fields ℚ(√−d) the answer is startlingly short: by the Stark–Heegner theorem there are precisely nine values of d with class number 1—1, 2, 3, 7, 11, 19, 43, 67, and 163. Gauss conjectured the list, Kurt Heegner proved it in 1952 with a gap that was later judged minor, and Alan Baker and Harold Stark proved it independently in 1966. The last entry is why this chapter’s most famous almost-integer is almost an integer: class number 1 makes the j-invariant at that point an exact integer, which is why e^(π√163) misses an integer so narrowly. An integer invariant, uncolored.
M(θ) < 1.176…?Lehmer’s Mahler measure problemStatus openChapter ᚂ(L) ↗ The open question of whether any algebraic integer has Mahler measure strictly between 1 and Lehmer’s number, about 1.1762808, the smallest value ever found above 1.4.45
Derrick Lehmer asked in 1933 whether the Mahler measure of an algebraic integer, once it exceeds 1, can come arbitrarily close to 1 or must jump by some fixed minimum amount. Lehmer’s number, the largest root of his degree-10 polynomial, has Mahler measure about 1.1762808 and is still the smallest example above 1 ever found, despite computer searches over polynomials of far higher degree. The problem is distinct from Lehmer’s number itself, which is the record holder rather than the question. Status open.
ChampernowneChampernowne’s constantProven transcendentalChapter ᚂ(L) ↗ 0.123456789101112…, normal in base 10 and transcendental (Mahler 1937).4.10
Champernowne’s constant 0.123456789101112… is the positive integers written one after another as decimals. David Champernowne, an undergraduate, showed in 1933 that it is normal in base 10, meaning every digit string occurs with the expected frequency, and Kurt Mahler proved it transcendental in 1937.4.29 Built by hand rather than found in nature, which is its brace.
Transcendental by the 1934 theorem that settled Hilbert’s seventh problem.4.9
The Gelfond–Schneider constant 2^√2 ≈ 2.665 was one of the two explicit examples in Hilbert’s seventh problem of 1900, which asked whether a^b is transcendental when a is algebraic (not 0 or 1) and b is algebraic and irrational. Aleksandr Gelfond and Theodor Schneider proved it independently in 1934, so 2^√2 is transcendental. Here it plays the number built by theorem.
Exactly 0: π is where sine first vanishes after zero, so the transcendental column has a zero of its own.4.94.13
sin π = 0 exactly, because π is the first positive zero of the sine function: the half-turn of the unit circle. It is the transcendental column’s own zero, and a reminder that the most famous transcendental number is characterized by where a function vanishes. The value is the integer 0, so it is untinted.
The base of natural logarithms, proven transcendental by Hermite in 1873.4.30
Euler’s number e ≈ 2.71828, the base of natural logarithms, first appearing in Bernoulli’s 1683 study of compound interest and given its letter by Euler;4.29 he used it in a letter to Goldbach in 1731.4.30 Charles Hermite proved it transcendental in 1873, the first naturally occurring number to be proven so, by a method Lindemann then extended to π.4.30 4.9
Proven transcendental by Lindemann in 1882, which ended the quest to square the circle.4.9
π ≈ 3.14159, the ratio of a circle’s circumference to its diameter. Lambert proved it irrational in 1761;4.33 Ferdinand von Lindemann proved it transcendental in 1882, which settled the ancient question of squaring the circle in the negative, since a constructible number is algebraic.
About 23.14, transcendental by Gelfond–Schneider.4.9
Gelfond’s constant e^π ≈ 23.1407 is transcendental: Gelfond proved this case directly in 1929, five years before the general Gelfond–Schneider theorem, using e^π = (−1)^(−i) with −1 algebraic and −i algebraic and irrational. It is one of the few expressions mixing e and π whose status is settled; π^e, by contrast, is in Chapter ᚃ(F).
An imaginary raised to an imaginary is real: e^(−π/2), about 0.2079.4.9
i^i = e^(−π/2) ≈ 0.2079 by Euler’s formula, since i = e^(iπ/2) and (e^(iπ/2))^i = e^(−π/2). An imaginary number raised to an imaginary power is a real number, and a transcendental one, by Gelfond–Schneider. The principal value; other branches give e^(−π/2 + 2πk).
Transcendental because π is; Buffon’s needle probability and the average of |cos| over a period.4.913.6
2/π ≈ 0.6366 is the probability in Buffon’s needle problem (1777) that a needle dropped on ruled lines whose spacing equals its length crosses a line,13.6 and also the average value of |cos x| over a period. Transcendental because π is: a non-constant rational function with algebraic coefficients, applied to a transcendental number, gives a transcendental number.
262537412640768743.99999999999925, an almost-integer explained by the class number of ℚ(√−163).4.9
e^(π√163) = 262537412640768743.99999999999925…, an almost-integer first noticed by Charles Hermite in 1859.4.33 The name comes from Martin Gardner’s April Fool column of 1975, which claimed that Ramanujan had predicted the number to be an integer; Ramanujan had in fact studied cousins such as e^(π√58) in a paper of 1913–14.4.34 The near miss is explained by the class number 1 of ℚ(√−163) and the j-invariant, whose q-expansion gives e^(π√163) ≈ 640320³ + 744. Transcendental by Gelfond–Schneider, since it equals (−1)^(−i√163).
π’s twin for the lemniscate curve, about 2.622, with its own rare symbol.4.11
The lemniscate constant ϖ ≈ 2.6221 plays for the lemniscate of Bernoulli the role π plays for the circle: the arc length of the lemniscate is 2ϖ. Gauss studied it from 1798 and found in 1799 that ϖ/π = 1/agm(1, √2).4.32 Carl Ludwig Siegel proved it transcendental in 1932 and Theodor Schneider again later in the 1930s, through their work on periods of elliptic functions, and Chudnovsky showed in the 1970s that ϖ and π are algebraically independent.4.114.12
Transcendental by Lindemann–Weierstrass, because e^(ln 2) = 2 is algebraic.4.9
ln 2 ≈ 0.6931, the natural logarithm of 2, is transcendental by the Lindemann–Weierstrass theorem: e raised to a nonzero algebraic power is transcendental, so if ln 2 were algebraic, e^(ln 2) = 2 would be transcendental, which it is not. It is also the sum of the alternating harmonic series 1 − ½ + ⅓ − ….
sin 1, cos 1sine and cosine of one radianProven transcendentalChapter ᚂ(L) ↗ Two numbers on every calculator, both transcendental by Lindemann–Weierstrass.4.9
sin 1 ≈ 0.8415 and cos 1 ≈ 0.5403, the sine and cosine of one radian, are on every calculator and are both transcendental by Lindemann–Weierstrass, which makes the sine and cosine of every nonzero algebraic number transcendental. Their sum, about 1.3818, is a positive number in the denominator.
About 0.6627, the largest eccentricity for which Kepler’s equation can be solved by a power series; transcendental by Hermite–Lindemann, from its own defining equation.4.15
The Laplace limit ≈ 0.6627434 is the eccentricity beyond which the series solution of Kepler’s equation M = E − e sin E stops converging. Francesco Carlini had the limit about five years before Laplace computed 0.66195 in 1827, and Cauchy sharpened it to 0.66274 in 1829; the name is Laplace’s all the same.4.15 It is the real number x with x e^√(1 + x²)/(1 + √(1 + x²)) = 1, and that equation settles its arithmetic in three lines. Write λ for the limit and s = √(1 + λ²), so that λe^s = 1 + s and e^s = (1 + s)/λ. If λ were algebraic, s would be algebraic and not zero, and (1 + s)/λ would be algebraic too—but Hermite–Lindemann makes e^s transcendental for every nonzero algebraic s. So λ is transcendental, and with that it is not a fraction either.4.15
Σ 10^(−n!) = 0.110001000…, the first decimal constant ever proven transcendental; Liouville announced the method in 1844 and gave this number in 1851.4.32
Liouville’s constant Σ 10^(−n!) = 0.110001000000000000000001…, with a 1 in each factorial position, is the first decimal constant ever proven transcendental. Joseph Liouville announced in 1844 that numbers approximated by rationals far better than any algebraic number can be must be transcendental, and gave this constant in his full paper of 1851;4.32 the approximation property is the whole proof. It is the founding member of the built-by-hand brace.
Thue–MorseProuhet–Thue–Morse constantProven transcendentalChapter ᚂ(L) ↗ Its binary digits follow the Thue–Morse sequence; transcendental (Mahler 1929).4.10
The Prouhet–Thue–Morse constant 0.4124… has for its binary digits the Thue–Morse sequence 0110100110010110…, which is obtained by repeatedly appending the complement of what has been written so far. Kurt Mahler proved it transcendental in 1929.4.34 Built by hand, like Liouville’s and Champernowne’s.
The fixed point of cosine, 0.7390…, found by anyone who presses cos repeatedly; transcendental.4.9
The Dottie number 0.7390851… is the unique real fixed point of cosine, the number a calculator settles on if you press the cos key over and over in radian mode; it is named for a professor of French who noticed it. It is transcendental by Lindemann–Weierstrass, since cos of a nonzero algebraic number is transcendental and so could not equal the number itself.
The reciprocal of the arithmetic–geometric mean of 1 and √2, about 0.8346, proven transcendental.4.114.12
Gauss’s constant G = 1/agm(1, √2) ≈ 0.8346, where agm is the arithmetic–geometric mean, found by Gauss in 1799 when he noticed that it matches 2/π times the lemniscate integral.4.30 It equals the lemniscate constant ϖ divided by π, and Theodor Schneider proved it transcendental in 1941;4.30 Chudnovsky later showed more, that ϖ and π are algebraically independent. Not to be confused with Catalan’s G in Chapter ᚃ(F).
parabolic Puniversal parabolic constantProven transcendentalChapter ᚂ(L) ↗ ln(1 + √2) + √2, about 2.2955, the parabola’s answer to π; transcendental by Lindemann–Weierstrass.4.9
The universal parabolic constant P = ln(1 + √2) + √2 ≈ 2.2955 is, for every parabola, the ratio of the arc length of the segment cut off by the latus rectum to the focal parameter, the parabola’s version of π. It is transcendental by Lindemann–Weierstrass: if P were algebraic, ln(1 + √2) = P − √2 would be algebraic too, and then e raised to it, 1 + √2, would be transcendental, which it is not.
About 0.6434, an alternating sum over Sylvester’s sequence, transcendental.4.11
Cahen’s constant ≈ 0.6434 is the alternating sum Σ (−1)ᵏ/(sₖ − 1) over Sylvester’s sequence sₖ = 2, 3, 7, 43, 1807, …, in which each term is one more than the product of all the terms before it. Eugène Cahen introduced it in 1891, and Davison and Shallit proved it transcendental in 1991 by way of its continued fraction.
log2 3the logarithm of three in base twoProven transcendentalChapter ᚂ(L) ↗ About 1.585, the number of bits in a trit; transcendental by Gelfond–Schneider, since 2 raised to it is 3.4.9
log₂ 3 ≈ 1.58496 is the exponent that turns 2 into 3, the information in one three-way choice. It is irrational because a positive power of 2 is always even and a positive power of 3 always odd, so 2ᵃ = 3ᵇ is impossible for positive integers, and transcendental by Gelfond–Schneider: if it were algebraic and irrational, 2 raised to it would be transcendental, but 2^(log₂ 3) = 3.
About 1.6325, a number of the kind Hilbert asked about in 1900; his own examples were 2^√2 and e^π; transcendental by Gelfond–Schneider.4.94.19
√2^√2 ≈ 1.63253 is a number of the kind Hilbert’s seventh problem of 1900 asked about, an algebraic irrational raised to an algebraic irrational, and it is transcendental by the Gelfond–Schneider theorem of 1934. It is also the number in the classic proof that an irrational to an irrational power can be rational, which needs only to know that (√2^√2)^√2 = 2, without knowing which of two cases holds: either √2^√2 is itself rational, or it is irrational and raising it to √2 gives the rational 2.
About 1.7872, the smallest base in which 1 has only one expansion using the digits 0 and 1; transcendental (Allouche and Cosnard, 2000).4.10
The Komornik–Loreti constant q ≈ 1.787231650 is the smallest number greater than 1 such that 1 has a unique expansion Σ tₖ/qᵏ in digits 0 and 1, where the digits tₖ are the Thue–Morse sequence; Vilmos Komornik and Paola Loreti found it in 1998. Jean-Paul Allouche and Michel Cosnard proved it transcendental in 2000 in the American Mathematical Monthly. Built by hand, from the same sequence as the Thue–Morse constant beside it.
About 0.8507, the number whose binary digits are the creases of a strip of paper folded in half again and again; transcendental.4.10
The paperfolding constant 0.85073618… has for its binary digits the regular paperfolding sequence 1101100111001001…, the pattern of hill and valley creases when a strip is folded in half repeatedly and unfolded, described by Martin Gardner in 1967 and first analyzed in print by Chandler Davis and Donald Knuth in 1970.4.33 The sequence is automatic and not periodic, and Boris Adamczewski and Yann Bugeaud proved in 2007 that every irrational number with an automatic expansion is transcendental. Built by hand.
About 3.6256, the value that ties the gamma function to the lemniscate; transcendental (Chudnovsky, ~1976).4.12
Γ(¼) ≈ 3.62561 is the gamma function of Chapter ᚐ(A) at a quarter, and it carries the lemniscate: ϖ = Γ(¼)²/(2√(2π)). Gregory Chudnovsky proved in the 1970s that Γ(¼) and π are algebraically independent; the result appeared in the Doklady of the Ukrainian Academy of Sciences in 1976, was presented at the ICM in Helsinki in 1978, and was collected in his 1984 monograph Contributions to the Theory of Transcendental Numbers, which is the spread the tilde marks. So Γ(¼) is transcendental; ϖ and Gauss’s constant beside it had already been proved transcendental, by Siegel in 1932 and by Schneider in 1941; Γ(⅓) is transcendental by the same work, and Γ(½) = √π is transcendental because π is. Whether Γ(⅕) is transcendental is open.4.54
Also in this chapter
Terms this chapter discusses in its prose that the formula does not carry. They stay here as reference, not as factors: the formula keeps one representative carrier per framework.
3^(3^(3^3)) = 3^7625597484987, a number with about 3.6 trillion digits.4.5
3↑↑4 = 3^(3↑↑3) = 3^7625597484987, a tower of four threes, has about 3.6 trillion decimal digits: more than any prime ever found, fewer than the googolplex. It is the last rung of the tower a reader can still describe in words, and the next arrow, 3↑↑↑3, is a tower of 3↑↑3 threes. An integer.
3↑↑↑3three pentated to three, Conway’s 3→3→3Integer or rationalChapter ᚂ(L) ↗ A tower of 7,625,597,484,987 threes; in Conway’s chained-arrow notation it is 3→3→3.4.5
3↑↑↑3 = 3↑↑(3↑↑3) is a power tower of 7,625,597,484,987 threes, a value of pentation, the hyperoperation after tetration; Reuben Goodstein named tetration, pentation, and hexation in 1947, following Ackermann’s function of 1928.4.32 In John Conway’s chained-arrow notation it is 3→3→3, since a→b→c is a with c arrows b; the chains run past Knuth’s arrows, and Graham’s number lies between 3→3→64→2 and 3→3→65→2. Larger than Skewes’ number. An integer.
The output of Ralph Loader’s 2001 program, the winning entry in a contest for the largest number a C program of at most 512 characters could return; often said to exceed SSCG(3), a comparison this book has not been able to source.4.5
Loader’s number is the output of a C program of at most 512 characters written by Ralph Loader in December 2001 for the Bignum Bakeoff, a contest for the largest number a tiny program can compute.4.32 The program runs every well-formed term of the calculus of constructions up to a bound, and its output, D⁵(99), is usually said to exceed TREE(3) and SSCG(3), a comparison this book repeats without a primary source; it waits on this chapter’s workbench before Chapter ᚃ(F) leaves computability behind. An integer.
One arrow is a power, two a tower, three a tower of towers: Knuth’s 1976 notation for the hyperoperations, the language the giants are written in.4.5
Donald Knuth introduced up-arrow notation in Mathematics and Computer Science: Coping with Finiteness, Science, 1976: a↑b = a^b, a↑↑b = a↑(a↑(…)) with b copies, and each extra arrow iterates the operation before it.4.35 2↑↑4 = 65536, 3↑↑3 = 7,625,597,484,987, 3↑↑↑3 is a tower of 3↑↑3 threes, and Graham’s number is 3 with a number of arrows that is itself a giant. A notation, so a tool of the framework rather than a value.
a→b→cConway’s chained-arrow notationFunction or operatorChapter ᚂ(L) ↗ John Conway’s 1996 notation that runs past Knuth’s arrows: a→b→c is a with c arrows b, and longer chains grow faster than any fixed number of arrows.4.5
Conway chained-arrow notation, from The Book of Numbers by John Conway and Richard Guy, 1996, writes a→b→c for a↑ᶜb and defines longer chains recursively, so that 3→3→3 = 3↑↑↑3 and 3→3→64→2 <4.29 Graham’s number < 3→3→65→2. Four-element chains already outrun Knuth’s arrows. A notation, a tool of the framework.
Succession, addition, multiplication, exponentiation, tetration, pentation, hexation: each operation repeats the one before, in Goodstein’s 1947 naming.4.5
The hyperoperations are the ladder of repeated operations: addition repeats succession, multiplication repeats addition, exponentiation repeats multiplication, and tetration, pentation, and hexation continue upward. Wilhelm Ackermann’s three-argument function of 1928 was an early version, and Reuben Goodstein cleaned it up and coined the Greek names in 1947.4.31 Knuth’s arrows and Conway’s chains are notations for it; the Ackermann function of Chapter ᚇ(D) is a version of it. A concept, a tool of the framework.
Löb and Wainer’s 1970 ladder of functions indexed by ordinals, the ruler that says how big a giant really is: Graham’s number is about fω+1(64), TREE(3) is beyond fΓ₀.4.5
The fast-growing hierarchy of Martin Löb and Stanley Wainer, 1970, defines f₀(n) = n + 1, fα+1(n) = fα applied n times to n, and for a limit ordinal takes the diagonal of the functions below it.4.30 It is the ruler for giants: Knuth’s k arrows live at fk+1, Graham’s number below fω+1(64), and TREE(3) beyond fΓ₀; the Busy Beaver function of Chapter ᚃ(F) outgrows the whole computable hierarchy. A concept, a tool of the framework.
A real number that cannot be reached from a unit length using compass and unmarked straightedge.4.20
Constructibility means an exact construction from a unit length. Arithmetic and successive square roots reach every constructible real number; a non-constructible number lies outside that collection.4.20 For example, ∛2 has degree 3 over the rationals, so it cannot be reached this way. Every constructible number is algebraic, which also rules out transcendental numbers such as π.4.204.9 The algebraic denominator groups only the non-constructible algebraic examples; the transcendental examples have their own section. Being non-constructible does not mean being uncomputable: these numbers can still be approximated.
Reachable from a unit length by compass and unmarked straightedge, using arithmetic and successive square roots.4.20
A length is constructible with compass and straightedge exactly when it lies at the top of a finite tower of quadratic extensions of the rationals, so its degree [ℚ(γ):ℚ] is 2ʳ for some r. That degree condition is necessary but is not sufficient on its own.4.20 Pierre Wantzel proved the tower criterion in 1837 and read the two famous impossibilities straight off it: ∛2 has minimal polynomial x³ − 2, of degree 3, so the cube cannot be doubled, and cos(π/9) has minimal polynomial 8x³ − 6x − 1, also of degree 3, so the general angle cannot be trisected.4.20 The same criterion says which regular polygons can be drawn—the 17-gon can, the heptagon cannot.4.8 This is the line the chapter’s algebraic brace is drawn along: above it the numbers a Greek could have built, below it the ones no straightedge reaches. A criterion, not a number, so uncolored.
L–Wthe Lindemann–Weierstrass theoremFunction or operatorChapter ᚂ(L) ↗ Raising e to any nonzero algebraic power gives a transcendental number (Lindemann, 1882; Weierstrass proved the general form in 1885), so e and π are both transcendental.4.9
The theorem that makes most of this chapter’s transcendental brace possible. Lindemann proved in 1882 that e^α is transcendental for every nonzero algebraic α; Weierstrass proved the general independence statement in 1885: if α₁, …, αₙ are algebraic and linearly independent over ℚ, then e^α₁, …, e^αₙ are algebraically independent over ℚ.4.9 Two corollaries fall out at once. Taking α = 1 gives e. And if π were algebraic then so would πi be, which would make e^(iπ) = −1 transcendental—so π is not algebraic either, which is why the circle cannot be squared.4.9 Everything in the chapter that is transcendental “by Hermite and Lindemann” is transcendental by this. A theorem, not a number, so uncolored.
If a is algebraic and not 0 or 1, and b is algebraic and irrational, then a^b is transcendental.4.9
Proved independently in 1934 by Aleksandr Gelfond and Theodor Schneider, answering the seventh of the problems Hilbert set in 1900.4.94.31 It is the theorem behind 2^√2, e^π (which is (−1)^(−i)), i^i, and √2^√2—the second brace of transcendentals in this chapter, the ones that are transcendental for a reason different from e and π’s.4.9 The hypotheses are exactly as tight as they look: 1^√2 = 1 is why a ≠ 1 is needed, and 2² is why b must be irrational. A theorem, not a number, so uncolored.
The real algebraic numbers are countable and the reals are not, so almost every real number is transcendental.4.21
Cantor proved in 1874, in Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, that the real algebraic numbers can be put in one-to-one correspondence with the positive integers, and that an interval of reals cannot. The two halves together put a transcendental number in every interval, and Cantor’s argument, run on a list of the algebraic numbers, actually builds one: the transcendentals are not a scarce curiosity but everything left over. Liouville had proved in 1844 that transcendental numbers exist and built one by hand in 1851; Cantor’s counting showed that they are almost all of them.
3² − 2³ − 1Catalan’s conjecture, Mihăilescu’s theoremInteger or rationalChapter ᚂ(L) ↗ 8 and 9 are the only consecutive perfect powers, so 3² − 2³ − 1 = 0; posed by Catalan in a note published in 1844 and proved by Mihăilescu in 2002.4.22
Catalan asked, in a note published in 1844, whether 2³ = 8 and 3² = 9 are the only two perfect powers that differ by 1. Preda Mihăilescu proved that they are in 2002. Written as 3² − 2³ − 1 the theorem is exactly 0, a numerator in waiting, left on the workbench because a brace can only be so wide. An integer.
1³ + 5³ + 3³ = 153: a number equal to the sum of the cubes of its own digits.4.23
A number that equals the sum of its own digits, each raised to the power of how many digits it has, is called narcissistic; 153 = 1 + 125 + 27. An integer.
2520the least common multiple of 1 through 10Integer or rationalChapter ᚂ(L) ↗ The smallest number that each of 1 through 10 divides.4.23
2520 = 2³ · 3² · 5 · 7, each prime taken to the highest power that appears among the numbers 1 to 10. An integer.
Apart from 1, the only perfect square that is also a square pyramidal number: 1² + 2² + … + 24² = 70².4.22
Stack cannonballs in a square pyramid with a 24-by-24 base and the 4900 balls can be relaid as a single 70-by-70 square; apart from the one-ball pile, no other square pyramid does this. An integer.
One grain on the first square, doubling on each of the 64: 18,446,744,073,709,551,615 grains in all.4.23
The total is 1 + 2 + 4 + … + 2⁶³ = 2⁶⁴ − 1, because every sum of doublings is one short of the next power of two. An integer.
10³⁰³ on the short scale and 10⁶⁰⁰ on the long: the highest -illion name the major English dictionaries include.4.23
Larger -illions can be built by the same naming rules, but the dictionaries stop here. An integer.
About 1.7320508, the square root of 3, which Theodorus of Cyrene proved irrational, as Plato reports in the Theaetetus.4.23
In Plato’s dialogue, Theodorus shows that the square roots of 3, 5, and the other non-squares up to 17 are irrational, and stops there; how he proved it is not known. √3 is constructible: it is the height of an equilateral triangle with side 2. Algebraic of degree 2.
About 1.4655712, the real root of x³ = x² + 1.4.234.20
A cousin of the golden ratio: where φ satisfies x² = x + 1, ψ satisfies x³ = x² + 1. It is algebraic of degree 3, and 3 is not a power of 2, so compass and straightedge cannot construct it.
About 1.059463, the frequency ratio of one semitone in twelve-tone equal temperament.4.23
Twelve equal semitones make an octave, a doubling of frequency, so each one multiplies the frequency by 2^(1/12). Algebraic of degree 12, a root of x¹² = 2.
τ = 2π ≈ 6.283185, one full turn in radians; transcendental because π is.4.23
Michael Hartl’s Tau Manifesto of 2010 argued that the full turn, not the half turn, deserves its own letter. A nonzero algebraic multiple of π is transcendental. Not to be confused with the tribonacci constant τ₃ of the algebraic basket.
About 137.5077°, or 2π/φ² radians: the angle that separates successive florets on a sunflower head.4.23
Turn by this angle before placing each new seed and the seeds never line up into spokes, which leaves each one room to grow; Vogel’s sunflower model of 1979 uses exactly this rule. In radians it is π times the algebraic number 2(2 − φ), so it is transcendental.
arccos(1/√3) ≈ 54.7356°, the tilt used in magic-angle spinning NMR.4.23
Spinning a solid sample about an axis tilted at this angle to the magnetic field averages away the anisotropic interactions that blur its spectrum. In radians it is the arccosine of an algebraic number, so it is transcendental by the Lindemann–Weierstrass theorem.
Any infinite sequence of finite trees contains an earlier tree that embeds into a later one, a 1960 theorem whose finite version defines the explosively fast-growing function behind TREE(3).4.37
Joseph Kruskal proved in 1960 that the finite trees, ordered by whether one embeds homeomorphically into another, form a well-quasi-order: no infinite sequence of them can avoid having an earlier tree embed in a later one. Harvey Friedman later gave a finite, miniaturized version of the same statement, and the length of the longest sequence it allows, for trees labeled from a set of three colors with the i-th tree having at most i vertices, is TREE(3), one of the giant integers on this chapter’s ladder. A theorem, uncolored.
David Hilbert’s 1900 question of whether a to the power b is always transcendental when a is algebraic and not 0 or 1 and b is algebraic and irrational, answered yes by the Gelfond-Schneider theorem in 1934.4.38
Hilbert set the transcendence of a^b as the seventh of his twenty-three problems, naming 2^√2 and e^π, which is (−1)^(−i), as his own test cases. Aleksandr Gelfond and Theodor Schneider settled it independently in 1934, proving that a^b is transcendental under exactly those hypotheses; the theorem now bears both their names and covers every case this chapter’s second brace of transcendentals needs, from 2^√2 itself to i^i and √2^√2. A problem, resolved, uncolored.
Unresolved constants, and uncomputable and infeasible numbers: Legendre’s constant, the not-even-known-irrational, TREE(3) against Rayo’s number, Chaitin’s Ω, and BB(6)
ᚃ – Fearn: later associated with the alder, Section 5
0.235711131719…, the primes concatenated; normal in base 10, hence irrational, transcendence unknown.5.4
The Copeland–Erdős constant 0.235711131719… is the primes written one after another as decimals. Arthur Copeland and Paul Erdős proved in 1946 that it is normal in base 10, and a normal number is automatically irrational, since a rational’s digits repeat. Whether it is transcendental is open, which is why it is tinted as status open and why it stands among the unresolved constants in Chapter ᚃ(F); it also appears in Chapter ᚂ(L) as the hand-built cousin under Champernowne’s constant.
Conjectured to be about 1.08366 in 1808 and proven to be exactly 1 in 1899.5.1
In 1808 Legendre proposed that the number of primes up to x is about x/(ln x − B) with B ≈ 1.08366, and B was called Legendre’s constant. In 1899 de la Vallée Poussin proved that the best value of B is exactly 1. That is why Legendre’s constant minus 1 is the zero of the unresolved-constants column.
About 0.5772, and not even known to be irrational, one of the embarrassments of number theory.5.6
The Euler–Mascheroni constant γ ≈ 0.5772 is the limit of 1 + ½ + … + 1/n − ln n, introduced by Euler in 1734.5.30 Lorenzo Mascheroni computed it to 32 decimal places in 1790, of which only the first 19 were right; the error was caught by von Soldner in 1809.5.30 It appears throughout analysis and number theory, and it is not known whether it is irrational, let alone transcendental; Aptekarev observed in 20095.6 that at least one of γ and the Gompertz constant is irrational, and Rivoal in 2012 that at least one is transcendental. The flagship of the not-even-known-irrational brace.
About 4.6692, the universal period-doubling ratio of chaos; irrationality unproven.5.7
Feigenbaum’s constant δ ≈ 4.6692 is the universal ratio at which period-doubling bifurcations approach chaos, found numerically by Mitchell Feigenbaum in 1975 and proven universal by Lanford in 1982.5.30 It is the same for every one-dimensional map with a single quadratic maximum, which is why it counts as a constant of nature within mathematics. Whether it is irrational is unknown.
Its magnitude is about 2.5029; the signed convention is approximately −2.5029. Its irrationality remains open.5.7
Feigenbaum’s second constant describes the spatial scaling of successive period-doubling forks. A common signed convention gives αF ≈ −2.502907875; many expositions quote its magnitude. This book displays |αF| when a positive denominator value is intended. The universality statement concerns one-dimensional maps with a single quadratic maximum, the same class named on the δ card; Lanford’s 1982 computer-assisted proof established it for that class.5.30 Its irrationality is unknown.
About 0.9160; whether it is even irrational is unknown.5.8
Catalan’s constant G = 1 − 1/9 + 1/25 − 1/49 + … ≈ 0.9160, named after Eugène Catalan, who studied it in 1865.5.30 It appears in combinatorics and in the volumes of hyperbolic solids, and it is not known whether it is irrational. This is the G of Chapter ᚃ(F); Gauss’s constant, also written G and proven transcendental, is in Chapter ᚂ(L).
About 2.6854, the geometric mean of almost every continued fraction’s terms; status open.5.9
Khinchin’s constant K ≈ 2.6854 is the geometric mean of the partial quotients of the continued fraction of almost every real number, proven by Aleksandr Khinchin in ~1934 to exist and to be the same for almost all numbers.5.26 It is not known to be irrational; it is not even known whether K’s own continued fraction has this property.
About 1.2824; status open.5.9
The Glaisher–Kinkelin constant A ≈ 1.2824 appears in the asymptotics of the hyperfactorial 1¹ · 2² · 3³ · … · nⁿ, studied by Hermann Kinkelin in 1860 and James Glaisher in 1878, and it is connected to the derivative of the zeta function at −1.5.26 Its irrationality is open.
The sum of reciprocals of twin primes, estimated at about 1.9022; rational if there are finitely many twin primes.5.10
Brun’s constant B₂ ≈ 1.9022 is the sum of the reciprocals of the twin primes, (1/3 + 1/5) + (1/5 + 1/7) + (1/11 + 1/13) + …. Viggo Brun proved in 1919 that the sum converges, so twin primes are sparse even if infinite.5.30 If there are finitely many twin primes it is a rational number, so its status is tied to the twin prime conjecture; its computation by Nicely in 1994 famously exposed the Pentium division bug.5.30 Its familiar digits are an extrapolation from the twin primes below 1016; what is proved is only that it lies between 1.84 and 2.29.5.10 This B₂ is Brun’s constant, not the Bernoulli number B₂ = ⅙ of Chapter ᚂ(L).
About 1.6067, proven irrational in 1948; transcendence open.5.2
The Erdős–Borwein constant EEB = Σ 1/(2ⁿ − 1) ≈ 1.6067, the sum of the reciprocals of the Mersenne numbers. Paul Erdős proved it irrational in 1948, and Peter Borwein gave a second proof in 1992; whether it is transcendental is open, so it stands in the irrational-but-unclassified brace.
About 0.5963; at least one of it and γ is transcendental (Rivoal, 2012), and nobody knows which.5.6
The Gompertz constant ≈ 0.5963 is the integral of e^(−x)/(1 + x) from 0 to ∞, named by Le Lionnais for its role in survival analysis, after Benjamin Gompertz, whose 1825 law of human mortality gives the Gompertz curve, and connected to Euler’s divergent series 1 − 1 + 2 − 6 + 24 − ….5.31 Aptekarev (2009) observed5.6 that at least one of γ and this constant is irrational, and Rivoal (2012) that at least one is transcendental; nobody knows which.
About 1.3064, the smallest θ with ⌊θ^(3ⁿ)⌋ prime for every n; proved irrational by Kota Saito in 2024, transcendence open; its digits are known only under the Riemann Hypothesis.5.11
Mills’ constant θ ≈ 1.3064 is the smallest real number such that the integer part of θ^(3ⁿ) is prime for every n, from William Mills’ 1947 theorem that such a number exists.5.31 Its digits are known only under the Riemann Hypothesis, which is needed to guarantee a prime between consecutive cubes; the number itself is defined without it, and Kota Saito proved it irrational in 2024 with no such assumption (Mathematika 71, 2025). Whether it is transcendental is open: Saito showed that either θ is transcendental or some power θ^(3^m) is a cubic Pisot number, and that transcendence would follow from Cramér’s conjecture or from the Density Hypothesis. Status open.
π + e, π·e, πethe unclassified combinations of π and eStatus openChapter ᚃ(F) ↗ π + e ≈ 5.86, π·e ≈ 8.54, and π^e ≈ 22.46; the irrationality of each is open, though at least one of π + e and π·e must be transcendental.5.12
π + e ≈ 5.8599, π·e ≈ 8.5397, and π^e ≈ 22.459 are the simplest combinations of the two most famous transcendentals whose status is unknown: none is known to be irrational. Because π and e are both roots of x² − (π + e)x + πe, at least one of π + e and πe must be transcendental, but which one is open. Contrast e^π, which Gelfond–Schneider settles and which lives in Chapter ᚂ(L).
About 0.6602, the constant in the Hardy–Littlewood twin prime conjecture; status open.5.9
The twin prime constant C₂ = Π (1 − 1/(p − 1)²) over odd primes ≈ 0.6602, the constant in Hardy and Littlewood’s 19235.26 conjecture for how many twin primes lie below x. Its irrationality is open.
About 0.2615, the γ of the primes; status open.5.6
The Meissel–Mertens constant M ≈ 0.2615 is the limit of the sum of 1/p over primes up to n minus ln ln n, the primes’ own version of γ, established by Meissel in 1866 and Mertens in ~1874.5.31 Not known to be irrational.
About 3.3599, proven irrational in 1989; transcendence open.5.3
The reciprocal Fibonacci constant ψ = 1/1 + 1/1 + 1/2 + 1/3 + 1/5 + 1/8 + … ≈ 3.3599. Richard André-Jeannin proved it irrational in 1989; whether it is transcendental is open, so it stands beside the Erdős–Borwein constant in the irrational-but-unclassified brace.
About 0.6243, the expected share of a random permutation taken up by its longest cycle, as the permutation grows; status open.5.9
The Golomb–Dickman constant λ ≈ 0.6243 is the expected fraction of n taken up by the longest cycle of a random permutation of n objects, as n grows, and equally the expected size of the largest prime factor of a random integer on a logarithmic scale; found by Golomb in 1964 and, in the number-theoretic form, by Dickman in 1930.5.26 Status open.
About 0.7642, the constant in the count of numbers that are sums of two squares; status open.5.9
The Landau–Ramanujan constant K ≈ 0.7642 is the constant in the count of integers up to x that are sums of two squares, about K·x/√(ln x), proven by Landau in 1908 and independently found by Ramanujan.5.26 Its irrationality is open.
About 1.2021, the sum of the reciprocal cubes; Apéry proved it irrational in 1978, and whether it is transcendental is open.5.5
Apéry’s constant ζ(3) = 1 + 1/8 + 1/27 + … ≈ 1.2020569, the zeta function of Chapter ᚑ(O) at 3. Euler found ζ(2) = π²/6 in 1734 by the usual account and read it to the St Petersburg Academy in December 1735, the year other accounts give for the result;5.30 no closed form for ζ(3) has ever been found; Roger Apéry stunned the field in 1978 by proving it irrational with methods that had been available for 200 years. Its transcendence is open, which puts it in the irrational-but-unclassified brace here as well as in Chapter ᚑ(O)’s denominator. Status open.
About 1.0369, the sum of the reciprocal fifth powers; not known to be irrational, though at least one of ζ(5), ζ(7), ζ(9), ζ(11) is (Zudilin, 2001).5.13
ζ(5) = 1 + 1/32 + 1/243 + … ≈ 1.0369278. Apéry’s method does not reach it: Rivoal proved in 2000 that infinitely many odd zeta values are irrational, and Wadim Zudilin in 2001 that at least one of ζ(5), ζ(7), ζ(9), and ζ(11) is, but no single one of them has been settled.5.31 The even values are all rational multiples of powers of π, and so transcendental; the odd ones are the open frontier. Status open.
About 36.46 and 15.15; neither is known to be irrational, though Schanuel’s conjecture would make both transcendental.5.12
π^π ≈ 36.4622 and e^e ≈ 15.1543 are the two simplest self-powers of the famous transcendentals, and neither is known to be irrational; Gelfond–Schneider needs an algebraic base, and π and e are not. Schanuel’s conjecture of the 1960s would settle these, π + e, π·e, and π^e in one stroke, and remains open.5.24 5.31 Status open.
About 3.2758, e^(π²/(12 ln 2)), the growth rate of the denominators of almost every continued fraction; irrationality open.5.9
Lévy’s constant e^(π²/(12 ln 2)) ≈ 3.275823 is the limit of the nth root of the nth convergent denominator of the continued fraction of almost every real number. Khinchin proved in ~1935 that the limit exists and is the same for almost all numbers, and Paul Lévy found the closed form in 1936;5.26 Khinchin’s own constant beside it is the geometric mean of the partial quotients. Nothing is known about whether it is irrational. Status open.
About 2.8078, the area under 1/Γ(x) from 0 to ∞; irrationality open.5.9
The Fransén–Robinson constant F = ∫₀^∞ dx/Γ(x) ≈ 2.8077702, the area under the reciprocal gamma function of Chapter ᚐ(A), computed to high precision by Herman P. Robinson, who reached 36 places by Newton–Cotes quadrature, and by Arne Fransén, who reached 65 by Euler–Maclaurin summation.5.26 It is the continuous analogue of e = Σ 1/n!, and it has no known closed form and no known irrationality proof. Status open.
About 0.2802, the limit of how badly polynomials of degree n must miss |x| on [−1, 1], times n; irrationality open.5.9
Bernstein’s constant β ≈ 0.2801694 governs how well |x| can be approximated by polynomials on [−1, 1]: Sergei Bernstein showed in 1913 or 1914 that the best degree-n error times n tends to a limit, and computed it to a few digits; Varga and Carpenter found in 1985 that it is not 1/(2√π), which Bernstein had suspected.5.26 Its irrationality is open. Status open.
The growth rate of a Fibonacci sequence in which each step adds or subtracts at random; found by Divakar Viswanath in 1999, status open.5.9
Viswanath’s constant ≈ 1.1319882 is the rate at which the absolute values of a random Fibonacci sequence, xₙ = ±xₙ₋₁ ± xₙ₋₂ with the signs chosen by coin flips, grow almost surely; Divakar Viswanath computed it in 1999, using the Stern–Brocot tree and a fractal measure.5.26 Nothing is known about its irrationality. Status open.
About 1.7052, the average over all integers of the largest exponent in their factorization; irrationality open.5.9
Niven’s constant ≈ 1.7052111 is the average, over the integers up to x as x grows, of the largest exponent appearing in the prime factorization; Ivan Niven found it in 19695.26 as 1 + Σ (1 − 1/ζ(k)) over k ≥ 2, so it is built from the zeta function of Chapter ᚑ(O). Its irrationality is open. Status open.
About 0.3740, the conjectured density of primes for which 2 is a primitive root; irrationality open.5.9
Artin’s constant Π (1 − 1/(p(p − 1))) over primes ≈ 0.3739558 is the density, conjectured by Emil Artin in 1927, of primes p for which 2 generates every nonzero residue mod p, as in the cyclic number 142857 of Chapter ᚂ(L), where 10 is such a root of 7. Hooley proved the conjecture in 19675.26 assuming the generalized Riemann Hypothesis; unconditionally it is open, and so is the constant’s irrationality. Status open.
About 2.5850, the limit of a sum counting the ways integers up to n are sums of two squares, once π ln n is taken away; irrationality open.5.9
Sierpiński’s constant KS ≈ 2.5849817 is the limit of the sum Σ r₂(k)/k over k ≤ n minus π ln n, where r₂ counts representations as a sum of two squares; Wacław Sierpiński found it in 1907,5.26 and it is built from π, γ, and the Gamma function at ¼. It is not known to be irrational. Status open.
About 0.1879, the limit of the alternating sums of nth roots of n; found by Marvin Ray Burns in 1999, status open.5.9
The MRB constant ≈ 0.1878596 is the limit of the even partial sums of Σ (−1)ᵏ k^(1/k), the sums of the first 2n terms; the full series diverges, since its terms tend to ±1, but the even partial sums settle down, and their limit is the constant. Marvin Ray Burns found it in 19995.26 and it has since been computed to millions of digits without any closed form or irrationality proof. Status open.
About 1.6617, the limit of √(1·√(2·√(3·…))), found by Michael Somos in 1999; irrationality open.5.9
Somos’ quadratic recurrence constant σ = √(1·√(2·√(3·√(4·…)))) ≈ 1.6616879, the infinite nested radical Michael Somos studied in 1999;5.26 it equals Π n^(1/2ⁿ) and has expressions through the polylogarithm. It is not known to be irrational. Status open.
About 0.1149, the radius of the circle left after inscribing a triangle, a square, a pentagon, and every polygon after them inside a unit circle, each inside the last; irrationality open.5.9
The Kepler–Bouwkamp constant ≈ 0.1149420 is the radius of the circle that remains when a unit circle has a triangle inscribed in it, a circle inscribed in the triangle, a square in that circle, a circle in the square, a pentagon, and so on forever: the product of cos(π/n) over n ≥ 3. Kepler drew the first steps in 1596 when modeling the planets, in the Mysterium Cosmographicum, and Christoffel Jacob Bouwkamp computed the limit in 1965.5.26 Not known to be irrational. Status open.
About 1.4561, the growth rate hidden in the power series whose coefficients are the primes; found by Nigel Backhouse in 1995, status open.5.9
Backhouse’s constant ≈ 1.4560749 is the limit of the ratios of successive coefficients of 1/P(x), where P(x) = 1 + 2x + 3x² + 5x³ + 7x⁴ + … has the primes as coefficients; Nigel Backhouse noticed the limit in 1995 and Philippe Flajolet proved it exists.5.26 It has no irrationality proof. Status open.
Stephen Schanuel’s unproved conjecture on exponentials, which would settle π + e, π·e, π to the e, π to the π, and e to the e in one stroke.5.24
Schanuel’s conjecture says that if z₁, …, zₙ are complex numbers linearly independent over the rationals, then the field ℚ(z₁, …, zₙ, e^z₁, …, e^zₙ) has transcendence degree at least n over ℚ. Stephen Schanuel formulated it and Serge Lang published it in 1966. It would make e and π algebraically independent, and so settle π + e, π·e, π^e, π^π, and e^e—every unclassified combination in this chapter’s second brace—in one stroke. It remains one of the major unsolved problems of transcendental number theory, and nothing in this chapter assumes it. Status open.
Every block of digits turns up as often as chance says it should. Almost every real is normal, and almost no specific one is known to be.5.28
A number is normal in a base when every finite block of digits appears in its expansion with exactly the frequency chance would assign it, and absolutely normal when that is true in every base at once. Émile Borel introduced the idea in 1909 and proved that almost every real number is normal—the exceptions form a set of measure zero—which is the classic case of knowing a property holds almost everywhere while being unable to certify it anywhere in particular. Sierpiński managed to specify an absolutely normal number in 1917, and Becher and Figueira produced a computable one in 2002, but whether π, e, or √2 is normal is open. The one thing normality does settle at once is irrationality: a rational expansion is eventually periodic, and a periodic expansion cannot give every block its share. Status open.
A Mersenne number is any number of the form 2ⁿ − 1, named for Marin Mersenne, and it can only be prime when n itself is prime, which makes hunting for Mersenne primes one of the oldest games in number theory.5.40
Mersenne numbers are 2ⁿ − 1 for n = 1, 2, 3, …; primality of n is necessary but not sufficient for 2ⁿ − 1 to be prime. The Erdős–Borwein constant is the sum of the reciprocals of all Mersenne numbers, Σ 1/(2ⁿ − 1), which Paul Erdős proved irrational in 1948. The largest known prime of any kind is almost always a Mersenne prime, such as the record-holder 2¹³⁶²⁷⁹⁸⁴¹ − 1, because a fast primality test, the Lucas–Lehmer test, exists just for this family.
A precisely defined quantity or function for which no single algorithm can produce answers to every requested accuracy or input.5.25
In this book, uncomputability means that no general method exists, as for the Busy Beaver function or the digits of a fixed Chaitin constant. It does not mean that no individual finite value can ever be written down. The x in Rose’s number is a stronger case: it is not even definable, so no formula names it and no program prints it.1.1
The condition of being impracticable: possible in principle, but beyond a stated practical limit such as available time, space, or displayable size.5.25
Author’s clarification: this is a glossary term used to name the book’s distinction between an exact finite quantity and a full calculation or expansion that cannot feasibly be carried out. It is not a new kind of number and does not mean mathematical impossibility.
Radó’s 1962 function at 6: a fixed finite integer whose exact value remains unknown; the function n ↦ BB(n), not this one value, is uncomputable.5.19
The Busy Beaver function BB(n), defined by Tibor Radó in 19629.5, is the largest number of steps a halting Turing machine with n states and two symbols can make when started on a blank tape. No algorithm computes BB(n) for every n. BB(5) = 47,176,870 was formally proved in 2024; BB(6) remains unresolved,5.21 and a machine found in June 2025 shows it exceeds 2↑↑↑5 — a tower of twos whose height is itself a tower of twos. The distinction matters: BB as a function is uncomputable, but BB(6) is one fixed natural number and therefore computable in the standard existential sense, even though nobody presently knows its digits. Type: integer, status unresolved.
The smallest integer larger than every integer nameable in at most a googol symbols of set theory; the winner of the 2007 big-number duel at MIT, claimed at the time as the largest named number.5.15
Rayo’s number was defined by Agustín Rayo on 26 January 2007, in a big-number duel against Adam Elga at MIT, as the smallest positive integer larger than every finite integer denoted by a qualifying expression of first-order set theory using at most a googol symbols. The exact formal-language conditions are essential. It exceeds TREE(3), which has a much shorter description. Like every fixed finite integer it is computable in the technical sense, although no feasible computation could write it out. Type: integer beyond feasible calculation.
∞positive infinity of the extended realsInfinity or limit deviceChapter ᚃ(F) ↗ The limit target in n → ∞; infinity labels the process and is not used as an ordinary exponent.5.17
Positive infinity on the extended real line is a limit device, not an ordinary real number. In Chapter ᚃ(F) the formula uses it only in n → ∞ for the limit of xn when 0 < x < 1; that limit is 0.
The halting probability: definable, uncomputable, and transcendental.5.18
Fix an optimal universal prefix-free computer. Prefix-free means that no valid program is the beginning of another valid program; these programs delimit themselves. Its halting probability is Ω = Σ 2−|p|, summed over its halting programs p. The value depends on the chosen computer. Gregory Chaitin defined the halting probability in 1975. It is a definite real number between 0 and 1 whose first n bits would decide the halting problem for all programs up to about n bits long, so no algorithm can compute it; it is also known to be transcendental, and algorithmically random, which is why it is normal.5.18 Its type is uncomputable, which outranks transcendental in this book’s color scheme. This Ω is Chaitin’s, not the Lambert omega constant W(1) of Chapter ᚐ(A).
The value approached by a sequence or function; here n tends to infinity while an ordinary power tends to zero.5.17
The limit notation used in Chapter ᚃ(F). For every real x with 0 < x < 1, limn→∞xn = 0. Newton used limiting arguments in the seventeenth century; Cauchy gave the subject systematic definitions in 1821 and Weierstrass supplied the modern epsilon language.5.31 In this formula infinity labels a process and is never treated as an ordinary exponent. A function of the framework.
Halve it if it is even, triple and add one if it is odd. Does every start reach 1? Verified for every start up to 2.36 × 10²¹, but never proved in general.5.29
Lothar Collatz introduced the rule in the 1930s: halve an even number, replace an odd n by 3n + 1, repeat. The conjecture is that every positive integer eventually reaches 1. The orbits wander up and down so wildly that they are called hailstone sequences, and the conjecture has been checked for every start up to 2.36 × 10²¹ without a general proof appearing. It matters in this chapter because it is not only unsolved but obstructive: the machines that block the sixth Busy Beaver value are Collatz-like, so a problem nobody can settle about arithmetic becomes a problem nobody can settle about a particular six-state machine. Status open.