Large numbers

Large numbers are numbers that are significantly larger than those ordinarily used in everyday life, for instance in simple counting or in monetary transactions. The term typically refers to large positive integers, or more generally, large positive real numbers, but it may also be used in other contexts. The study of nomenclature and properties of large numbers is sometimes called googology.[1][2]

For other uses, see Large number (disambiguation).

Very large numbers often occur in fields such as mathematics, cosmology, cryptography, and statistical mechanics. Sometimes people refer to numbers as being "astronomically large". However, it is easy to mathematically define numbers that are much larger even than those used in astronomy.

Large numbers in the everyday world

See also: scientific notation, logarithmic scale, and orders of magnitude

Scientific notation was created to handle the wide range of values that occur in scientific study. 1.0 × 10⁹, for example, means one billion, a 1 followed by nine zeros: 1 000 000 000, and 1.0 × 10⁻⁹ means one billionth, or 0.000 000 001. Writing 10⁹ instead of nine zeros saves readers the effort and hazard of counting a long series of zeros to see how large the number is.

Examples of large numbers describing everyday real-world objects include:

• The number of bits on a computer hard disk (as of 2010, typically about 10¹³, 500–1000 GB)
• The estimated number of atoms in the observable universe (10⁸⁰)
• The mass of Earth consists of about 4x10⁵¹ nucleons
• The number of cells in the human body (estimated at 3.72 × 10¹³)[3]
• The number of neuronal connections in the human brain (estimated at 10¹⁴)
• The lower bound on the game-tree complexity of chess, also known as the "Shannon number" (estimated at around 10¹²⁰)[4]
• The Avogadro constant is the number of "elementary entities" (usually atoms or molecules) in one mole; the number of atoms in 12 grams of carbon-12 – approximately 6.022×10²³.

Large numbers and governments

Large numbers have been central to “statistics-driven thinking”, which have become “ubiquitous in modern society.” Beginning with 17th-century probability theory, statistics have evolved and become integral to both governmental knowledge and power. There is a complex "reciprocity between modern governments and the mathematical artifacts that both dictate the duties of the state and measure its successes". These tools include economics, mathematical statistics, medical statistics, probability, psychology, sociology, and surveys. These have led to applied econometrics in modern times.[5]

Illinois Senator Everett Dirksen is noted as saying, "A billion here, a billion there, pretty soon, you're talking real money." Although there is no direct record of the remark,[6] he is believed to have made it during an appearance on The Tonight Show Starring Johnny Carson. (See wikiquotes of Everett Dirksen.)

Astronomically large numbers

Other large numbers, as regards length and time, are found in astronomy and cosmology. For example, the current Big Bang model suggests that the universe is 13.8 billion years (4.355 × 10¹⁷ seconds) old, and that the observable universe is 93 billion light years across (8.8 × 10²⁶ metres), and contains about 5 × 10²² stars, organized into around 125 billion (1.25 × 10¹¹) galaxies, according to Hubble Space Telescope observations. There are about 10⁸⁰ atoms in the observable universe, by rough estimation.[7]

According to Don Page, physicist at the University of Alberta, Canada, the longest finite time that has so far been explicitly calculated by any physicist is

${\displaystyle 10^{10^{10^{10^{10^{1.1}}}}}{\mbox{ years}}}$

which corresponds to the scale of an estimated Poincaré recurrence time for the quantum state of a hypothetical box containing a black hole with the estimated mass of the entire universe, observable or not, assuming a certain inflationary model with an inflaton whose mass is 10⁻⁶ Planck masses.[8][9] This time assumes a statistical model subject to Poincaré recurrence. A much simplified way of thinking about this time is in a model where the universe's history repeats itself arbitrarily many times due to properties of statistical mechanics; this is the time scale when it will first be somewhat similar (for a reasonable choice of "similar") to its current state again.

Combinatorial processes rapidly generate even larger numbers. The factorial function, which defines the number of permutations on a set of fixed objects, grows very rapidly with the number of objects. Stirling's formula gives a precise asymptotic expression for this rate of growth.

Combinatorial processes generate very large numbers in statistical mechanics. These numbers are so large that they are typically only referred to using their logarithms.

Gödel numbers, and similar numbers used to represent bit-strings in algorithmic information theory, are very large, even for mathematical statements of reasonable length. However, some pathological numbers are even larger than the Gödel numbers of typical mathematical propositions.

Logician Harvey Friedman has done work related to very large numbers, such as with Kruskal's tree theorem and the Robertson–Seymour theorem.

"Billions and billions"

To help viewers of Cosmos distinguish between "millions" and "billions", astronomer Carl Sagan wrote a book and discoursed, stressing the "b". Sagan never did, however, say "billions and billions". The public's association of the phrase and Sagan came from a Tonight Show skit. Parodying Sagan's affect, Johnny Carson quipped "billions and billions".[10] The phrase has, however, now become a humorous fictitious number—the Sagan. Cf., Sagan Unit.

Examples of large numbers

See also: Examples of numbers, in numerical order

