in mathematics, named after Gabriel 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.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).