I begin — in continental style, unmotivated and, frankly, gratuitously — by defining Ackerman’s function \(A\) over two integers: \[ A(m, n) = \left\{ \begin{array}{l} n + 1 &…