Assertion: original function | /r/CapableOf | extend basic arithmetic operations
Facets:
value: such as goodstein's hyperoperation sequence
type: OTHER
value: not as seamlessly as do
type: MANNER
value: beyond exponentiation
type: OTHER
Source sentences:
text: (Aside from its historic role as a total-computable-but-not-primitive-recursive function, Ackermann's original function is seen to extend the basic arithmetic operations beyond exponentiation, although not as seamlessly as do variants of Ackermann's function that are specifically designed for that purpose—such as Goodstein's hyperoperation sequence.)