• googol = ${\displaystyle 10^{100}.}$
• centillion = ${\displaystyle 10^{303}}$ or ${\displaystyle 10^{600}}$, depending on number naming system.
• millillion = ${\displaystyle 10^{3003}}$ or ${\displaystyle 10^{6000}}$, depending on number naming system.
• micrillion = ${\displaystyle 10^{3000003}}$ or ${\displaystyle 10^{6000000}}$, depending on number naming system.
• The largest known Smith number = (10¹⁰³¹−1) × (10⁴⁵⁹⁴ + 3×10²²⁹⁷ + 1)¹⁴⁷⁶ ×10^3913210.
• The largest known Mersenne prime = ${\displaystyle 2^{82,589,933}-1}$ (as of December 21, 2018),
• googolplex = ${\displaystyle 10^{\text{googol}}=10^{10^{100}}}$.
• Skewes' numbers: the first is approximately ${\displaystyle 10^{10^{10^{34}}}}$, the second ${\displaystyle 10^{10^{10^{964}}}}$,
• googolplexian = ${\displaystyle 10^{\text{googolplex}}=10^{10^{\text{googol}}}=10^{10^{10^{100}}}}$.
• Graham's number, larger than what can be represented even using power towers (tetration). However, it can be represented using Knuth's up-arrow notation.
• Rayo's number is a large number named after Agustín Rayo which has been claimed to be the largest named number. It was originally defined in a "big number duel" at MIT on 26 January 2007.

Systematically creating ever-faster-increasing sequences

Main article: fast-growing hierarchy

Given a strictly increasing integer sequence/function ${\displaystyle f_{0}(n)}$ (n≥1) we can produce a faster-growing sequence ${\displaystyle f_{1}(n)=f_{0}^{n}(n)}$ (where the superscript n denotes the n^th functional power). This can be repeated any number of times by letting ${\displaystyle f_{k}(n)=f_{k-1}^{n}(n)}$, each sequence growing much faster than the one before it. Then we could define ${\displaystyle f_{\omega }(n)=f_{n}(n)}$, which grows much faster than any ${\displaystyle f_{k}}$ for finite k (here ω is the first infinite ordinal number, representing the limit of all finite numbers k). This is the basis for the fast-growing hierarchy of functions, in which the indexing subscript is extended to ever-larger ordinals.

For example, starting with f₀(n) = n + 1:

• f₁(n) = f₀ⁿ(n) = n + n = 2n
• f₂(n) = f₁ⁿ(n) = 2ⁿn > (2 ↑) n for n ≥ 2 (using Knuth up-arrow notation)
• f₃(n) = f₂ⁿ(n) > (2 ↑)ⁿ n ≥ 2 ↑² n for n ≥ 2.
• f_k+1(n) > 2 ↑^k n for n ≥ 2, k < ω.
• f_ω(n) = f_n(n) > 2 ↑^{n – 1} n > 2 ↑^{n − 2} (n + 3) − 3 = A(n, n) for n ≥ 2, where A is the Ackermann function (of which f_ω is a unary version).
• f_ω+1(64) > f_ω⁶⁴(6) > Graham's number (= g₆₄ in the sequence defined by g₀ = 4, g_k+1 = 3 ↑^g_k 3).
  • This follows by noting f_ω(n) > 2 ↑^{n – 1} n > 3 ↑^{n – 2} 3 + 2, and hence f_ω(g_k + 2) > g_k+1 + 2.
