Hijo de Hartley Rogers.

Matemático estadounidense (1926-2015)

Hartley 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

1. «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 .
2. Hartley Rogers Jr. en el Proyecto de Genealogía Matemática
3. Hartley Rogers, Jr. (1967). Teoría de funciones recursivas y computabilidad efectiva . McGraw Hill.
4. Rogers Jr., Hartley (1964). "Teoría de la información". Revista de Matemáticas . 37 (2): 63–78. doi :10.1080/0025570X.1964.11975485.
5. 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.