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