• f_ω(n) > 2 ↑^{n – 1} n = (2 → n → n-1) = (2 → n → n-1 → 1) (using Conway chained arrow notation)
• f_ω+1(n) = f_ωⁿ(n) > (2 → n → n-1 → 2) (because if g_k(n) = X → n → k then X → n → k+1 = g_kⁿ(1))
• f_ω+k(n) > (2 → n → n-1 → k+1) > (n → n → k)
• f_ω2(n) = f_ω+n(n) > (n → n → n) = (n → n → n→ 1)
• f_ω2+k(n) > (n → n → n → k)
• f_ω3(n) > (n → n → n → n)
• f_ωk(n) > (n → n → ... → n → n) (Chain of k+1 n's)
• f_ω²(n) = f_ωn(n) > (n → n → ... → n → n) (Chain of n+1 n's)

Notations

Some notations for extremely large numbers:

• Knuth's up-arrow notation/hyperoperators/Ackermann function, including tetration
• Conway chained arrow notation
• Steinhaus-Moser notation; apart from the method of construction of large numbers, this also involves a graphical notation with polygons. Alternative notations, like a more conventional function notation, can also be used with the same functions.

These notations are essentially functions of integer variables, which increase very rapidly with those integers. Ever-faster-increasing functions can easily be constructed recursively by applying these functions with large integers as argument.

A function with a vertical asymptote is not helpful in defining a very large number, although the function increases very rapidly: one has to define an argument very close to the asymptote, i.e. use a very small number, and constructing that is equivalent to constructing a very large number, e.g. the reciprocal.

Standardized system of writing very large numbers

A standardized way of writing very large numbers allows them to be easily sorted in increasing order, and one can get a good idea of how much larger a number is than another one.

To compare numbers in scientific notation, say 5×10⁴ and 2×10⁵, compare the exponents first, in this case 5 > 4, so 2×10⁵ > 5×10⁴. If the exponents are equal, the mantissa (or coefficient) should be compared, thus 5×10⁴ > 2×10⁴ because 5 > 2.

Tetration with base 10 gives the sequence ${\displaystyle 10\uparrow \uparrow n=10\to n\to 2=(10\uparrow )^{n}1}$, the power towers of numbers 10, where ${\displaystyle (10\uparrow )^{n}}$ denotes a functional power of the function ${\displaystyle f(n)=10^{n}}$ (the function also expressed by the suffix "-plex" as in googolplex, see the Googol family).

These are very round numbers, each representing an order of magnitude in a generalized sense. A crude way of specifying how large a number is, is specifying between which two numbers in this sequence it is.

More accurately, numbers in between can be expressed in the form ${\displaystyle (10\uparrow )^{n}a}$, i.e., with a power tower of 10s and a number at the top, possibly in scientific notation, e.g. ${\displaystyle 10^{10^{10^{10^{10^{4.829}}}}}=(10\uparrow )^{5}4.829}$, a number between ${\displaystyle 10\uparrow \uparrow 5}$ and ${\displaystyle 10\uparrow \uparrow 6}$ (note that ${\displaystyle 10\uparrow \uparrow n<(10\uparrow )^{n}a<10\uparrow \uparrow (n+1)}$ if ${\displaystyle 1<a<10}$). (See also extension of tetration to real heights.)

Thus googolplex is ${\displaystyle 10^{10^{100}}=(10\uparrow )^{2}100=(10\uparrow )^{3}2}$

Another example:

${\displaystyle 2\uparrow \uparrow \uparrow 4={\begin{matrix}\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\\qquad \quad \ \ \ 65,536{\mbox{ copies of }}2\end{matrix}}\approx (10\uparrow )^{65,531}(6\times 10^{19,728})\approx (10\uparrow )^{65,533}4.3}$ (between ${\displaystyle 10\uparrow \uparrow 65,533}$ and ${\displaystyle 10\uparrow \uparrow 65,534}$)

Thus the "order of magnitude" of a number (on a larger scale than usually meant), can be characterized by the number of times (n) one has to take the ${\displaystyle log_{10}}$ to get a number between 1 and 10. Thus, the number is between ${\displaystyle 10\uparrow \uparrow n}$ and ${\displaystyle 10\uparrow \uparrow (n+1)}$. As explained, a more accurate description of a number also specifies the value of this number between 1 and 10, or the previous number (taking the logarithm one time less) between 10 and 10¹⁰, or the next, between 0 and 1.

Note that

${\displaystyle 10^{(10\uparrow )^{n}x}=(10\uparrow )^{n}10^{x}}$

I.e., if a number x is too large for a representation ${\displaystyle (10\uparrow )^{n}x}$ we can make the power tower one higher, replacing x by log₁₀x, or find x from the lower-tower representation of the log₁₀ of the whole number. If the power tower would contain one or more numbers different from 10, the two approaches would lead to different results, corresponding to the fact that extending the power tower with a 10 at the bottom is then not the same as extending it with a 10 at the top (but, of course, similar remarks apply if the whole power tower consists of copies of the same number, different from 10).

If the height of the tower is large, the various representations for large numbers can be applied to the height itself. If the height is given only approximately, giving a value at the top does not make sense, so we can use the double-arrow notation, e.g. ${\displaystyle 10\uparrow \uparrow (7.21\times 10^{8})}$. If the value after the double arrow is a very large number itself, the above can recursively be applied to that value.

Examples:

${\displaystyle 10\uparrow \uparrow 10^{\,\!10^{10^{3.81\times 10^{17}}}}}$ (between ${\displaystyle 10\uparrow \uparrow \uparrow 2}$ and ${\displaystyle 10\uparrow \uparrow \uparrow 3}$)

${\displaystyle 10\uparrow \uparrow 10\uparrow \uparrow (10\uparrow )^{497}(9.73\times 10^{32})=(10\uparrow \uparrow )^{2}(10\uparrow )^{497}(9.73\times 10^{32})}$ (between ${\displaystyle 10\uparrow \uparrow \uparrow 4}$ and ${\displaystyle 10\uparrow \uparrow \uparrow 5}$)

Similarly to the above, if the exponent of ${\displaystyle (10\uparrow )}$ is not exactly given then giving a value at the right does not make sense, and we can, instead of using the power notation of ${\displaystyle (10\uparrow )}$, add 1 to the exponent of ${\displaystyle (10\uparrow \uparrow )}$, so we get e.g. ${\displaystyle (10\uparrow \uparrow )^{3}(2.8\times 10^{12})}$.

If the exponent of ${\displaystyle (10\uparrow \uparrow )}$ is large, the various representations for large numbers can be applied to this exponent itself. If this exponent is not exactly given then, again, giving a value at the right does not make sense, and we can, instead of using the power notation of ${\displaystyle (10\uparrow \uparrow )}$, use the triple arrow operator, e.g. ${\displaystyle 10\uparrow \uparrow \uparrow (7.3\times 10^{6})}$.

If the right-hand argument of the triple arrow operator is large the above applies to it, so we have e.g. ${\displaystyle 10\uparrow \uparrow \uparrow (10\uparrow \uparrow )^{2}(10\uparrow )^{497}(9.73\times 10^{32})}$ (between ${\displaystyle 10\uparrow \uparrow \uparrow 10\uparrow \uparrow \uparrow 4}$ and ${\displaystyle 10\uparrow \uparrow \uparrow 10\uparrow \uparrow \uparrow 5}$). This can be done recursively, so we can have a power of the triple arrow operator.

We can proceed with operators with higher numbers of arrows, written ${\displaystyle \uparrow ^{n}}$.

Compare this notation with the hyper operator and the Conway chained arrow notation:

${\displaystyle a\uparrow ^{n}b}$ = ( a → b → n ) = hyper(a, n + 2, b)

An advantage of the first is that when considered as function of b, there is a natural notation for powers of this function (just like when writing out the n arrows): ${\displaystyle (a\uparrow ^{n})^{k}b}$. For example:

${\displaystyle (10\uparrow ^{2})^{3}b}$ = ( 10 → ( 10 → ( 10 → b → 2 ) → 2 ) → 2 )

and only in special cases the long nested chain notation is reduced; for b = 1 we get:

${\displaystyle 10\uparrow ^{3}3=(10\uparrow ^{2})^{3}1}$ = ( 10 → 3 → 3 )

Since the b can also be very large, in general we write a number with a sequence of powers ${\displaystyle (10\uparrow ^{n})^{k_{n}}}$ with decreasing values of n (with exactly given integer exponents ${\displaystyle {k_{n}}}$) with at the end a number in ordinary scientific notation. Whenever a ${\displaystyle {k_{n}}}$ is too large to be given exactly, the value of ${\displaystyle {k_{n+1}}}$ is increased by 1 and everything to the right of ${\displaystyle ({n+1})^{k_{n+1}}}$ is rewritten.

For describing numbers approximately, deviations from the decreasing order of values of n are not needed. For example, ${\displaystyle 10\uparrow (10\uparrow \uparrow )^{5}a=(10\uparrow \uparrow )^{6}a}$, and ${\displaystyle 10\uparrow (10\uparrow \uparrow \uparrow 3)=10\uparrow \uparrow (10\uparrow \uparrow 10+1)\approx 10\uparrow \uparrow \uparrow 3}$. Thus we have the somewhat counterintuitive result that a number x can be so large that, in a way, x and 10^x are "almost equal" (for arithmetic of large numbers see also below).

If the superscript of the upward arrow is large, the various representations for large numbers can be applied to this superscript itself. If this superscript is not exactly given then there is no point in raising the operator to a particular power or to adjust the value on which it acts. We can simply use a standard value at the right, say 10, and the expression reduces to ${\displaystyle 10\uparrow ^{n}10=(10\to 10\to n)}$ with an approximate n. For such numbers the advantage of using the upward arrow notation no longer applies, and we can also use the chain notation.

The above can be applied recursively for this n, so we get the notation ${\displaystyle \uparrow ^{n}}$ in the superscript of the first arrow, etc., or we have a nested chain notation, e.g.:

(10 → 10 → (10 → 10 → ${\displaystyle 3\times 10^{5}}$) ) = ${\displaystyle 10\uparrow ^{10\uparrow ^{3\times 10^{5}}10}10}$

If the number of levels gets too large to be convenient, a notation is used where this number of levels is written down as a number (like using the superscript of the arrow instead of writing many arrows). Introducing a function ${\displaystyle f(n)=10\uparrow ^{n}10}$ = (10 → 10 → n), these levels become functional powers of f, allowing us to write a number in the form ${\displaystyle f^{m}(n)}$ where m is given exactly and n is an integer which may or may not be given exactly (for example: ${\displaystyle f^{2}(3\times 10^{5})}$). If n is large we can use any of the above for expressing it. The "roundest" of these numbers are those of the form f^m(1) = (10→10→m→2). For example, ${\displaystyle (10\to 10\to 3\to 2)=10\uparrow ^{10\uparrow ^{10^{10}}10}10}$

Compare the definition of Graham's number: it uses numbers 3 instead of 10 and has 64 arrow levels and the number 4 at the top; thus ${\displaystyle G<3\rightarrow 3\rightarrow 65\rightarrow 2<(10\to 10\to 65\to 2)=f^{65}(1)}$, but also ${\displaystyle G<f^{64}(4)<f^{65}(1)}$.

If m in ${\displaystyle f^{m}(n)}$ is too large to give exactly we can use a fixed n, e.g. n = 1, and apply the above recursively to m, i.e., the number of levels of upward arrows is itself represented in the superscripted upward-arrow notation, etc. Using the functional power notation of f this gives multiple levels of f. Introducing a function ${\displaystyle g(n)=f^{n}(1)}$ these levels become functional powers of g, allowing us to write a number in the form ${\displaystyle g^{m}(n)}$ where m is given exactly and n is an integer which may or may not be given exactly. We have (10→10→m→3) = g^m(1). If n is large we can use any of the above for expressing it. Similarly we can introduce a function h, etc. If we need many such functions we can better number them instead of using a new letter every time, e.g. as a subscript, so we get numbers of the form ${\displaystyle f_{k}^{m}(n)}$ where k and m are given exactly and n is an integer which may or may not be given exactly. Using k=1 for the f above, k=2 for g, etc., we have (10→10→n→k) = ${\displaystyle f_{k}(n)=f_{k-1}^{n}(1)}$. If n is large we can use any of the above for expressing it. Thus we get a nesting of forms ${\displaystyle {f_{k}}^{m_{k}}}$ where going inward the k decreases, and with as inner argument a sequence of powers ${\displaystyle (10\uparrow ^{n})^{p_{n}}}$ with decreasing values of n (where all these numbers are exactly given integers) with at the end a number in ordinary scientific notation.

When k is too large to be given exactly, the number concerned can be expressed as ${\displaystyle {f_{n}}(10)}$=(10→10→10→n) with an approximate n. Note that the process of going from the sequence ${\displaystyle 10^{n}}$=(10→n) to the sequence ${\displaystyle 10\uparrow ^{n}10}$=(10→10→n) is very similar to going from the latter to the sequence ${\displaystyle {f_{n}}(10)}$=(10→10→10→n): it is the general process of adding an element 10 to the chain in the chain notation; this process can be repeated again (see also the previous section). Numbering the subsequent versions of this function a number can be described using functions ${\displaystyle {f_{qk}}^{m_{qk}}}$, nested in lexicographical order with q the most significant number, but with decreasing order for q and for k; as inner argument we have a sequence of powers ${\displaystyle (10\uparrow ^{n})^{p_{n}}}$ with decreasing values of n (where all these numbers are exactly given integers) with at the end a number in ordinary scientific notation.

For a number too large to write down in the Conway chained arrow notation we can describe how large it is by the length of that chain, for example only using elements 10 in the chain; in other words, we specify its position in the sequence 10, 10→10, 10→10→10, .. If even the position in the sequence is a large number we can apply the same techniques again for that.

Examples of numbers in numerical order

Numbers expressible in decimal notation:

• 2² = 4
• 2²² = 2 ↑↑ 3 = 16
• 3³ = 27
• 4⁴ = 256
• 5⁵ = 3,125
• 6⁶ = 46,656
• ${\displaystyle 2^{2^{2^{2}}}}$ = 2 ↑↑ 4 = 2↑↑↑3 = 65,536
• 7⁷ = 823,543
• 10⁶ = 1,000,000 = 1 million
• 8⁸ = 16,777,216
• 9⁹ = 387,420,489
• 10⁹ = 1,000,000,000 = 1 billion
• 10¹⁰ = 10,000,000,000
• 10¹² = 1,000,000,000,000 = 1 trillion
• 3³³ = 3 ↑↑ 3 = 7,625,597,484,987 ≈ 7.63 × 10¹²
• 10¹⁵ = 1,000,000,000,000,000 = 1 million billion = 1 quadrillion

Numbers expressible in scientific notation:

• Approximate number of atoms in the observable universe = 10⁸⁰ = 100,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
• googol = 10¹⁰⁰ = 10,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
• 4⁴⁴ = 4 ↑↑ 3 = 2⁵¹² ≈ 1.34 × 10¹⁵⁴ ≈ (10 ↑)² 2.2
• Approximate number of Planck volumes composing the volume of the observable universe = 8.5 × 10¹⁸⁴
• 5⁵⁵ = 5 ↑↑ 3 = 5³¹²⁵ ≈ 1.91 × 10²¹⁸⁴ ≈ (10 ↑)² 3.3
• ${\displaystyle 2^{2^{2^{2^{2}}}}=2\uparrow \uparrow 5=2^{65,536}\approx 2.0\times 10^{19,728}\approx (10\uparrow )^{2}4.3}$
• 6⁶⁶ = 6 ↑↑ 3 ≈ 2.66 × 10^36,305 ≈ (10 ↑)² 4.6
• 7⁷⁷ = 7 ↑↑ 3 ≈ 3.76 × 10^695,974 ≈ (10 ↑)² 5.8
• 8⁸⁸ = 8 ↑↑ 3 ≈ 6.01 × 10^15,151,335 ≈ (10 ↑)² 7.2
• ${\displaystyle M_{77,232,917}\approx 4.67\times 10^{23,249,424}\approx 10^{10^{7.37}}=(10\uparrow )^{2}\ 7.37}$, the 50th and as of January 2018 the largest known Mersenne prime.
• 9⁹⁹ = 9 ↑↑ 3 ≈ 4.28 × 10^369,693,099 ≈ (10 ↑)² 8.6
• 10¹⁰¹⁰ =10 ↑↑ 3 = 10^{10,000,000,000} = (10 ↑)³ 1
• ${\displaystyle 3^{3^{3^{3}}}=3\uparrow \uparrow 4\approx 1.26\times 10^{3,638,334,640,024}\approx (10\uparrow )^{3}1.10}$

Numbers expressible in (10 ↑)ⁿ k notation:

• googolplex = ${\displaystyle 10^{10^{100}}=(10\uparrow )^{3}2}$
• ${\displaystyle 2^{2^{2^{2^{2^{2}}}}}=2\uparrow \uparrow 6=2^{2^{65,536}}\approx 2^{(10\uparrow )^{2}4.3}\approx 10^{(10\uparrow )^{2}4.3}=(10\uparrow )^{3}4.3}$
• ${\displaystyle 10^{10^{10^{10}}}=10\uparrow \uparrow 4=(10\uparrow )^{4}1}$
• ${\displaystyle 3^{3^{3^{3^{3}}}}=3\uparrow \uparrow 5\approx 3^{10^{3.6\times 10^{12}}}\approx (10\uparrow )^{4}1.10}$
• ${\displaystyle 2^{2^{2^{2^{2^{2^{2}}}}}}=2\uparrow \uparrow 7\approx (10\uparrow )^{4}4.3}$
• 10 ↑↑ 5 = (10 ↑)⁵ 1
• 3 ↑↑ 6 ≈ (10 ↑)⁵ 1.10
• 2 ↑↑ 8 ≈ (10 ↑)⁵ 4.3
• 10 ↑↑ 6 = (10 ↑)⁶ 1
• 10 ↑↑↑ 2 = 10 ↑↑ 10 = (10 ↑)¹⁰ 1
• 2 ↑↑↑↑ 3 = 2 ↑↑↑ 4 = 2 ↑↑ 65,536 ≈ (10 ↑)^65,533 4.3 is between 10 ↑↑ 65,533 and 10 ↑↑ 65,534

Bigger numbers:

• 3 ↑↑↑ 3 = 3 ↑↑ (3 ↑↑ 3) ≈ 3 ↑↑ 7.6 × 10¹² ≈ 10 ↑↑ 7.6 × 10¹² is between (10 ↑↑)² 2 and (10 ↑↑)² 3
• ${\displaystyle 10\uparrow \uparrow \uparrow 3=(10\uparrow \uparrow )^{3}1}$ = ( 10 → 3 → 3 )
• ${\displaystyle (10\uparrow \uparrow )^{2}11}$
• ${\displaystyle (10\uparrow \uparrow )^{2}10^{\,\!10^{10^{3.81\times 10^{17}}}}}$
• ${\displaystyle 10\uparrow \uparrow \uparrow 4=(10\uparrow \uparrow )^{4}1}$ = ( 10 → 4 → 3 )
• ${\displaystyle (10\uparrow \uparrow )^{2}(10\uparrow )^{497}(9.73\times 10^{32})}$
• ${\displaystyle 10\uparrow \uparrow \uparrow 5=(10\uparrow \uparrow )^{5}1}$ = ( 10 → 5 → 3 )
• ${\displaystyle 10\uparrow \uparrow \uparrow 6=(10\uparrow \uparrow )^{6}1}$ = ( 10 → 6 → 3 )
• ${\displaystyle 10\uparrow \uparrow \uparrow 7=(10\uparrow \uparrow )^{7}1}$ = ( 10 → 7 → 3 )
• ${\displaystyle 10\uparrow \uparrow \uparrow 8=(10\uparrow \uparrow )^{8}1}$ = ( 10 → 8 → 3 )
• ${\displaystyle 10\uparrow \uparrow \uparrow 9=(10\uparrow \uparrow )^{9}1}$ = ( 10 → 9 → 3 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 2=10\uparrow \uparrow \uparrow 10=(10\uparrow \uparrow )^{10}1}$ = ( 10 → 2 → 4 ) = ( 10 → 10 → 3 )
• The first term in the definition of Graham's number, g₁ = 3 ↑↑↑↑ 3 = 3 ↑↑↑ (3 ↑↑↑ 3) ≈ 3 ↑↑↑ (10 ↑↑ 7.6 × 10¹²) ≈ 10 ↑↑↑ (10 ↑↑ 7.6 × 10¹²) is between (10 ↑↑↑)² 2 and (10 ↑↑↑)² 3 (See Graham's number#Magnitude)
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 3=(10\uparrow \uparrow \uparrow )^{3}1}$ = (10 → 3 → 4)
• ${\displaystyle 4\uparrow \uparrow \uparrow \uparrow 4}$ = ( 4 → 4 → 4 ) ${\displaystyle \approx (10\uparrow \uparrow \uparrow )^{2}(10\uparrow \uparrow )^{3}154}$
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 4=(10\uparrow \uparrow \uparrow )^{4}1}$ = ( 10 → 4 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 5=(10\uparrow \uparrow \uparrow )^{5}1}$ = ( 10 → 5 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 6=(10\uparrow \uparrow \uparrow )^{6}1}$ = ( 10 → 6 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 7=(10\uparrow \uparrow \uparrow )^{7}1=}$ = ( 10 → 7 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 8=(10\uparrow \uparrow \uparrow )^{8}1=}$ = ( 10 → 8 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 9=(10\uparrow \uparrow \uparrow )^{9}1=}$ = ( 10 → 9 → 4 )
• ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow \uparrow 2=10\uparrow \uparrow \uparrow \uparrow 10=(10\uparrow \uparrow \uparrow )^{10}1}$ = ( 10 → 2 → 5 ) = ( 10 → 10 → 4 )
• ( 2 → 3 → 2 → 2 ) = ( 2 → 3 → 8 )
• ( 3 → 2 → 2 → 2 ) = ( 3 → 2 → 9 ) = ( 3 → 3 → 8 )
• ( 10 → 10 → 10 ) = ( 10 → 2 → 11 )
• ( 10 → 2 → 2 → 2 ) = ( 10 → 2 → 100 )
• ( 10 → 10 → 2 → 2 ) = ( 10 → 2 → ${\displaystyle 10^{10}}$ ) = ${\displaystyle 10\uparrow ^{10^{10}}10}$
• The second term in the definition of Graham's number, g₂ = 3 ↑^g₁ 3 > 10 ↑^{g₁ – 1} 10.
• ( 10 → 10 → 3 → 2 ) = (10 → 10 → (10 → 10 → ${\displaystyle 10^{10}}$) ) = ${\displaystyle 10\uparrow ^{10\uparrow ^{10^{10}}10}10}$
• g₃ = (3 → 3 → g₂) > (10 → 10 → g₂ – 1) > (10 → 10 → 3 → 2)
• g₄ = (3 → 3 → g₃) > (10 → 10 → g₃ – 1) > (10 → 10 → 4 → 2)
• ...
• g₉ = (3 → 3 → g₈) is between (10 → 10 → 9 → 2) and (10 → 10 → 10 → 2)
• ( 10 → 10 → 10 → 2 )
• g₁₀ = (3 → 3 → g₉) is between (10 → 10 → 10 → 2) and (10 → 10 → 11 → 2)
• ...
• g₆₃ = (3 → 3 → g₆₂) is between (10 → 10 → 63 → 2) and (10 → 10 → 64 → 2)
• ( 10 → 10 → 64 → 2 )
• Graham's number, g₆₄[11]
• ( 10 → 10 → 65 → 2 )
• ( 10 → 10 → 10 → 3 )
• ( 10 → 10 → 10 → 4 )
• ( 10 → 10 → 10 → 10 )
• ( 10 → 10 → 10 → 10 → 10 )
• ( 10 → 10 → 10 → 10 → 10 → 10 )
• ( 10 → 10 → 10 → 10 → 10 → 10 → 10 → ... → 10 → 10 → 10 → 10 → 10 → 10 → 10 → 10 ) where there are ( 10 → 10 → 10 ) "10"s

