Стив Симпсон (математик) - Steve Simpson (mathematician)

Стивен Г. Симпсон
Стивен Симпсон (математик) .jpg
Стив Симпсон в Обервольфах, 2008
Альма-матерМассачусетский технологический институт
ИзвестенОбратная математика
Научная карьера
ПоляМатематика
УчрежденияГосударственный университет Пенсильвании Университет Вандербильта
ТезисДопустимые порядковые номера и теория рекурсии
ДокторантДжеральд Сакс
Докторанты

Стивен Джордж Симпсон американский математик, чьи исследования касаются основы математики, в том числе работа в математическая логика, теория рекурсии, и Теория Рамсея. Он известен своими обширными разработками в области обратная математика основан Харви Фридман, цель которого - определить, какие аксиомы необходимы для доказательства определенных математических теорем.[1] Он также доказывал преимущества финитистический математические системы, такие как примитивная рекурсивная арифметика, которые не включают актуальная бесконечность.[2]

В мае 2016 года была организована конференция в честь 70-летия Симпсона.[3]

Образование

Симпсон окончил в 1966 г. Лихайский университет с B.A. (с отличием) и магистр математики.[4] Он получил степень доктора философии. от Массачусетский Институт Технологий в 1971 г. защитил диссертацию на тему Допустимые порядковые номера и теория рекурсии и под наблюдением Джеральд Сакс.[5]

Карьера

После краткосрочных позиций на Йельский университет, то Калифорнийский университет в Беркли, а Оксфордский университет, Симпсон стал доцентом в Государственный университет Пенсильвании в 1975 году. В Пенсильвании он был профессором Раймонда Н. Шибли с 1987 по 1992 год.[4]

В 2016 году его жена, ученый-компьютерщик Падма Рагхаван, переехал из штата Пенсильвания в Университет Вандербильта стать заместителем проректора по исследованиям,[6] и Симпсон последовал за ней, став профессор-исследователь в Вандербильте.[7]

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

  • Симпсон, Стивен Г. (1977), "Теория первого порядка степеней рекурсивной неразрешимости", Анналы математики, 105: 121–139, Дои:10.2307/1971028, МИСТЕР  0432435.
  • Фридман, Харви М.; Симпсон, Стивен Дж .; Смит, Рик Л. (1983), "Счетная алгебра и аксиомы существования множеств", Анналы чистой и прикладной логики, 25 (2): 141–181, Дои:10.1016 / 0168-0072 (83) 90012-Х, МИСТЕР  0725732.
  • Карлсон, Тимоти Дж .; Симпсон, Стивен Г. (1984), "Двойственная форма теоремы Рамсея", Успехи в математике, 53 (3): 265–290, Дои:10.1016/0001-8708(84)90026-4, МИСТЕР  0753869.
  • Симпсон, Стивен Г. (1988), "Частичные реализации программы Гильберта", Журнал символической логики, 53 (2): 349–363, Дои:10.2307/2274508, МИСТЕР  0947843.
  • Симпсон, Стивен Г. (1999), Подсистемы арифметики второго порядка, Перспективы математической логики, Берлин: Springer-Verlag, Дои:10.1007/978-3-642-59971-2, ISBN  3-540-64882-8, МИСТЕР  1723993. 2-е изд., 2009, МИСТЕР2517689.

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

  1. ^ Элвес, Ричард (2013), Математика в 100 ключевых открытиях (PDF), Quercus, Нью-Йорк, стр. 397, г. ISBN  978-1-62365-054-4, МИСТЕР  3222699.
  2. ^ Вулховер, Натали (6 декабря 2013 г.), «Спор о бесконечности разделяет математиков» (PDF), Scientific American.
  3. ^ Основополагающее влияние теории рекурсии: в честь 70-летия Стива Симпсона, 22 мая, 2016, получено 2016-05-06.
  4. ^ а б Симпсон, Стивен Г. (21 января 2016 г.), Биография Резюме (PDF), получено 2016-05-06
  5. ^ Стив Симпсон на Проект "Математическая генеалогия"
  6. ^ Моран, Мелани (декабрь 2015 г.), «Вандербильт назначает Падму Рагхаван заместителем проректора по исследованиям», Новости исследований @ Vanderbilt, Университет Вандербильта, получено 2016-05-06.
  7. ^ Профиль факультета, Университет Вандербильта, получено 2016-05-06.

внешняя ссылка