Steve Simpson (matematikçi) - Steve Simpson (mathematician)
Stephen G. Simpson | |
|---|---|
.jpg) Steve Simpson, Oberwolfach'ta , 2008
| |
| gidilen okul | MİT |
| Bilinen | ters matematik |
| Bilimsel kariyer | |
| Alanlar | Matematik |
| kurumlar | Pennsylvania Eyalet Üniversitesi Vanderbilt Üniversitesi |
| Tez | Kabul Edilebilir Ordinal Sayılar ve Özyineleme Teorisi |
| Doktora danışmanı | Gerald Çuvallar |
| Doktora öğrencileri | |
Stephen George Simpson , araştırmaları matematiksel mantık , özyineleme teorisi ve Ramsey teorisi de dahil olmak üzere matematiğin temelleriyle ilgili olan Amerikalı bir matematikçidir . Harvey Friedman tarafından kurulan ve amacı belirli matematiksel teoremleri kanıtlamak için hangi aksiyomların gerekli olduğunu belirlemek olan ters matematik alanındaki kapsamlı gelişimi ile tanınır . Ayrıca gerçek sonsuzluğu içermeyen ilkel özyinelemeli aritmetik gibi sonlu matematiksel sistemlerin faydalarını da tartışmıştır .
Mayıs 2016'da Simpson'ın 70. doğum günü şerefine bir konferans düzenlendi.
Eğitim
Simpson, 1966 yılında Lehigh Üniversitesi'nden matematik alanında BA (summa cum laude) ve yüksek lisans derecesi ile mezun oldu. Doktora derecesi aldı. dan Massachusetts Institute of Technology'den başlıklı tez ile 1971 yılında, Müsaade Sıra ve Özyineleme Kuramı ve gözetiminde Gerald Sacks .
Kariyer
Yale Üniversitesi , California Üniversitesi, Berkeley ve Oxford Üniversitesi'nde kısa süreli görevlerden sonra Simpson , 1975'te Pennsylvania Eyalet Üniversitesi'nde yardımcı doçent oldu . Penn State'de 1987'den 1992'ye kadar Raymond N. Shibley profesörüydü. .
2016 yılında eşi bilgisayar bilimcisi Padma Raghavan , araştırmadan sorumlu müdür yardımcısı olmak için Penn State'den Vanderbilt Üniversitesi'ne taşındı ve Simpson onu takip ederek Vanderbilt'te araştırma profesörü oldu.
Seçilmiş Yayınlar
- Simpson, Stephen G. (1977), "Yinelemeli çözülemezlik derecelerinin birinci derece teorisi", 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), "Sayılabilir cebir ve küme varoluş aksiyomları", 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), "Ramsey teoreminin ikili biçimi", Matematikte Gelişmeler , 53 (3): 265–290, doi : 10.1016/0001-8708(84)90026-4 , MR 0753869.
- Simpson, Stephen G. (1988), "Hilbert'in Programının Kısmi gerçekleşmeleri", Journal of Symbolic Logic , 53 (2): 349–363, doi : 10.2307/2274508 , JSTOR 2274508 , MR 0947843.
- Simpson, Stephen G. (1999), İkinci dereceden aritmetiğin alt sistemleri , Matematiksel Mantıkta Perspektifler, Berlin: Springer-Verlag, doi : 10.1007/978-3-642-59971-2 , ISBN 3-540-64882-8, MR 1723993. 2. baskı, 2009, MR 2517689 .