En la teoría de la computación, la función de Sudán es un ejemplo de una función recursiva que no es recursiva primitiva, la misma categoría a la cual pertenece la más conocida función de Ackermann.
[1]La función de Sudán fue la primera función con dicha propiedad en ser publicada.
[2] Fue descubierta y publicada en 1927 por Gabriel Sudán,[3] un matemático rumano que fue alumno del matemático David Hilbert.
La función de Sudán puede definirse de la siguiente manera:
{\displaystyle F_{1}(x,y)=2y\cdot (x+2)-y-2}