Definition
The up-arrow notation is formally defined by
for all integers with .
All up-arrow operators (including normal exponentiation, ) are right associative, i.e. evaluation is to take place from right to left in an expression that contains two or more such operators. For example, not ; for example
is not
There is good reason for the choice of this right-to-left order of evaluation. If we used left-to-right evaluation, then would equal, so that would not be an essentially new operation. Right associativity is also natural because we can rewrite the iterated arrow expression that appears in the expansion of as, so that all the s appear as left operands of arrow operators. This is significant since the arrow operators are not commutative.
Writing for the bth functional power of the function we have .
The definition could be extrapolated one step, starting with if n = 0, because exponentiation is repeated multiplication starting with 1. Extrapolating one step more, writing multiplication as repeated addition, is not as straightforward because multiplication is repeated addition starting with 0 instead of 1. "Extrapolating" again one step more, writing addition of n as repeated addition of 1, requires starting with the number a. Compare the definition of the hyper operator, where the starting values for addition and multiplication are also separately specified.
Read more about this topic: Knuth's Up-arrow Notation
Famous quotes containing the word definition:
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)