Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.
View the Project on GitHub neugierde/cantors-attic
Quick navigation
The upper attic
The middle attic
The lower attic
The parlour
The playroom
The library
The cellar
Sources
Cantor's Attic (original site)
Joel David Hamkins blog post about the Attic
Latest working snapshot at the wayback machine
The number googol is the number $10^{100}$, represented in the decimal system as follows:
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.
The number was named by Milton Sirotta, the nine-year-old nephew of American mathematician Edward Kasner, and popularized in Kasner’s 1940 book Mathematics and the imagination.
A googol plex is the number $10^{\text{googol}}$, or $10^{10^{100}}$. In general, an $x$-plex is $10^x$.
A ‘googol bang’ is the factorial of a googol, that is, the number $(10^{100})!$. In general, an “$x$-bang” means $x!$.
A ‘googol stack’ is the number $10^{10^{10^{.^{.^.}}}}$, where the number of levels in the stack is a googol. This can also be represented $10\uparrow\uparrow\text{googol}$ in the Knuth notation for iterated exponentials.
The plex, bang and stack vocabulary enables one to name some very large numbers with ease, such as a googol bang plex stack, which is the exponential tower $10^{10^{\cdot^{\cdot^{^{10}}}}}$ of height $10^{(10^{100})!}$, or a googol stack bang stack bang, and so on.
The googol plex bang stack hierarchy is the collection of numbers that can be named in this scheme, by a term starting with googol and having finitely many adjectival operands: bang, stack, plex, in any finite pattern, repetitions allowed.
The initial segment of this hierarchy, using term with at most three adjectival operands, appears below:
A sorting algorithm for all such names in the hierarchy involving fewer than googol-2 many terms is provided by this math.stackexchange answer.