Steve Simpson (matematik) - Steve Simpson (mathematician)

Stephen G. Simpson
Stephen Simpson (matematik) .jpg
Steve Simpson ve společnosti Oberwolfach, 2008
Alma materMIT
Známý jakoReverzní matematika
Vědecká kariéra
PoleMatematika
InstitucePennsylvania State University Vanderbiltova univerzita
TezePřípustná teorie ordinálů a teorie rekurze
Doktorský poradceGerald Sacks
Doktorandi

Stephen George Simpson je americký matematik, jehož výzkum se týká základy matematiky, včetně práce v matematická logika, teorie rekurze, a Ramseyova teorie. Je známý svým rozsáhlým rozvojem oboru reverzní matematika založeno Harvey Friedman, ve kterém cílem je určit, které axiomy jsou potřebné k prokázání určitých matematických vět.[1] Argumentoval také výhodami finistický matematické systémy, jako např primitivní rekurzivní aritmetika, které nezahrnují skutečné nekonečno.[2]

V květnu 2016 byla uspořádána konference na počest 70. Simpsonových narozenin.[3]

Vzdělání

Simpson absolvoval v roce 1966 Lehigh University s B.A. (summa cum laude) a M.A. z matematiky.[4] Získal titul Ph.D. z Massachusetts Institute of Technology v roce 1971, s disertační prací s názvem Přípustná teorie ordinálů a teorie rekurze a pod dohledem Gerald Sacks.[5]

Kariéra

Po krátkodobých pozicích v univerzita Yale, University of California, Berkeley a University of Oxford, Simpson se stal odborným asistentem na Pennsylvania State University v roce 1975. V Penn State byl v letech 1987 až 1992 profesorem Raymonda N. Shibleyho.[4]

V roce 2016 jeho manželka, počítačová vědkyně Padma Raghavan, přestěhoval se z Penn State do Vanderbiltova univerzita stát se místopředsedou probohu pro výzkum,[6] a Simpson ji následoval a stal se profesor výzkumu ve Vanderbiltu.[7]

Vybrané publikace

  • Simpson, Stephen G. (1977), „Teorie prvního řádu stupňů rekurzivní neřešitelnosti“, Annals of Mathematics, 105: 121–139, doi:10.2307/1971028, PAN  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, PAN  0725732.
  • Carlson, Timothy J .; Simpson, Stephen G. (1984), „Dvojí forma Ramseyho věty“, Pokroky v matematice, 53 (3): 265–290, doi:10.1016/0001-8708(84)90026-4, PAN  0753869.
  • Simpson, Stephen G. (1988), „Částečné realizace Hilbertova programu“, Journal of Symbolic Logic, 53 (2): 349–363, doi:10.2307/2274508, PAN  0947843.
  • Simpson, Stephen G. (1999), Podsystémy aritmetiky druhého řáduPerspectives in Mathematical Logic, Berlin: Springer-Verlag, doi:10.1007/978-3-642-59971-2, ISBN  3-540-64882-8, PAN  1723993. 2. vydání, 2009, PAN2517689.

Reference

  1. ^ Elwes, Richard (2013), Matematika ve 100 klíčových průlomech (PDF), Quercus, New York, str. 397, ISBN  978-1-62365-054-4, PAN  3222699.
  2. ^ Wolchover, Natalie (6. prosince 2013), „Spor o nekonečno rozděluje matematiky“ (PDF), Scientific American.
  3. ^ Základní dopad teorie rekurze: Na počest 70. narozenin Steva Simpsona, 22. května 2016, vyvoláno 2016-05-06.
  4. ^ A b Simpson, Stephen G. (21. ledna 2016), Životopis (PDF), vyvoláno 2016-05-06
  5. ^ Steve Simpson na Matematický genealogický projekt
  6. ^ Moran, Melanie (prosinec 2015), „Vanderbilt jmenuje Padmu Raghavanovou viceprezidentkou pro výzkum“, Výzkumné zprávy @ Vanderbilt, Vanderbilt University, vyvoláno 2016-05-06.
  7. ^ Profil fakulty, Vanderbiltova univerzita, vyvoláno 2016-05-06.

externí odkazy