Джеральд Энох Сакс (1933 - 4 октября 2019 г.) был логиком, чей наиболее важный вклад был в теорию рекурсии . Названный в честь него будет Сакс принуждая , а принуждая понятие на основе совершенных множеств [1] и Сакс Density теорема, которая утверждает , что частичный порядок из перечислимых Тьюринга степени является плотным . [2] Сакс работал профессором Массачусетского технологического института и Гарвардского университета, начиная с 1972 года, и стал почетным профессором Массачусетского технологического института в 2006 году и Гарварда в 2012 году.[3] [4] [5]
Сакс родился в Бруклине в 1933 году. Он получил докторскую степень. в 1961 году из Корнельского университета под руководством Дж. Баркли Россера , с диссертацией на тему « О подчиненных порядках степеней рекурсивной неразрешимости» . Среди его известных учеников - Ленор Блюм , Харви Фридман , Сай Фридман , Лео Харрингтон , Ричард Шор , Стив Симпсон и Теодор Сламан . [6]
Избранные публикации
- Степени неразрешимости , Princeton University Press, 1963, 1966 [7]
- Теория насыщенных моделей , Бенджамин, 1972; 2-е издание , World Scientific 2010 [8]
- Теория высшей рекурсии , Springer 1990 [9]
- Избранные статьи по логике , World Scientific 1999 [10]
- Математическая логика в 20 веке , World Scientific 2003
Рекомендации
- ^ Halbeisen, Лоренц J. (2011), комбинаторной теории множеств: С Gentle Введение в Форсирование , спрингер Монографии математики, Springer, С. 380-381,. ISBN 9781447121732.
- ^ Соар, Роберт И. (1987), Рекурсивно перечислимые множества и степени: исследование вычислимых функций и вычислимо порождаемых множеств , Перспективы математической логики, Springer, стр. 245, ISBN 9783540152996.
- ^ Краткое резюме , получено 26 июня 2015 г.
- ^ "Профессор Джеральд Сакс уходит из Массачусетского технологического института" (PDF) , Интеграл: Новости математического факультета Массачусетского технологического института , 1 : 6, осень 2006 г..
- ^ Чи Тат Чонг, Юэ Ян, "Интервью с Джеральдом Э. Саксом", Теория рекурсии: вычислительные аспекты определимости , ISBN 3110275643 , 2015, стр. 275
- ↑ Джеральд Сакс в проекте « Математическая генеалогия»
- ^ Обзор степеней неразрешимости по Кеннет Аппель , MR0186554
- ^ Обзор теории насыщенных моделей П. Степанек, MR0398817
- ^ Обзор Высшей теории рекурсии Дага Норманна, MR1080970
- ^ Обзор избранных статей по логике Дага Нормана, MR1783306