En teoría de la computación, la función de Ackermann es una función recursiva que toma dos números naturales como argumentos y devuelve un único número natural. Como norma general se define como sigue: Ahora bien, a efectos pedagógicos se puede utilizar una versión alternativa: Donde es la función sucesor y es la función potencia (aquella que aplica f n veces).