Hispanopedia WikiHartley Rogers Jr. (6 de julio de 1926 - 17 de julio de 2015) fue un matemático estadounidense que trabajó en teoría de la computabilidad y fue profesor en el Departamento de Matemáticas del Instituto Tecnológico de Massachusetts .
Biografía
Nacido en 1926 en Buffalo, Nueva York , Rogers estudió inglés como estudiante de pregrado en la Universidad de Yale , graduándose en 1946. Después de visitar la Universidad de Cambridge con una beca Henry , regresó a Yale para obtener una maestría en física, que completó en 1950. Estudió matemáticas con Alonzo Church en Princeton , obtuvo una segunda maestría en 1951, [1] y recibió su doctorado allí en 1952. [2]
Fue profesor Benjamin Peirce en la Universidad de Harvard de 1952 a 1955. Después de ocupar un puesto de profesor visitante en el MIT, se convirtió en profesor en el Departamento de Matemáticas del MIT en 1956. [1] Entre sus estudiantes de doctorado se encontraban Patrick Fischer , Louis Hodes , Carl Jockusch , Andrew Kahr , David Luckham , Rohit Parikh , David Park y John Stillwell . [2] Presidió el senado de la facultad del MIT de 1971 a 1973 y sirvió como rector asociado de la universidad de 1974 a 1980. [1]
Además de enseñar e investigar, Rogers era un ávido remero y competidor de remo. [1]
Se jubiló como profesor emérito en 2009 y falleció el 17 de julio de 2015. [1]
Trabajo matemático
Rogers trabajó en lógica matemática , particularmente en teoría de recursión , y escribió el texto clásico Teoría de funciones recursivas y computabilidad efectiva . [3] El teorema de equivalencia de Rogers lleva su nombre.
Rogers ganó el premio Lester R. Ford en 1965 por su artículo expositivo Teoría de la información . [4]
Obras seleccionadas
- Rogers, Hartley (1959). "Funciones recursivas sobre ordenamientos parciales bien ordenados". Proc. Amer. Math. Soc. 10 (6): 847–853. doi : 10.1090/s0002-9939-1959-0111685-8 . MR 0111685.
- Kreider, Donald L. ; Rogers, Hartley (1961). "Versiones constructivas de clases de números ordinales". Trans. Amer. Math. Soc. 100 (2): 325–369. doi : 10.1090/s0002-9947-1961-0151396-x . MR 0151396.
- Rogers, Hartley (1965). "Sobre funciones universales". Proc. Amer. Math. Soc . 16 : 39–44. doi : 10.1090/s0002-9939-1965-0171705-4 . MR 0171705.
- Hartley Rogers Jr., La teoría de funciones recursivas y computabilidad efectiva , MIT Press, ISBN 0-262-68052-1 (libro de bolsillo), ISBN 0-07-053522-1 (libro de texto) [5]
Referencias
- ^ abcde «Hartley Rogers, Jr., profesor emérito de matemáticas». Departamento de Matemáticas del MIT. 22 de julio de 2015. Consultado el 28 de junio de 2024 .
- ^ de Hartley Rogers Jr. en el Proyecto de Genealogía Matemática
- ^ Hartley Rogers, Jr. (1967). Teoría de funciones recursivas y computabilidad efectiva . McGraw Hill.
- ^ Rogers Jr., Hartley (1964). "Teoría de la información". Revista de Matemáticas . 37 (2): 63–78. doi :10.1080/0025570X.1964.11975485.
- ^ Yates, CEM (marzo de 1971). "Revisión: Teoría de funciones recursivas y computabilidad efectiva , por Hartley Rogers Jr". J. Symb. Log. 36 (1): 141–146. doi :10.2307/2271523. JSTOR 2271523. S2CID 222039152.