ガブリエル

チューリッヒ1932

ガブリエル・スーダン（1899年4月14日 - 1977年6月22日）はルーマニアの数学者で、アッカーマン関数に似た計算理論の重要な例であるスーダン関数^{[ 1 ]}で知られています。^{[ 2 ]}

ブカレスト生まれのスーダンは、 1925年にゲッティンゲン大学で、ダヴィド・ヒルベルトの指導の下、学位論文「順序集合論について」で博士号を取得した。^{[ 3 ]}彼は1941年から1966年に退職するまでブカレスト工科大学 で教鞭を執った。

スーダンは、ヴィルヘルム・アッカーマンと同じ目的、すなわちヒルベルトが提起した問題を肯定的に解決するという目的で、彼の名を冠した関数を構築した。アッカーマン関数とスーダン関数は、原始再帰関数ではない再帰関数の最初の例である。

注釈

1. スーダン 1927年
2. アッカーマン 1928年
3. 数学系譜プロジェクトのガブリエル・スーダン

参考文献

• アッカーマン、ヴィルヘルム(1928). 「ヒルベルト方程式の計算構造」 . Mathematische Annalen . 99 : 118–133 . doi : 10.1007/BF01459088 . JFM  54.0056.06 . S2CID  123431274

• カルード, クリスチャン;マーカス, ソロモン; テヴィ, イオネル (1979). 「原始再帰関数ではない再帰関数の最初の例」 . Historia Mathematica . 6 (4): 380– 384. doi : 10.1016/0315-0860(79)90024-7 .

• マーカス・ソロモン(2006). 「グリゴーレ・C・モイシル：神話となりつつある人生」 .国際コンピュータ通信制御ジャーナル. 1 (1): 73– 79. doi : 10.15837/ijccc.2006.1.2275 .

• スーダン、ガブリエル（1927年）。 「シュール・レ・ノンブル・トランスフィニ・ω・^ω」。科学科学協会の数学速報。30 : 11–30。JFM 53.0171.01 。 ​​ JSTOR  43769875。ジブフ 53、171