Джеральд Сакс - Gerald Sacks - Wikipedia

Джеральд Энох Мешки (1933 г. - 4 октября 2019 г.) логик чей наиболее важный вклад был в теория рекурсии. Названный в его честь Мешки нагнетание, а принуждение понятие, основанное на идеальные наборы[1] и теорема о плотности Сакса, которая утверждает, что частичный порядок рекурсивно перечислимых степеней Тьюринга является плотным.[2] Сакс работал профессором в Массачусетский Институт Технологий и в Гарвардский университет с 1972 года и стал почетным звеном в M.I.T. в 2006 г. и в Гарварде в 2012 г.[3][4][5]

Сакс родился в Бруклин в 1933 году. Он заработал Кандидат наук. в 1961 г. из Корнелл Университет под руководством Дж. Баркли Россер, с диссертацией под названием О подпорядках степеней рекурсивной неразрешимости. Среди его известных учеников Ленор Блюм, Харви Фридман, Сай Фридман, Лео Харрингтон, Ричард Шор, Стив Симпсон и Теодор Сламан.[6]

Избранные публикации

  • Степени неразрешимости, Princeton University Press, 1963, 1966.[7]
  • Теория насыщенных моделей, Benjamin 1972; 2-е издание, World Scientific 2010[8]
  • Теория высшей рекурсии, Springer 1990 г.[9]
  • Избранные статьи по логике, World Scientific 1999[10]
  • Математическая логика в ХХ веке, World Scientific 2003

Рекомендации

  1. ^ Хальбайзен, Лоренц Дж. (2011), Комбинаторная теория множеств: мягкое введение в принуждение, Springer Monographs in Mathematics, Springer, pp. 380–381, ISBN  9781447121732.
  2. ^ Соаре, Роберт I. (1987), Рекурсивно перечислимые множества и степени: исследование вычислимых функций и вычислимо генерируемых множеств, Перспективы математической логики, Springer, стр. 245, ISBN  9783540152996.
  3. ^ Краткое резюме, получено 26 июня 2015.
  4. ^ «Профессор Джеральд Сакс уходит из Массачусетского технологического института» (PDF), Интеграл: новости математического факультета Массачусетского технологического института, 1: 6, осень 2006 г..
  5. ^ Чи Тат Чонг, Юэ Ян, "Интервью с Джеральдом Э. Саксом", Теория рекурсии: вычислительные аспекты определимости, ISBN  3110275643, 2015, п. 275
  6. ^ Джеральд Сакс на Проект "Математическая генеалогия"
  7. ^ Обзор Степени неразрешимости к Кеннет Аппель, МИСТЕР0186554
  8. ^ Обзор Теория насыщенных моделей П. Степанека, МИСТЕР0398817
  9. ^ Обзор Высшая теория рекурсии Даг Норманн, МИСТЕР1080970
  10. ^ Обзор Избранные логические работы Даг Норманн, МИСТЕР1783306