苏丹函数

苏丹函数（），是递归函数，但如同阿克曼函数，不能通過μ算子定義更廣泛的偏遞歸函數類，因而不是原始递归函数。苏丹函数是第一个具有此属性的函数。

它于1927年由大卫·希尔伯特的学生羅馬尼亞数学家加布里埃尔苏丹发现并发表。

定义
: \begin{array}{lll}
F_0 (x, y) & = x+y \\
F_{n+1} (x, 0) & = x & \text{if } n \ge 0 \\
F_{n+1} (x, y+1) & = F_n (F_{n+1} (x, y), F_{n+1} (x, y) + y + 1) & \text{if } n\ge 0 \\
\end{array}

數值
注释和参考
参考书目
*

*

*

外部链接

• OEIS: A260003, A260004