Matemático estadounidense
Stephen George Simpson (nacido el 8 de septiembre de 1945) es un matemático estadounidense cuya investigación se centra en los fundamentos de las matemáticas , incluido el trabajo en lógica matemática , teoría de la recursión 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 demostrar 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 incluyen el infinito real . [2]
En mayo de 2016 se organizó una conferencia en honor al 70º cumpleaños de Simpson. [3]
Educación
Simpson se graduó en 1966 en la Universidad de Lehigh con una licenciatura (summa cum laude) y una maestría en matemáticas. [4] Obtuvo un doctorado en el Instituto Tecnológico de Massachusetts en 1971, con una disertación titulada Ordinales admisibles y teoría de la recursión y supervisada por Gerald Sacks . [5]
Carrera
Después de ocupar puestos de corta duración 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ó y se convirtió en profesora de investigación en Vanderbilt. [7]
Publicaciones seleccionadas
- Simpson, Stephen G. (1977), "Teoría de primer orden de los grados de irresolubilidad 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", Anales de lógica pura y aplicada , 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, Sr. 1723993. 2da ed., 2009, MR 2517689.
Referencias
- ^ Elwes, Richard (2013), Matemáticas en 100 avances clave (PDF) , Quercus, Nueva York, pág. 397, ISBN 978-1-62365-054-4, Sr. 3222699.
- ^ Wolchover, Natalie (6 de diciembre de 2013), "La disputa sobre el infinito divide a los matemáticos" (PDF) , Scientific American.
- ^ El impacto fundacional de la teoría de la recursión: en honor al 70.° cumpleaños de Steve Simpson, 22 de mayo de 2016 , consultado el 6 de mayo de 2016.
- ^ ab Simpson, Stephen G. (21 de enero de 2016), Curriculum vitae (PDF) , consultado el 6 de mayo de 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", Noticias de investigación @ Vanderbilt , Universidad de Vanderbilt , consultado el 6 de mayo de 2016.
- ^ Perfil del profesorado, Universidad de Vanderbilt , consultado el 6 de mayo de 2016.
Enlaces externos
- Página de inicio en PSU
- Perfil de Google Académico
