Джеральд Сакс
Джеральд Энох Сакс (1933 – 4 октября 2019) был американским логиком, чей наиболее важный вклад был в теорию рекурсии . В его честь названо принуждение Сакса , понятие принуждения, основанное на совершенных множествах [1] и теореме о плотности Сакса, которая утверждает, что частичный порядок рекурсивно перечислимых степеней Тьюринга является плотным . [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
Ссылки
- ^ Хальбейзен, Лоренц Дж. (2011), Комбинаторная теория множеств: с легким введением в принуждение, Springer Monographs in Mathematics, Springer, стр. 380–381, ISBN 9781447121732.
- ^ Соаре, Роберт И. (1987), Рекурсивно перечислимые множества и степени: исследование вычислимых функций и вычислимо генерируемых множеств, Перспективы математической логики, Springer, стр. 245, ISBN 9783540152996.
- ↑ Краткое резюме, получено 26.06.2015.
- ^ "Профессор Джеральд Сакс уходит на пенсию из Массачусетского технологического института" (PDF) , Integral: Новости математического факультета Массачусетского технологического института , 1 :6, осень 2006 г..
- ^ Чи Тат Чонг, Юэ Ян, «Интервью с Джеральдом Э. Саксом», Теория рекурсии: вычислительные аспекты определимости , ISBN 3110275643 , 2015, стр. 275
- ^ Джеральд Сакс в проекте «Генеалогия математики»
- ^ Обзор степеней неразрешимости Кеннета Аппеля , MR 0186554
- ^ Обзор теории насыщенной модели П. Штепанека, MR 0398817
- ^ Обзор теории высшей рекурсии Дага Норманна, MR 1080970
- ^ Обзор избранных работ по логике Дага Норманна, MR 1783306
   | Эта статья об американском математике — заглушка . Вы можете помочь Википедии, дополнив ее. |
