американский математик
Стивен Джордж Симпсон (родился 8 сентября 1945 года) — американский математик, чьи исследования касаются основ математики , включая работу по математической логике , теории рекурсии и теории Рамсея . Он известен своим обширным развитием области обратной математики, основанной Харви Фридманом , в которой цель состоит в том, чтобы определить, какие аксиомы необходимы для доказательства определенных математических теорем. [1] Он также выступал за преимущества финитных математических систем, таких как примитивная рекурсивная арифметика , которые не включают актуальную бесконечность . [2]
В мае 2016 года была организована конференция в честь 70-летия Симпсона. [3]
Образование
Симпсон окончил в 1966 году Университет Лихай, получив степень бакалавра (с отличием) и магистра по математике. [4] Он получил степень доктора философии в Массачусетском технологическом институте в 1971 году, защитив диссертацию под названием «Допустимые ординалы и теория рекурсии» под руководством Джеральда Сакса . [5]
Карьера
После краткосрочной работы в Йельском университете , Калифорнийском университете в Беркли и Оксфордском университете , Симпсон стал доцентом в Университете штата Пенсильвания в 1975 году. В Университете штата Пенсильвания он был профессором Рэймонда Н. Шибли с 1987 по 1992 год. [4]
В 2016 году его жена, специалист по информатике Падма Рагхаван , переехала из Университета штата Пенсильвания в Университет Вандербильта, чтобы стать проректором по исследованиям, [6] а Симпсон последовал за ней, став профессором-исследователем в Университете Вандербильта. [7]
Избранные публикации
- Симпсон, Стивен Г. (1977), «Теория первого порядка степеней рекурсивной неразрешимости», Annals of Mathematics , 105 (1): 121–139, doi :10.2307/1971028, JSTOR 1971028, MR 0432435.
- Фридман, Харви М.; Симпсон, Стивен Г.; Смит, Рик Л. (1983), «Счетная алгебра и аксиомы существования множеств», Annals of Pure and Applied Logic , 25 (2): 141–181, doi :10.1016/0168-0072(83)90012-X, MR 0725732.
- Карлсон, Тимоти Дж.; Симпсон, Стивен Г. (1984), «Двойственная форма теоремы Рамсея», Advances in Mathematics , 53 (3): 265–290, doi : 10.1016/0001-8708(84)90026-4 , MR 0753869.
- Симпсон, Стивен Г. (1988), «Частичные реализации программы Гильберта», Журнал символической логики , 53 (2): 349–363, doi :10.2307/2274508, JSTOR 2274508, MR 0947843.
- Симпсон, Стивен Г. (1999), Подсистемы арифметики второго порядка , Перспективы математической логики, Берлин: Springer-Verlag, doi :10.1007/978-3-642-59971-2, ISBN 3-540-64882-8, г-н 1723993. 2-е изд., 2009, MR 2517689.
Ссылки
- ^ Элвес, Ричард (2013), Математика в 100 ключевых прорывах (PDF) , Quercus, Нью-Йорк, стр. 397, ISBN 978-1-62365-054-4, г-н 3222699.
- ^ Вулховер, Натали (6 декабря 2013 г.), «Спор о бесконечности разделяет математиков» (PDF) , Scientific American.
- ^ Основополагающее влияние теории рекурсии: в честь 70-летия Стива Симпсона, 22 мая 2016 г. , получено 06.05.2016.
- ^ ab Simpson, Stephen G. (21 января 2016 г.), Curriculum vitae (PDF) , получено 06.05.2016
- ^ Стив Симпсон в проекте «Генеалогия математики»
- ^ Моран, Мелани (декабрь 2015 г.), «Вандербильт назначает Падму Рагхаван вице-проректором по исследованиям», Новости исследований @ Vanderbilt , Университет Вандербильта , получено 06.05.2016.
- ^ Профиль факультета, Университет Вандербильта , получено 2016-05-06.
Внешние ссылки
- Домашняя страница PSU
- Профиль ученого Google
