Gabriel Sudan (14 de abril de 1899 - 22 de junio de 1977) fue un matemático rumano , conocido por la función Sudan , [1] un ejemplo importante en la teoría de la computación , similar a la función de Ackermann . [2]
Nacido en Bucarest , Sudán, recibió su doctorado en la Universidad de Göttingen en 1925 por su tesis Über die geordneten Mengen ("Sobre la teoría de conjuntos ordenados"), supervisada por David Hilbert . [3] Enseñó en la Universidad Politécnica de Bucarest desde 1941 hasta su jubilación, en 1966.
Sudan construyó la función que lleva su nombre con el mismo objetivo que Wilhelm Ackermann : resolver afirmativamente un problema planteado por Hilbert. Las funciones de Ackermann y Sudan son cronológicamente los primeros ejemplos de funciones recursivas que no son recursivas primitivas .
Libro 53, 171