ジェラルド・サックス

ジェラルド・エノック・サックス（1933年 - 2019年10月4日）は、再帰理論に最も重要な貢献をしたアメリカの論理学者である。完全集合に基づく強制概念であるサックス強制^{[ 1 ]}と、再帰的に列挙可能なチューリング次数の半順序が稠密であると主張するサックス稠密定理^{[ 2 ]}は、彼にちなんで名付けられている。サックスは1972年からマサチューセッツ工科大学とハーバード大学で教授を兼任し、2006年にMIT、2012年にハーバードで名誉教授となった^{[ 3 ] [ 4 ] [ 5 ]。}

サックスは1933年にブルックリンで生まれた。 1961年にコーネル大学でJ・バークレー・ロッサーの指導の下、 「再帰的不可解性の次数における部分順序付けについて」という論文で博士号を取得した。彼の著名な教え子には、レノア・ブルーム、ハーヴェイ・フリードマン、サイ・フリードマン、レオ・ハリントン、リチャード・ショア、スティーブ・シンプソン、セオドア・スラマンなどがいる。^{[ 6 ]}

• 解決不可能性の度合い、プリンストン大学出版局、1963年、1966年^{[ 7 ]}
• 飽和モデル理論、ベンジャミン 1972年、第2版、ワールドサイエンティフィック 2010年^{[ 8 ]}
• 高次再帰理論、Springer 1990 ^{[ 9 ]}
• 厳選された論理学論文集、ワールドサイエンティフィック 1999 ^{[ 10 ]}
• 20世紀の数理論理学、ワールドサイエンティフィック、2003年