Stephen George Simpson es un matemático estadounidense cuya investigación se refiere a los fundamentos de las matemáticas , incluido el trabajo en lógica matemática , teoría de recursividad y teoría de Ramsey . Es conocido por su extenso desarrollo del campo de las matemáticas inversas fundado por Harvey Friedman , en el que el objetivo es determinar qué axiomas son necesarios para probar ciertos teoremas matemáticos. [1] También ha defendido los beneficios de los sistemas matemáticos finitistas , como la aritmética recursiva primitiva , que no incluye el infinito real . [2]
Stephen G. Simpson | |
---|---|
alma mater | MIT |
Conocido por | Matemáticas inversas |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad Estatal de Pensilvania Universidad de Vanderbilt |
Tesis | Ordinales admisibles y teoría de la recursividad |
Asesor de doctorado | Gerald Sacks |
Estudiantes de doctorado |
En mayo de 2016 se organizó una conferencia en honor al cumpleaños número 70 de Simpson. [3]
Educación
Simpson se graduó en 1966 de la Universidad de Lehigh con una licenciatura (summa cum laude) y una maestría en matemáticas. [4] Obtuvo un doctorado. del Massachusetts Institute of Technology en 1971, con una disertación titulada Admissible Ordinals and Recursion Theory y supervisada por Gerald Sacks . [5]
Carrera profesional
Después de puestos a corto plazo en la Universidad de Yale , la Universidad de California, Berkeley y la Universidad de Oxford , Simpson se convirtió en profesor asistente en la Universidad Estatal de Pensilvania en 1975. En Penn State, fue profesor Raymond N. Shibley de 1987 a 1992. . [4]
En 2016, su esposa, la científica informática Padma Raghavan , se mudó de Penn State a la Universidad de Vanderbilt para convertirse en vicerrectora de investigación, [6] y Simpson la siguió, convirtiéndose en profesora de investigación en Vanderbilt. [7]
Publicaciones Seleccionadas
- Simpson, Stephen G. (1977), "Teoría de primer orden de los grados de insolubilidad recursiva", 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), "Álgebra contable y axiomas de existencia de conjuntos", 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), "Una forma dual del teorema de Ramsey", Advances in Mathematics , 53 (3): 265-290, doi : 10.1016 / 0001-8708 (84) 90026-4 , MR 0753869.
- Simpson, Stephen G. (1988), "Realizaciones parciales del programa de Hilbert", Journal of Symbolic Logic , 53 (2): 349–363, doi : 10.2307 / 2274508 , JSTOR 2274508 , MR 0947843.
- Simpson, Stephen G. (1999), Subsistemas de aritmética de segundo orden , Perspectivas en lógica matemática, Berlín: Springer-Verlag, doi : 10.1007 / 978-3-642-59971-2 , ISBN 3-540-64882-8, MR 1723993. 2a ed., 2009, MR2517689 .
Referencias
- ^ Elwes, Richard (2013), Math in 100 key breakthroughs (PDF) , Quercus, Nueva York, p. 397, ISBN 978-1-62365-054-4, MR 3222699.
- ^ Wolchover, Natalie (6 de diciembre de 2013), "La disputa sobre el infinito divide a los matemáticos" (PDF) , Scientific American.
- ^ El Impacto de la recursividad Fundacional Teoría: En honor al 70 cumpleaños de Steve Simpson , 22 de Mayo, el año 2016 , recuperada 05/06/2016.
- ^ a b Simpson, Stephen G. (21 de enero de 2016), Curriculum vitae (PDF) , recuperada 05/06/2016
- ^ Steve Simpson en el Proyecto de genealogía matemática
- ^ Moran, Melanie (diciembre de 2015), "Vanderbilt nombra a Padma Raghavan como vicerrectora de investigación" , Research news @ Vanderbilt , Vanderbilt University , consultado el 6 de mayo de 2016.
- ^ Perfil de la facultad , Universidad de Vanderbilt , consultado el 6 de mayo de 2016.
enlaces externos
- Página de inicio en PSU
- Perfil académico de Google