Función de Ackermann-Péter: una recursividad que supera los límites

Esta función lleva los nombres del alemán Wilhelm Ackermann y de la húngara Rósza Péter. Tiene dos variables, que denotaremos m y n. Su definición parece sencilla, al igual que el algoritmo que permite calcular sus valores. Cada instrucción parece razonable, pero el encadenamiento de estos pasos sucesivos se vuelve enseguida inextricable, lo que hace que los resultados sean gigantescos o inalcanzables.