Inverse Ackermann - primitive recursive or not?
The inverse Ackermann function is primitive recursive.
One way to see this is to use the fact that a function $f$ is primitive recursive when and only when
- the graph of $f$ is primitive recursive, and
- $f$ is bounded above by some primitive recursive function.
The graph of the Ackermann function is primitive recursive, i.e. the characteristic function of the set $\lbrace \langle x, y, z \rangle : z = A(x,y)\rbrace$ is primitive recursive. This is because checking that $A(x,y) = z$ is easy once $x, y, z$ are given. One can always construct a table of all previous values of $A$ used to justify that $A(x,y) = z$. If $z$ is indeed the correct answer, then the code for this table is not much bigger than $\langle x, y, z\rangle$ (smaller than $17^{17^{x+y+z}}$, for example). So, given a proposed triple $\langle x, y, z \rangle$, we can search for the relevant table and determine whether or not $A(x,y) = z$ is true in a primitive recursive fashion. Of course, the Ackermann function is not bounded above by a primitive recursive function, but that is the only thing that goes wrong.
Since the graph of the Ackermann function is primitive recursive, then so is the graph of the inverse Ackermann function $Ack^{-1}(z) = \max\lbrace x : A(x,x) \leq z\rbrace$. Moreover, the growth rate of $Ack^{-1}$ is bounded by some primitive recursive function (e.g. the identity function). It follows that $Ack^{-1}$ is indeed primitive recursive.
Maybe the following is of interest.
There is a pointer in the literature provided by Soare's book on r.e. degrees. In an exercise one should show that the bijective primitive recursive functions do not form a group. In rough terms the hint suggests that the inverse of the Ackermann function has no prim rec inverse.