 Ackermann function

To get an intuition for it, see the sample computation at: en.wikipedia.org/w/index.php?title=Ackermann_function&oldid=1170238965#TRS,_based_on_2-ary_function where $S(n)=n+1$ in this context. From this, we immediately get the intuition that these functions are recursive somehow.