ジェラルド・サックス

ジェラルド・サックス
生まれる	（1933年10月4日）1933年10月4日 ブルックリン、ニューヨーク、アメリカ
死亡	2019年（85～86歳）
母校	コーネル大学
科学者としてのキャリア
フィールド	再帰理論数理論理学集合論
機関	ハーバード大学マサチューセッツ工科大学
博士課程の指導教員	J. バークレー ロッサー
博士課程の学生	レノール・ブラム ハーヴェイ・フリードマン サイ・フリードマン レオ・ハリントン リチャード・ショア スティーブ・シンプソン セオドア・スラマン

ジェラルド・エノック・サックス（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年

参考文献

1. Halbeisen, Lorenz J. (2011),組合せ集合論：強制への優しい入門, Springer Monographs in Mathematics, Springer, pp.  380– 381, ISBN 978144712​​1732。
2. Soare, Robert I. (1987)、「再帰的に列挙可能な集合と次数：計算可能関数と計算可能に生成された集合の研究」、数理論理学の展望、Springer、p. 245、ISBN 9783540152996。
3. Short CV、2015年6月26日閲覧。
4. 「ジェラルド・サックス教授がMITを退職」（PDF）、Integral: MIT数学部ニュース、1 :6、2006年秋。
5. Chi Tat Chong, Yue Yang、「Gerald E. Sacksとのインタビュー」、再帰理論：定義可能性の計算的側面、 ISBN 3110275643、2015年、275ページ
6. 数学系譜プロジェクトのジェラルド・サックス
7. ケネス・アペル著『Degrees of unsolvability』のレビュー、 MR 0186554 
8. P. Stepanekによる飽和モデル理論のレビュー、 MR 0398817 
9. Dag Normann著「高次再帰理論のレビュー」 MR 1080970 
10. Dag Normannによる選択された論理論文のレビュー、 MR 1783306