Sudanfunktion

Die Sudanfunktion ist eine berechenbare Funktion, die jedoch nicht primitiv rekursiv ist, ebenso wie die bekanntere Ackermannfunktion.

Sie wurde 1927 von Gabriel Sudan, einem rumänischen Mathematiker, entdeckt, der ein Schüler David Hilberts war.

Definition

F _0 (x, y) = x+y,\,
F _{n+1} (x, 0) = x, \  n \ge 0\,
F _{n+1} (x, y+1) = F _n (F_{n+1} (x, y), F_{n+1} (x, y) + y + 1), \ n\ge 0.\,
Lückenhaft Dieser Artikel oder Abschnitt weist folgende inhaltlich problematische Lücken auf: Beschreibung, Erklärung, Anwendungsgebiet, Einsatzmöglichkeit, Hintergrund fehlen

Hilf Wikipedia, indem du die fehlenden Informationen recherchierst und einfügst!

Quelle:
Artikel Sudanfunktion aus der freien Enzyklopädie Wikipedia mit dieser Versionsgeschichte
Lizenz:
Kategorien:
Werbung
Empfehlungen
Bookmarks
delicious wong linkarena google