La función de Ackermann se define sobre enteros$x$,$y$,$A(x,y)$, con condiciones para cuando$x{=}0$ o$y{=}0$, y de lo contrario usa definiciones recursivas que involucran argumentos$x{-}1$ y$y{-}1$.
¿Existe una generalización natural de$A(x,y)$ para$x,y \in \mathbb{R}$?
Quizás esto sea bien conocido por los entendidos. Agradecería un puntero. ¡Gracias!