Derrick Henry " Dick " Lehmer (23 de febrero de 1905 - 22 de mayo de 1991), casi siempre citado como DH Lehmer , [1] [2] [3] fue un matemático estadounidense significativo para el desarrollo de la teoría de números computacionales . Lehmer refinó el trabajo de Édouard Lucas en la década de 1930 e ideó la prueba de Lucas-Lehmer para los primos de Mersenne . Su carrera peripatética como teórico de números , con él y su esposa aceptando numerosos tipos de trabajos en los Estados Unidos y en el extranjero para mantenerse durante la Gran Depresión , lo llevó fortuitamente al centro de la investigación sobre la computación electrónica temprana.
Lehmer nació en Berkeley, California , hijo de Derrick Norman Lehmer , profesor de matemáticas en la Universidad de California, Berkeley , y Clara Eunice Mitchell.
Estudió física y obtuvo una licenciatura en la Universidad de California en Berkeley, y continuó con estudios de posgrado en la Universidad de Chicago .
Él y su padre trabajaron juntos en los tamices Lehmer .
Durante sus estudios en Berkeley, Lehmer conoció a Emma Markovna Trotskaia , una estudiante rusa de su padre, que había comenzado trabajando para obtener un título de ingeniería , pero luego cambió su enfoque a las matemáticas, obteniendo su licenciatura en 1928. Más tarde ese mismo año, Lehmer se casó con Emma y, después de una gira por el norte de California y un viaje a Japón para conocer a la familia de Emma, se mudaron en auto a Providence, Rhode Island , después de que la Universidad de Brown le ofreciera un puesto de instructor.
Lehmer recibió una maestría y un doctorado , ambos de la Universidad de Brown, en 1929 y 1930, respectivamente; su esposa obtuvo una maestría también en 1930, enseñando matemáticas para complementar el ingreso familiar, mientras también ayudaba a su esposo a escribir su tesis de doctorado, Una teoría extendida de las funciones de Lucas , que escribió bajo la dirección de Jacob Tamarkin .
Lehmer se convirtió en investigador nacional, lo que le permitió ocupar puestos en el Instituto de Tecnología de California de 1930 a 1931 y en la Universidad de Stanford de 1931 a 1932. En este último año nació la primera hija de la pareja, Laura.
Después de recibir una segunda Beca Nacional de Investigación, los Lehmer se trasladaron a Princeton, Nueva Jersey, entre 1932 y 1934, donde Dick pasó un breve tiempo en el Instituto de Estudios Avanzados .
Trabajó en la Universidad de Lehigh en Pensilvania desde 1934 hasta 1938. Su hijo Donald nació en 1934 mientras Dick y Emma estaban en Lehigh.
Los años 1938-1939 los pasó en Inglaterra con una beca Guggenheim , visitando la Universidad de Cambridge y la Universidad de Manchester , donde conoció a GH Hardy , John Edensor Littlewood , Harold Davenport , Kurt Mahler , Louis Mordell y Paul Erdős . Los Lehmer regresaron a Estados Unidos en barco con su segundo hijo, Donald, justo antes del comienzo de la Batalla del Atlántico .
Lehmer continuó en la Universidad de Lehigh durante el año académico 1939-1940.
En 1940, Lehmer aceptó un puesto en el Departamento de Matemáticas de la Universidad de California en Berkeley. Lehmer fue presidente del Departamento de Matemáticas de la Universidad de California en Berkeley desde 1954 hasta 1957. Continuó trabajando en la Universidad de California en Berkeley hasta 1972, año en que se convirtió en profesor emérito .
De 1945 a 1946, Lehmer formó parte del Comité de Cálculos en Aberdeen Proving Grounds en Maryland , un grupo creado como parte del Laboratorio de Investigación Balística para preparar el ENIAC para su utilización tras su finalización en la Escuela Moore de Ingeniería Eléctrica de la Universidad de Pensilvania ; los otros miembros del Comité de Cálculos fueron Haskell Curry , Leland Cunningham y Franz Alt . Fue durante este breve mandato que los Lehmer ejecutaron algunos de los primeros programas de prueba en el ENIAC; según sus intereses académicos, estas pruebas involucraban teoría de números, especialmente métodos de criba , pero también generación de números pseudoaleatorios. Cuando podían organizar el cuidado de los niños, los Lehmer pasaban los fines de semana desvelándose toda la noche resolviendo este tipo de problemas, el primero durante el fin de semana de Acción de Gracias de 1945. (Estas pruebas se realizaban sin coste, ya que el ENIAC se habría dejado encendido de todos modos con el fin de minimizar los fallos de los tubos de vacío). El problema resuelto durante el fin de semana de tres días del Día de la Independencia del 4 de julio de 1946, con John Mauchly como operador de ordenador, funcionó las veinticuatro horas del día sin interrupción ni fallo. El martes siguiente, 9 de julio de 1946, Lehmer dio la charla "Máquinas informáticas para matemáticas puras" como parte de las Conferencias de la Escuela Moore , en las que presentó la informática como ciencia experimental y demostró el ingenio y el humor típicos de sus conferencias docentes.
Lehmer se mantuvo activo en el desarrollo de la informática durante el resto de su carrera. A su regreso a Berkeley, hizo planes para construir la California Digital Computer ( CALDIC ) con Paul Morton y Leland Cunningham. En septiembre de 1949, presentó el generador de números pseudoaleatorios ahora conocido como el generador de números aleatorios Lehmer . [4]
DH Lehmer escribió el artículo "Las máquinas herramientas de la combinatoria", que es el primer capítulo de Applied Combinatorial Mathematics (Matemática combinatoria aplicada) de Edwin Beckenbach (1964). [5] Describe métodos para producir permutaciones, combinaciones, etc. Este fue un recurso excepcionalmente valioso y sólo ha sido superado recientemente por el Volumen 4 de la serie de Donald Knuth .
Los Lehmers también ayudaron a Harry Vandiver con su trabajo sobre el Último Teorema de Fermat , utilizando la Computadora Automática Occidental Estándar para hacer muchos cálculos que involucraban números de Bernoulli . [6]
En 1950, Lehmer fue uno de los 31 profesores de la Universidad de California despedidos tras negarse a firmar un juramento de lealtad , una política iniciada por la Junta de Regentes del Estado de California en 1950 durante el pánico comunista personificado por el senador Joseph McCarthy . Lehmer aceptó un puesto como director del Instituto de Análisis Numérico (INA) de la Oficina Nacional de Normas , trabajando con la Oficina de Normas de Computadoras Automáticas Occidentales ( SWAC ). El 17 de octubre de 1952, la Corte Suprema del Estado proclamó inconstitucional el juramento y Lehmer regresó a Berkeley poco después.
Lehmer siguió activo durante muchos años. Cuando John Selfridge estaba en la Northern Illinois University, invitó dos veces a Lehmer y a Emma a pasar un semestre allí. Un año, Selfridge organizó que Erdős y Lehmer impartieran juntos un curso sobre problemas de investigación en la teoría de números. Lehmer impartió las primeras ocho semanas y luego Erdős impartió el resto. Erdős no impartía cursos a menudo y dijo: "No fue tan difícil. El único problema fue estar allí".
Lehmer tenía un gran ingenio. Con motivo de la primera conferencia sobre teoría de números de Asilomar, que se convirtió en un evento anual (ahora llamado Teoría de números de la Costa Oeste ), Lehmer, como organizador, estaba inspeccionando las instalaciones del recinto de conferencias de Asilomar , básicamente un edificio de madera en la playa. Alguien dijo que no podían encontrar una pizarra y Lehmer vio unas cortinas en el medio de la pared. Al mover las cortinas a un lado, se reveló una pizarra muy pequeña, ante lo cual Lehmer dijo: "Bueno, ¡supongo que no haremos ninguna teoría analítica de números !"
Además de sus importantes contribuciones a los algoritmos de teoría de números para números enteros de multiprecisión, como la factorización, el algoritmo de Euclides, la división larga y la prueba de primalidad, también formuló la conjetura de Lehmer y participó en el proyecto Cunningham .
Lehmer murió en Berkeley el 22 de mayo de 1991.