Comparison of base values

The following illustrates the effect of a base different from 10, base 100. It also illustrates representations of numbers and the arithmetic.

${\displaystyle 100^{12}=10^{24}}$, with base 10 the exponent is doubled.

${\displaystyle 100^{100^{12}}=10^{2*10^{24}}}$, ditto.

${\displaystyle 100^{100^{100^{12}}}\approx 10^{10^{2*10^{24}+0.30103}}}$, the highest exponent is very little more than doubled (increased by log₁₀2).

• ${\displaystyle 100\uparrow \uparrow 2=10^{200}}$
• ${\displaystyle 100\uparrow \uparrow 3=10^{2\times 10^{200}}}$
• ${\displaystyle 100\uparrow \uparrow 4=(10\uparrow )^{2}(2\times 10^{200}+0.3)=(10\uparrow )^{2}(2\times 10^{200})=(10\uparrow )^{3}200.3=(10\uparrow )^{4}2.3}$
• ${\displaystyle 100\uparrow \uparrow n=(10\uparrow )^{n-2}(2\times 10^{200})=(10\uparrow )^{n-1}200.3=(10\uparrow )^{n}2.3<10\uparrow \uparrow (n+1)}$ (thus if n is large it seems fair to say that ${\displaystyle 100\uparrow \uparrow n}$ is "approximately equal to" ${\displaystyle 10\uparrow \uparrow n}$)
• ${\displaystyle 100\uparrow \uparrow \uparrow 2=(10\uparrow )^{98}(2\times 10^{200})=(10\uparrow )^{100}2.3}$
• ${\displaystyle 100\uparrow \uparrow \uparrow 3=10\uparrow \uparrow (10\uparrow )^{98}(2\times 10^{200})=10\uparrow \uparrow (10\uparrow )^{100}2.3}$
• ${\displaystyle 100\uparrow \uparrow \uparrow n=(10\uparrow \uparrow )^{n-2}(10\uparrow )^{98}(2\times 10^{200})=(10\uparrow \uparrow )^{n-2}(10\uparrow )^{100}2.3<10\uparrow \uparrow \uparrow (n+1)}$ (compare ${\displaystyle 10\uparrow \uparrow \uparrow n=(10\uparrow \uparrow )^{n-2}(10\uparrow )^{10}1<10\uparrow \uparrow \uparrow (n+1)}$; thus if n is large it seems fair to say that ${\displaystyle 100\uparrow \uparrow \uparrow n}$ is "approximately equal to" ${\displaystyle 10\uparrow \uparrow \uparrow n}$)
• ${\displaystyle 100\uparrow \uparrow \uparrow \uparrow 2=(10\uparrow \uparrow )^{98}(10\uparrow )^{100}2.3}$ (compare ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 2=(10\uparrow \uparrow )^{8}(10\uparrow )^{10}1}$)
• ${\displaystyle 100\uparrow \uparrow \uparrow \uparrow 3=10\uparrow \uparrow \uparrow (10\uparrow \uparrow )^{98}(10\uparrow )^{100}2.3}$ (compare ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow 3=10\uparrow \uparrow \uparrow (10\uparrow \uparrow )^{8}(10\uparrow )^{10}1}$)
• ${\displaystyle 100\uparrow \uparrow \uparrow \uparrow n=(10\uparrow \uparrow \uparrow )^{n-2}(10\uparrow \uparrow )^{98}(10\uparrow )^{100}2.3}$ (compare ${\displaystyle 10\uparrow \uparrow \uparrow \uparrow n=(10\uparrow \uparrow \uparrow )^{n-2}(10\uparrow \uparrow )^{8}(10\uparrow )^{10}1}$; if n is large this is "approximately" equal)

