Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2021-06-10 16:46:06

Registered: 2005-06-28
Posts: 33,594

Knuth's up-arrow notation

In mathematics, Knuth's up-arrow notation is a method of notation for very large integers, introduced by Donald Knuth in 1976.

In his 1947 paper, R. L. Goodstein introduced the specific sequence of operations that are now called hyperoperations. Goodstein also suggested the Greek names tetration, pentation, etc., for the extended operations beyond exponentiation. The sequence starts with a unary operation (the successor function with n = 0), and continues with the binary operations of addition (n = 1), multiplication (n = 2), exponentiation (n = 3), tetration (n = 4), pentation (n = 5), etc.

Various notations have been used to represent hyperoperations. One such notation is

. Another notation is
, an infix notation which is convenient for ASCII. The notation
is known as 'square bracket notation'.

Knuth's up-arrow notation

  is an alternative notation. It is obtained by replacing
in the square bracket notation by

For example:

the single arrow

  represents exponentiation (iterated multiplication)

the double arrow
  represents tetration (iterated exponentiation)

the triple arrow
represents pentation (iterated tetration)

The general definition of the up-arrow notation is as follows (for

stands for n arrows, so for example


It is no good to try to stop knowledge from going forward. Ignorance is never better than knowledge - Enrico Fermi. 

Nothing is better than reading and gaining more and more knowledge - Stephen William Hawking.


Board footer

Powered by FluxBB