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