Accuracy

For a number ${\displaystyle 10^{n}}$, one unit change in n changes the result by a factor 10. In a number like ${\displaystyle 10^{\,\!6.2\times 10^{3}}}$, with the 6.2 the result of proper rounding using significant figures, the true value of the exponent may be 50 less or 50 more. Hence the result may be a factor ${\displaystyle 10^{50}}$ too large or too small. This seems like extremely poor accuracy, but for such a large number it may be considered fair (a large error in a large number may be "relatively small" and therefore acceptable).

Accuracy for very large numbers

In the case of an approximation of an extremely large number, the relative error may be large, yet there may still be a sense in which we want to consider the numbers as "close in magnitude". For example, consider

${\displaystyle 10^{10}}$ and ${\displaystyle 10^{9}}$

The relative error is

${\displaystyle 1-{\frac {10^{9}}{10^{10}}}=1-{\frac {1}{10}}=90\%}$

a large relative error. However, we can also consider the relative error in the logarithms; in this case, the logarithms (to base 10) are 10 and 9, so the relative error in the logarithms is only 10%.

The point is that exponential functions magnify relative errors greatly – if a and b have a small relative error,

${\displaystyle 10^{a}}$ and ${\displaystyle 10^{b}}$

the relative error is larger, and

${\displaystyle 10^{10^{a}}}$ and ${\displaystyle 10^{10^{b}}}$

