Conway Chained Arrow Notation - Ackermann Function

Ackermann Function

The Ackermann function may be expressed using Conway chained arrow notation:

A(m, n) = (2 → (n + 3) → (m − 2)) − 3 for m > 2

hence

2 → nm = A(m + 2,n − 3) + 3 for n > 2

(n = 1 and n = 2 would correspond with A(m, −2) = −1 and A(m, −1) = 1, which could logically be added).

Read more about this topic:  Conway Chained Arrow Notation

Famous quotes containing the word function:

    Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.
    Ludwig Wittgenstein (1889–1951)