Ackermann function: Difference between revisions