will have an even larger relative error. The question then becomes: on which level of iterated logarithms do we wish to compare two numbers? There is a sense in which we may want to consider

${\displaystyle 10^{10^{10}}}$ and ${\displaystyle 10^{10^{9}}}$

to be "close in magnitude". The relative error between these two numbers is large, and the relative error between their logarithms is still large; however, the relative error in their second-iterated logarithms is small:

${\displaystyle \log _{10}(\log _{10}(10^{10^{10}}))=10}$ and ${\displaystyle \log _{10}(\log _{10}(10^{10^{9}}))=9}$

Such comparisons of iterated logarithms are common, e.g., in analytic number theory.

Approximate arithmetic for very large numbers

There are some general rules relating to the usual arithmetic operations performed on very large numbers:

• The sum and the product of two very large numbers are both "approximately" equal to the larger one.
• ${\displaystyle (10^{a})^{\,\!10^{b}}=10^{a10^{b}}=10^{10^{b+\log _{10}a}}}$

Hence:

• A very large number raised to a very large power is "approximately" equal to the larger of the following two values: the first value and 10 to the power the second. For example, for very large n we have ${\displaystyle n^{n}\approx 10^{n}}$ (see e.g. the computation of mega) and also ${\displaystyle 2^{n}\approx 10^{n}}$. Thus ${\displaystyle 2\uparrow \uparrow 65536\approx 10\uparrow \uparrow 65533}$, see table.

