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 importante en el desarrollo de la teoría computacional de números . 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 , en la que él y su esposa realizaron numerosos tipos de trabajo en los Estados Unidos y en el extranjero para mantenerse durante la Gran Depresión , lo llevaron fortuitamente al centro de la investigación de la informática electrónica temprana.
Lehmer nació en Berkeley, California , 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 UC Berkeley, y continuó con estudios de posgrado en la Universidad de Chicago .
Él y su padre trabajaron juntos en las cribas Lehmer .
Durante sus estudios en Berkeley, Lehmer conoció a Emma Markovna Trotskaia , una estudiante rusa de su padre, que había comenzado a trabajar para obtener un título en ingeniería , pero posteriormente se centró en las matemáticas y obtuvo su licenciatura en 1928. Más tarde, ese mismo año, Lehmer se casó con Emma. y, tras una gira por el norte de California y un viaje a Japón para conocer a la familia de Emma, se mudaron en coche a Providence, Rhode Island , después de que la Universidad de Brown le ofreciera una plaza de instructor.
Lehmer recibió una maestría y un doctorado. , ambos de la Universidad de Brown, en 1929 y 1930, respectivamente; su esposa también obtuvo una maestría en 1930, enseñando matemáticas para complementar los ingresos familiares y al mismo tiempo ayudaba a su esposo a mecanografiar su doctorado. tesis, 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 el último año, nació la primera hija de la pareja, Laura.
Después de recibir una segunda beca de investigación nacional, 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.
El año 1938-1939 lo pasó en Inglaterra con una beca Guggenheim visitando la Universidad de Cambridge y la Universidad de Manchester , conociendo a GH Hardy , John Edensor Littlewood , Harold Davenport , Kurt Mahler , Louis Mordell y Paul Erdős . Los Lehmer regresaron a América 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 UC Berkeley. Lehmer fue presidente del Departamento de Matemáticas de la Universidad de California, Berkeley desde 1954 hasta 1957. Continuó trabajando en UC Berkeley hasta 1972, año en que se convirtió en profesor emérito .
De 1945 a 1946, Lehmer sirvió en el Comité de Computación en Aberdeen Proving Grounds en Maryland , un grupo establecido como parte del Laboratorio de Investigación Balística para preparar el ENIAC para su utilización luego de 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; de acuerdo con sus intereses académicos, estas pruebas involucraban teoría de números, especialmente métodos de tamiz , pero también generación de números pseudoaleatorios. Cuando pudieron organizar el cuidado de los niños, los Lehmer pasaban los fines de semana despiertos toda la noche solucionando esos problemas, el primero durante el fin de semana de Acción de Gracias de 1945. (Dichas pruebas se realizaron sin costo, ya que el ENIAC se habría dejado encendido de todos modos en interés de la salud). minimizando las fallas de los tubos de vacío.) El problema se ejecutó 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 computadora, funcionó las 24 horas del día sin interrupciones ni fallas. El martes siguiente, 9 de julio de 1946, Lehmer pronunció la charla "Máquinas informáticas para matemáticas puras" como parte de las Conferencias de la Escuela Moore , en la que introdujo la informática como una ciencia experimental y demostró el ingenio y el humor típicos de sus conferencias docentes.
Lehmer permanecería activo en el desarrollo informático durante el resto de su carrera. A su regreso a Berkeley, hizo planes para construir la Computadora Digital de California ( CALDIC ) con Paul Morton y Leland Cunningham. En septiembre de 1949, presentó el generador de números pseudoaleatorios ahora conocido como generador de números aleatorios de Lehmer . [4]
DH Lehmer escribió el artículo "Las máquinas herramienta de la combinatoria", que es el primer capítulo de Matemáticas combinatorias aplicadas de Edwin Beckenbach (1964). [5] Describe métodos para producir permutaciones, combinaciones, etc. Este fue un recurso excepcionalmente valioso y recientemente ha sido rivalizado por el Volumen 4 de la serie de Donald Knuth .
Los Lehmer también ayudaron a Harry Vandiver con su trabajo sobre el último teorema de Fermat , utilizando la computadora automática Standards Western para realizar 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 después de negarse a firmar un juramento de lealtad , una política iniciada por la Junta de Regentes del Estado de California en 1950 durante el susto comunista personificado por el senador Joseph McCarthy . Lehmer asumió el cargo de Director del Instituto de Análisis Numérico (INA) de la Oficina Nacional de Estándares , trabajando con la Computadora Automática Occidental de Estándares ( 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 Universidad del Norte de Illinois, invitó dos veces a Lehmer y 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 teoría de números. Lehmer enseñó las primeras ocho semanas y luego Erdős enseñó el resto. Erdős no solía impartir cursos y dijo: "Sabes que no fue tan difícil. El único problema era estar allí".
Lehmer tenía bastante ingenio. Con motivo de la primera conferencia de teoría de números de Asilomar, que se convirtió en un evento anual (ahora llamada Teoría de Números de la Costa Oeste ), Lehmer, como organizador, se encontraba inspeccionando las instalaciones del Asilomar Conference Grounds , básicamente un edificio de madera en la playa. Alguien dijo que no podían encontrar una pizarra y Lehmer vio unas cortinas en medio de la pared. Al apartar las cortinas se reveló una pizarra muy pequeña, tras 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 la teoría de números para 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.