User blog comment:TheMostAwesomer/Some things/@comment-1605058-20141117051927/@comment-5150073-20141117100133

Because up-arrows are often defined using logical continuation of addition, multiplication and exponentiation, while Ackermann function is defined in abstraction of these terms.