Large numbers in some noncomputable sequences

The busy beaver function Σ is an example of a function which grows faster than any computable function. Its value for even relatively small input is huge. The values of Σ(n) for n = 1, 2, 3, 4 are 1, 4, 6, 13 (sequence A028444 in the OEIS). Σ(5) is not known but is definitely ≥ 4098. Σ(6) is at least 3.5×10¹⁸²⁶⁷.

Infinite numbers

Main article: cardinal number

See also: large cardinal, Mahlo cardinal, and totally indescribable cardinal

Although all the numbers discussed above are very large, they are all still decidedly finite. Certain fields of mathematics define infinite and transfinite numbers. For example, aleph-null is the cardinality of the infinite set of natural numbers, and aleph-one is the next greatest cardinal number. ${\displaystyle {\mathfrak {c}}}$ is the cardinality of the reals. The proposition that ${\displaystyle {\mathfrak {c}}=\aleph _{1}}$ is known as the continuum hypothesis.

See also

• Arbitrary-precision arithmetic
• List of arbitrary-precision arithmetic software
• Dirac large numbers hypothesis
• Exponential growth
• Fast-growing hierarchy of functions
• Googol
• Googolplex
• Graham's number
• History of large numbers
• Human scale
• Largest number
• Law of large numbers
• Myriads (10,000) in East Asia
• Names of large numbers
• Power of two
• Power of 10
• Tetration

