PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
Knuth's up arrow notation (Definition)

Knuth's up arrow noation is a way of writing numbers which would be unwieldy in standard decimal notation. It expands on the exponential notation $ m\uparrow n=m^n$. Define $ m\uparrow\uparrow 0=1$ and $ m \uparrow\uparrow n=m\uparrow(m\uparrow\uparrow [n-1])$.

Obviously $ m\uparrow\uparrow 1=m^1=m$, so $ 3\uparrow\uparrow 2=3^{3\uparrow\uparrow 1}=3^3=27$, but $ 2\uparrow\uparrow 3=2^{2 \uparrow\uparrow 2}=2^{2^{2\uparrow\uparrow 1}}=2^{(2^2)}=16$.

In general, $ m\uparrow\uparrow n=m^{m^{\cdots^m}}$, a tower of height $ n$.

Clearly, this process can be extended: $ m\uparrow\uparrow\uparrow 0=1$ and $ m\uparrow\uparrow\uparrow n=m\uparrow\uparrow(m\uparrow\uparrow\uparrow [n-1])$.

An alternate notation is to write $ m^{(i)}n$ for $ m\underbrace{\uparrow\cdots\uparrow}_{i-2 \text{~times}}n$. ($ i-2$ times because then $ m^{(2)}n=m\cdot n$ and $ m^{(1)}n=m+n$.) Then in general we can define $ m^{(i)}n=m^{(i-1)}(m^{(i)}(n-1))$.

To get a sense of how quickly these numbers grow, $ 3\uparrow\uparrow\uparrow 2=3\uparrow\uparrow 3$ is more than seven and a half trillion, and the numbers continue to grow much more than exponentially.



"Knuth's up arrow notation" is owned by Henry.
(view preamble | get metadata)

View style:

See Also: Conway's chained arrow notation

Other names:  up-arrow, up arrow, up-arrow notation, up arrow notation, Knuth notation
Log in to rate this entry.
(view current ratings)

Cross-references: height, exponential, expands, numbers
There are 2 references to this entry.

This is version 4 of Knuth's up arrow notation, born on 2002-08-24, modified 2004-05-10.
Object id is 3350, canonical name is KnuthsUpArrowNotation.
Accessed 9300 times total.

Classification:
AMS MSC00A05 (General :: General and miscellaneous specific topics :: General mathematics)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)