Loading article…

ガブリエル・スーダン(1899年4月14日 - 1977年6月22日)はルーマニアの 数学者であり、アッカーマン関数に似た計算理論の重要な例であるスーダン関数[1]で知られている。[2]
ブカレスト生まれのスーダンは、1925年にゲッティンゲン大学で、デイヴィッド・ヒルベルトの指導の下、論文「順序集合論について」で博士号を取得した。[3]彼は1941年から1966年に退職するまでブカレスト工科大学 で教鞭を執った。
スーダンは、ヴィルヘルム・アッカーマンと同じ目的、つまりヒルベルトが提起した問題を肯定的に解決するという目的で、彼の名前を冠した関数を構築しました。アッカーマン関数とスーダン関数は、年代順に、原始再帰ではない再帰関数の最初の例です。
注記
- ^ スーダン 1927年。
- ^ アッカーマン 1928年。
- ^ 数学系譜プロジェクトのガブリエル・スーダン
文献
- アッカーマン、ヴィルヘルム(1928)。 「ツム・ヒルベルトシェン・アウフバウ・デア・リーレン・ザーレン」。数学アンナレン。99 : 118–133。土井:10.1007/BF01459088。JFM 54.0056.06。S2CID 123431274。
- Calude, Cristian ; Marcus, Solomon ; Tevy, Ionel (1979). 「原始再帰ではない再帰関数の最初の例」Historia Mathematica . 6 (4): 380–384. doi : 10.1016/0315-0860(79)90024-7 .
