|
Conway's chained arrow notation is a way of writing numbers even larger than those provided by the up arrow notation. We define $m\rightarrow n\rightarrow p=m^{(p+2)}n=m\underbrace{\uparrow\cdots\uparrow}_{p}n$ and $m\rightarrow n=m\rightarrow n\rightarrow 1=m^n$ . Longer chains are evaluated by
$$m\rightarrow\cdots\rightarrow n\rightarrow p\rightarrow 1= m\rightarrow\cdots\rightarrow n\rightarrow p$$
$$m\rightarrow\cdots\rightarrow n\rightarrow 1\rightarrow q=m\rightarrow\cdots\rightarrow n$$
and
$$m\rightarrow\cdots\rightarrow n\rightarrow p+1\rightarrow q+1= m\rightarrow\cdots\rightarrow n\rightarrow (m\rightarrow\cdots\rightarrow n\rightarrow p\rightarrow q+1)\rightarrow q$$
For example:
A much larger example is:
Clearly this is going to be a very large number. Note that, as large as it is, it is proceeding towards an eventual final evaluation, as evidenced by the fact that the final number in the chain is getting smaller.
| 