References

1. One Million Things: A Visual Encyclopedia
2. «The study of large numbers is called googology»
3. Bianconi, Eva; Piovesan, Allison; Facchin, Federica; Beraudi, Alina; Casadei, Raffaella; Frabetti, Flavia; Vitale, Lorenza; Pelleri, Maria Chiara; Tassani, Simone (Nov–Dec 2013). "An estimation of the number of cells in the human body". Annals of Human Biology. 40 (6): 463–471. doi:10.3109/03014460.2013.807878. ISSN 1464-5033. PMID 23829164.
4. Shannon, Claude (March 1950). "XXII. Programming a Computer for Playing Chess" (PDF). Philosophical Magazine. Series 7. 41 (314). Archived from the original (PDF) on 2010-03-15. Retrieved 2019-01-25.
5. Desrosières, Alain; Naish, Camille, Translator (September 15, 2002). The Politics of Large Numbers: A History of Statistical Reasoning (Paperback). Cambridge, Massachusetts: Harvard University Press. ISBN 9780674009691.
6. "A Billion Here, A Billion There...", The Dirksen Center. (archived from the original on 2004-08-16)
7. Atoms in the Universe. Universe Today. 30-07-2009. Retrieved 02-03-13.
8. Information Loss in Black Holes and/or Conscious Beings?, Don N. Page, Heat Kernel Techniques and Quantum Gravity (1995), S. A. Fulling (ed), p. 461. Discourses in Mathematics and its Applications, No. 4, Texas A&M University Department of Mathematics. arXiv:hep-th/9411193. ISBN 0-9630728-3-8.
9. How to Get A Googolplex
10. Carl Sagan takes questions more from his 'Wonder and Skepticism' CSICOP 1994 keynote, Skeptical Inquirer Archived December 21, 2016, at the Wayback Machine
11. Regarding the comparison with the previous value: ${\displaystyle 10\uparrow ^{n}10<3\uparrow ^{n+1}3}$, so starting the 64 steps with 1 instead of 4 more than compensates for replacing the numbers 3 by 10