Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ-rekursiv jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat. Sie wurde 1927 von dem rumänischen Mathematiker publiziert, der wie Wilhelm Ackermann ein Schüler David Hilberts war.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).