fonction de Sudan

En calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non récursive primitive (de même que la fonction d'Ackermann, plus connue). Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan, élève de David Hilbert.