スーダン関数

スーダン関数（スーダンかんすう、、）とは、計算理論において再帰的でありながら原始再帰的でない関数の一例である。この関数はドイツの数学者ダフィット・ヒルベルトの教鞭を受けていた学生であったによって1927年発表された。オリジナルの関数は順序数上の関数として定義されているが、自然数上で定義されたバージョンが1981年にネル・ディマ (Nelu Dima) によって定義され、クリスティアン・カルデによって「再帰関数だが原始再帰関数でない最初の例」として紹介された。
定義.
以後 formula_1 （変数は全て0を含む自然数）とする。formula_2
値の表.
一般に、"F"1("x", "y") は "F"1(0, "y") + 2"y" "x" と等しい。