Ackermann-Funktion, primitiv rekursive Funktionen, Hyperoperationen