The corporal is equal to \(\{10,100,1,2\} = 10\{\{1\}\}100\) (10 expanded to 100) in BEAF.[1] It surpasses Graham's number (roughly equal to \(\{3,65,1,2\}\)), and is currently the smallest Bowersism that does so. The term was coined by Jonathan Bowers.
Bowers jokingly says about this number, "lets [sic] just put it this way, you DON'T want the Corporal coming up to you asking for a corporal push ups" on his "Size 4 Arrays" page.[2]
It is equal to \(10[1,1]100\) in Username5243's Array Notation, and Username5243 calls this number a Kil-Googol (formerly Meg-Googol).[3]
SeveralLegend9998 calls this number hecta-expanxis.[4]
Azurgologist1 calls this number hen-X-gol and it is equal to 10{X+1}100 in X-Sequence Hyper-Exponential Notation.[5]
Computation[]
Corporal can be computed in the following process:
- \(a_1 = 10\)
- \(a_2 = 10 \uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow 10 \) (this is tridecal).
- \(a_3 = 10 \uparrow\uparrow\uparrow\uparrow\cdots\uparrow\uparrow\uparrow\uparrow 10 \) with \(a_2\) \(\uparrow\)'s (this is tridecalplex).
- \(a_4 = 10 \uparrow\uparrow\uparrow\uparrow\cdots\uparrow\uparrow\uparrow\uparrow 10 \) with \(a_3\) \(\uparrow\)'s.
- etc.
- Corporal is equal to \(a_{100}\).
Approximations[]
Notation | Approximation |
---|---|
Bird's array notation | \(\{10,100,1,2\}\) (exact) |
Chained arrow notation | \(10 \rightarrow 10 \rightarrow 100 \rightarrow 2\) |
Hyper-E notation | \(E10\#\#10\#100\) |
Graham Array Notation | \([10,10,10,99]\) (exact) |
Hyperfactorial array notation | \(100![2]\) |
X-Sequence Hyper-Exponential Notation | \(10\{X+1\}100\) (exact) |
Fast-growing hierarchy | \(f_{\omega+1}(99)\) |
Hardy hierarchy | \(H_{\omega^{\omega+1} }(99)\) |
Slow-growing hierarchy | \(g_{\Gamma_0}(99)\) |
It can also be written out in arrow notation as: \(100 \left\{ \begin{array}{ll} 10\underbrace{\uparrow \uparrow \cdots \uparrow \uparrow}_{10\underbrace{\uparrow \uparrow \cdots \uparrow \uparrow}_{\underbrace{\cdots}_{10\underbrace{\uparrow \uparrow \cdots \uparrow \uparrow}_{10\underbrace{\uparrow \uparrow \cdots \uparrow \uparrow}_{10}10}10}}10}10 \end{array} \right.\)
Sources[]
- ↑ Bowers, Jonathan. Infinity Scrapers. Retrieved January 2013.
- ↑ Size 4 Arrays
- ↑ Username5243. shortened list - My Large Numbers. Retrieved March 2017.
- ↑ SeveralLegend9998's New Googology Series (Retrieved 2024-06-04)
- ↑ Azure's Large Number Website. Retrieved 2024-12-13.
See also[]
Note: The readers should be careful that numbers defined by Username5243's Array Notation are ill-defined as explained in Username5243's Array Notation#Issues. So, when an article refers to a number defined by the notation, it actually refers to an intended value, not an actual value itself (for example, a[c]b = \(a \uparrow^c b\) in arrow notation). In addition, even if the notation is ill-defined, a class category should be based on an intended value when listed, not an actual value itself, as it is not hard to fix all the issues from the original definition, hence it should not be removed.