スーダン関数

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

定義
以後  （変数は全て0を含む自然数）とする。

値の表

一般に、F1(x, y) は F1(0, y) + 2y x と等しい。

脚注

参考文献

外部リンク
 OEIS: A260003, A260004

算術
巨大数
特殊関数
計算理論
数学に関する記事