Loading article…
ジェラルド・エノク・サックス（1933年 - 2019年10月4日）は、アメリカの論理学者であり、最も重要な貢献は再帰理論であった。彼にちなんで名付けられたのは、完全集合に基づく強制概念であるサックス強制[1]と、再帰的に可算なチューリング次数の半順序が稠密であると主張するサックス密度定理である。[2]サックスは1972年からマサチューセッツ工科大学とハーバード大学の教授を兼任し、2006年にMIT、2012年にハーバード大学の名誉教授となった。[3] [4] [5]
サックスは1933年にブルックリンで生まれた。1961年にコーネル大学でJ・バークレー・ロッサーの指導の下、論文「再帰的不溶性の次数の下位順序について」で博士号を取得した。彼の著名な教え子には、レノア・ブラム、ハーヴェイ・フリードマン、サイ・フリードマン、レオ・ハリントン、リチャード・ショア、スティーブ・シンプソン、セオドア・スラマンがいる。[6]
主な出版物
- 解決不可能性の度合い、プリンストン大学出版局 1963年、1966年[7]
- 飽和モデル理論、ベンジャミン1972;第2版、ワールドサイエンティフィック2010 [8]
- 高等再帰理論、シュプリンガー 1990 [9]
- 選択された論理論文、ワールドサイエンティフィック1999 [10]
- 20世紀の数学論理学、ワールドサイエンティフィック2003
参考文献
- ^ ハルベイゼン、ロレンツ J. (2011)、組合せ集合論：強制への優しい入門、シュプリンガー数学モノグラフ、シュプリンガー、pp. 380–381、ISBN 9781447121732。
- ^ Soare, Robert I. (1987)、「再帰的に列挙可能な集合と次数：計算可能関数と計算可能に生成された集合の研究」、数理論理学の展望、Springer、p. 245、ISBN 9783540152996。
- ^ 略歴、2015年6月26日閲覧。
- ^ 「ジェラルド・サックス教授がMITを退職」（PDF）、Integral: MIT数学部ニュース、1 :6、2006年秋。
- ^ Chi Tat Chong、Yue Yang、「Gerald E. Sacks とのインタビュー」、再帰理論: 定義可能性の計算的側面、ISBN 3110275643、2015年、275 ページ
- ^ 数学系譜プロジェクトのジェラルド・サックス
- ^ ケネス・アペル著『解決不可能度の評価』 、MR 0186554
- ^ P. Stepanek による 飽和モデル理論のレビュー、MR 0398817
- ^ Dag Normann 著「高次再帰理論のレビュー」、 MR 1080970
- ^ Dag Normann による選択された論理論文のレビュー、 MR 1783306