スーダン関数

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