스티브 심슨 (수학자)
Steve Simpson (mathematician)스티븐 G. 심슨 | |
|---|---|
.jpg) 2008년 Oberwolfach의 Steve Simpson | |
| 모교 | MIT |
| 로 알려져 있다. | 역수학 |
| 과학 경력 | |
| 필드 | 수학 |
| 기관 | 펜실베이니아 주립 대학교 밴더빌트 대학교 |
| 논문 | 수용 가능한 서수 및 재귀 이론 |
| 박사학위 자문위원 | 제럴드 색스 |
| 박사과정 학생 | |
Stephen George Simpson은 수학 논리학, 재귀 이론, 램지 이론 등 수학의 기초에 관한 연구를 하는 미국의 수학자다.그는 하비 프리드먼이 설립한 역수학 분야를 광범위하게 발전시킨 것으로 알려져 있는데, 그 목표는 어떤 공리가 특정한 수학 이론을 증명하는 데 필요한가를 결정하는 것이다.[1]그는 또한 실제 무한을 포함하지 않는 원시 재귀 산술과 같은 미세한 수학 시스템의 장점을 주장해왔다.[2]
2016년 5월 심슨의 70번째 생일을 기념하는 대회가 개최되었다.[3]
교육
심슨은 1966년 르하이 대학교에서 수학 학사, 수학 석사 학위를 받았다.[4]그는 1971년 매사추세츠 공과대학에서 박사학위를 취득했으며, '수용 가능한 서수 및 재귀 이론'이라는 논문으로 제럴드 색스의 감독을 받았다.[5]
경력
심슨은 예일대, 캘리포니아대, 버클리대, 옥스퍼드대 등에서 단기직을 거친 뒤 1975년 펜실베이니아주립대 조교수가 됐다.펜 주립대학에서 그는 레이먼드 N이었다.1987년부터 1992년까지 쉬블리 교수였습니다.[4]
2016년 부인인 컴퓨터 과학자 파드마 라그하반은 펜실베이니아주에서 밴더빌트 대학교로 옮겨 연구 보조원이 됐고 [6]심슨은 그녀를 따라 밴더빌트 대학교 연구교수가 됐다.[7]
선택한 게시물
- Simpson, Stephen G. (1977), "First order theory of the degrees of recursive unsolvability", Annals of Mathematics, 105 (1): 121–139, doi:10.2307/1971028, JSTOR 1971028, MR 0432435.
- Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. (1983), "Countable algebra and set existence axioms", Annals of Pure and Applied Logic, 25 (2): 141–181, doi:10.1016/0168-0072(83)90012-X, MR 0725732.
- Carlson, Timothy J.; Simpson, Stephen G. (1984), "A dual form of Ramsey's theorem", Advances in Mathematics, 53 (3): 265–290, doi:10.1016/0001-8708(84)90026-4, MR 0753869.
- Simpson, Stephen G. (1988), "Partial realizations of Hilbert's Program", Journal of Symbolic Logic, 53 (2): 349–363, doi:10.2307/2274508, JSTOR 2274508, MR 0947843.
- 2009년 2월 2일 MR2517689Simpson, Stephen G. (1999), Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Berlin: Springer-Verlag, doi:10.1007/978-3-642-59971-2, ISBN 3-540-64882-8, MR 1723993.
참조
- ^ Elwes, Richard (2013), Math in 100 key breakthroughs (PDF), Quercus, New York, p. 397, ISBN 978-1-62365-054-4, MR 3222699.
- ^ Wolchover, Natalie (December 6, 2013), "Dispute over infinity divides mathematicians" (PDF), Scientific American.
- ^ The Foundational Impact of Recursion Theory: In honor of Steve Simpson's 70th birthday, May 22, 2016, retrieved 2016-05-06.
- ^ a b Simpson, Stephen G. (January 21, 2016), Curriculum vitae (PDF), retrieved 2016-05-06
- ^ 수학 계보 프로젝트 스티브 심슨
- ^ Moran, Melanie (December 2015), "Vanderbilt names Padma Raghavan as vice provost for research", Research news @ Vanderbilt, Vanderbilt University, retrieved 2016-05-06.
- ^ Faculty profile, Vanderbilt University, retrieved 2016-05-06.
