funzione di Sudan

Nella teoria della calcolabilità, la funzione di Sudan è una funzione ricorsiva totale non primitiva. La funzione era la prima che confutò la credenza che le funzioni ricorsive fossero necessariamente primitive. La scoperta è attribuita al matematico , uno studente di David Hilbert nel 1927, qualche anno prima di quella della più nota funzione di Ackermann.