Hartley Rogers Jr. (6 de julio de 1926 – 17 de julio de 2015) fue un matemático estadounidense que trabajó en la teoría de la computabilidad , y fue profesor en el Departamento de Matemáticas del Instituto Tecnológico de Massachusetts .
Nacido en 1926 en Buffalo, Nueva York , [1] estudió con Alonzo Church en Princeton y recibió su doctorado. allí en 1952. Sirvió en la facultad del MIT desde 1956 hasta su muerte, el 17 de julio de 2015. [2] Le sobreviven su esposa, la Dra. Adrianne E. Rogers, sus tres hijos, Hartley R. Rogers, Campbell DK Rogers y Caroline R. Broderick, y por sus 10 nietos. [3]
En el MIT había estado involucrado en muchas actividades académicas extracurriculares, incluida la dirección del SPUR (Programa de Verano en Investigación de Pregrado) para estudiantes universitarios del MIT, la supervisión de la sección de matemáticas del RSI ( Instituto de Investigación Científica ) para estudiantes avanzados de secundaria y la preparación del equipo de exámenes del MIT Putnam. durante casi dos décadas a partir de 1990, incluidos los años 2003 y 2004, cuando el MIT ganó por primera vez desde 1979. También dirigió un seminario llamado 18.S34: Resolución de problemas matemáticos para estudiantes de primer año del MIT.
Rogers es conocido dentro de la comunidad universitaria del MIT también por haber desarrollado un curso de cálculo multivariable (18.022: Cálculo multivariable con teoría) con el objetivo explícito de proporcionar una base matemática firme para el estudio de la física. En 2005 anunció que ya no impartiría el curso él mismo, pero es probable que se siga impartiendo de manera similar en el futuro. Es recordado por sus ingeniosos comentarios matemáticos durante las conferencias, así como por su tradición de otorgar galletas Leibniz y Fig Newtons a los mejores estudiantes de su clase.
Ávido remero, recientemente fue miembro del Cambridge Boat Club en el río Charles, Cambridge, Massachusetts. En su tiempo libre, se desempeñó durante muchos años como capellán del Campeonato Mundial de Remo en pista cubierta como parte del CRASH-B. Junta Directiva de Sprint.
Rogers trabajó en lógica matemática , particularmente en teoría de la recursividad , y escribió el texto clásico Teoría de funciones recursivas y computabilidad efectiva . [4] El teorema de equivalencia de Rogers lleva su nombre.
Entre sus estudiantes de doctorado se encontraban Patrick Fischer , Louis Hodes , Carl Jockusch , Andrew Kahr , David Luckham , Rohit Parikh , David Park y John Stillwell .
Rogers ganó el premio Lester R. Ford en 1965 por su artículo expositivo Teoría de la información . [5]