Lehmer, Derrick Henry

Derrick Henry Lehmer
Derrick Henry Lehmer
Fecha de nacimiento 23 de febrero de 1905( 23/02/1905 ) [1] [2]
Lugar de nacimiento
Fecha de muerte 22 de mayo de 1991( 1991-05-22 ) [1] [2] (86 años)
Un lugar de muerte
País
Esfera científica matemáticas
Lugar de trabajo
alma mater Universidad marrón
consejero científico Tamarkin Yakov Davidovich
Estudiantes Tom Apóstol
Ronald Graham
Harold Stark
Peter Weinberger
Conocido como Autor y coautor de los siguientes artículos:
Secuencia alícuota Prueba de primalidad de Lucas Prueba de Lucas-Lehmer
Prueba de Lucas-Lehmer-Riesel Prueba de Pocklington Método de congruencia lineal



Premios y premios Beca Guggenheim (1938) [3]
Conferencia Gibbs (1965)
 Archivos multimedia en Wikimedia Commons

Derrick Henry Lehmer _ _  _ _ _ _ _  _ _ _ _ _ _ _ _ _ _ _ para números primos de Mersenne . La carrera de Lemaire se desarrolló en el campo de la teoría de números . Durante la Gran Depresión, él y su esposa se vieron obligados a cambiar muchos trabajos tanto en los Estados Unidos como en el extranjero, lo que eventualmente lo llevó por casualidad al centro de investigación en el campo de la computación electrónica temprana.

Primeros años y formación

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 recibió una licenciatura de la Universidad de California en Berkeley [7] , después de lo cual continuó sus estudios de posgrado en la Universidad de Chicago. [8] Durante algún tiempo trabajó con su padre.

Matrimonio

Mientras estudiaba en Berkeley , Lemaire conoció a Emma Markovna Trotskaya, una estudiante rusa que estudiaba con su padre. En ese momento, había comenzado a trabajar para obtener un título de ingeniería, pero posteriormente se concentró por completo en las matemáticas y recibió su licenciatura en 1928. En el mismo año, Lemaire se casó con Emma, ​​​​y después de una gira por el norte de California y un viaje a Japón. para conocer a su familia Emma, ​​se mudaron en auto a Providence, Rhode Island. La Universidad de Brown luego le ofreció a Lamer un puesto de profesor.

Actividad científica

Carrera temprana

Lemaire recibió su maestría y doctorado de la Universidad de Brown , en 1929 y 1930, respectivamente. Su esposa recibió su maestría en 1930, recibió tutoría en matemáticas para complementar los ingresos familiares y también ayudó a su esposo a escribir su tesis doctoral con el tema: "Teoría extendida de funciones de Lucas", en la que trabajó con Jacob Tamarkin .

La vida durante la Gran Depresión

Lehmer se convirtió en miembro 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 1933, la pareja tuvo su primera hija, Laura. Después de recibir una segunda Beca Nacional de Investigación, los Lehmer se mudaron a Princeton , Nueva Jersey . Allí vivieron desde 1932 hasta 1934, cuando Derrick trabajó durante algún tiempo en el Instituto de Estudios Avanzados .

Trabajó en la Universidad de Lehigh en Pensilvania de 1934 a 1938. En 1934 nació el segundo hijo de Derrick, Donald. La familia pasó de 1938 a 1939 en Inglaterra con una beca Guggenheim , trabajando tanto en la Universidad de Cambridge como en la Universidad de Manchester . Luego conocieron a H. H. Hardy , D. I. Littlewood , Harold Davenport , Kurt Mahler y Louis Mordell . La familia Lehmer regresó a Estados Unidos en barco con su segundo hijo, Donald, justo antes del comienzo de la Batalla del Atlántico .

Lemaire continuó trabajando en la Universidad de Lehigh durante el año académico 1939-1940.

Regreso a Berkeley

En 1940, Lemaire fue reincorporado al departamento de matemáticas de la Universidad de California, Berkeley. En algún momento durante su tiempo allí, desarrolló un generador de congruencia lineal (generador de números pseudoaleatorios), que a menudo se conoce como el generador de números aleatorios de Lehmer. La familia Lehmer también ayudó a Harry Vandiver con su trabajo sobre el Teorema de Fermat , necesario para calcular una gran cantidad de números de Bernoulli.

Lehmer fue presidente del departamento de matemáticas de la Universidad de California, Berkeley, de 1954 a 1957. Allí continuó trabajando en la Universidad de Berkeley hasta 1972, cuando se convirtió en profesor honorario.

Participación en ENIAC

Entre 1945 y 1946, Lemaire formó parte del Comité de Computación en Aberdeen Proving Ground en Maryland . Él estaba en un grupo creado dentro del Laboratorio de Investigación de Balística para su uso en ENIAC . Leland Cunningham y Franz Alt también fueron miembros del Comité. Fue durante este corto tiempo, cuando Lemaire dirigió el desarrollo de algunos de los primeros programas de prueba en ENIAC, que se desarrollaron muchos métodos importantes para la teoría de números y la generación de secuencias pseudoaleatorias de acuerdo con sus intereses científicos.

Fue el primero en probar muchas teorías matemáticas existentes usando una computadora. Incluyendo la hipótesis de Riemann sobre la distribución de ceros de la función zeta de Riemann , la cual era inalcanzable sin el uso de computadoras.

Durante ese período, Lemaire pasó todo su tiempo trabajando. También hubo muchos problemas con la tolerancia a fallas del tubo de vacío, ya que después de cada falla tomaba hasta tres días restaurar el sistema a su capacidad de trabajo. El 9 de julio de 1946, Lemaire dio la primera conferencia sobre su tema, "Máquinas informáticas para matemáticas puras", en la Escuela Moore .

Después de eso, Lemaire planeó continuar desarrollando la informática por el resto de su carrera. A su regreso a Berkeley, también hizo planes para la Computadora Digital de California (CALDIC) con Paul Morton y Leland Cunningham.

La vida bajo Joseph McCarthy

En 1950, Lemaire fue despedido después de negarse a jurar lealtad a una política iniciada por la Junta de Regentes del Estado de California en 1950 durante el alboroto del macartismo . Luego de su destitución, Lemaire asumió como director del Instituto de Análisis Numérico (INA) de la Dirección Nacional de Normas y trabajó en la Computadora Automática Occidental de la Norma ( SWAC ) que se instaló en el INA. El 17 de octubre de 1952, la Corte Suprema del estado declaró inconstitucional el juramento y Lemaire regresó a Berkeley poco después. [9]

De 1950 a 1954, Derrick Lehmer también dirigió la revista Mathematical Tables and other Aids to Computation, o más bien, fue el primer presidente de la junta directiva de la revista.

Años posteriores

Cuando John Selfridge estaba en la Universidad del Norte de Illinois, invitó dos veces a Lemaire y Emma a pasar un semestre allí. Una vez, Selfridge consiguió que Pal Erdős y Lemaire impartieran juntos un curso sobre la investigación científica de problemas en el campo de la teoría de números. Lemaire enseñó durante las primeras ocho semanas y luego Erdős completó el curso.

Lemaire era bastante ingenioso. Con motivo de la primera Conferencia de California sobre Teoría de Números, que eventualmente se convirtió en un evento anual (ahora llamado Teoría de Números de la Costa Oeste ), Lemaire, como organizador, recorrió las instalaciones de la conferencia, en su mayoría edificios de madera en la playa. Alguien dijo que no podía encontrar la pizarra y Lemaire notó una pequeña cortina en el medio de la pared. Empujándolo a un lado, vio un tablero muy pequeño, después de lo cual dijo: "Bueno, ¡creo que no haremos ningún análisis de teoría de números!"

Muerte

Derrick Henry Lehmer murió en Berkeley el 22 de mayo de 1991.

Impacto en la ciencia

Teoría de números y métodos matemáticos

Además de sus importantes contribuciones al desarrollo de algoritmos de teoría de números para multiplicar números enteros, como el factorial , la multiplicación de columnas y las pruebas de primalidad, también formuló la conjetura de Lehmer y contribuyó al proyecto de Cunningham.

Lehmer estudió matrices con términos racionales y destacó una clase de matrices simétricas llamadas matrices de Lehmer. Tales matrices tienen entradas estrictamente negativas en ambos lados de las diagonales. Dado que pueden especificarse analíticamente, pueden usarse para probar la inversión de programas numéricos. [diez]

En 1938 desarrolló una versión mucho más rápida del algoritmo de Euclides para números naturales muy grandes. [once]

También desarrolló un método congruente lineal para generar números pseudoaleatorios.

Lehmer, junto con Srinivasa Ramanjuan Iyengor , investigó la -Función, determinada por la fórmula:

Derrick Lehmer también desarrolló algoritmos para extraer ceros de polinomios en el plano complejo y un método de un parámetro para promediar números no negativos.

La estrecha colaboración de Emma y Derrick Lemaire en teoría de números es similar a la situación de Pierre y Marie Curie en física y química.

Combinatoria

Lemaire escribió el artículo "Máquinas para la computación", que es el primer capítulo del libro Matemáticas combinatorias aplicadas de Edwin Beckenbach, 1964. Describe cómo obtener permutaciones, combinaciones, etc. Este fue un recurso excepcionalmente valioso y el único competidor apareció recientemente: Serie de 4 volúmenes de Donald Knuth .

Notas

  1. 1 2 3 4 5 MacTutor Archivo de Historia de las Matemáticas
  2. 1 2 Derrick H. Lehmer // Museo Solomon Guggenheim - 1937.
  3. Derrick Lemaire en el sitio web de la Fundación John Simon Guggenheim Memorial . Consultado el 12 de mayo de 2017. Archivado desde el original el 20 de diciembre de 2019.
  4. 1 2 3 https://www.gf.org/fellows/all-fellows/derrick-h-lehmer/
  5. Descarga de datos de Freebase - Google .
  6. http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-aav62i3p207bwm - página 208.
  7. Marilyn Kwock. Exposición de los Lehmer en Berkeley:  Introducción . bancroft.berkeley.edu. Fecha de acceso: 16 de diciembre de 2016. Archivado desde el original el 20 de diciembre de 2016.
  8. Derrick Lehmer - El  proyecto de genealogía matemática . genealogía.math.ndsu.nodak.edu. Consultado el 16 de diciembre de 2016. Archivado desde el original el 20 de agosto de 2018.
  9. Archivos digitales de historia de la Universidad de California  . www.lib.berkeley.edu. Fecha de acceso: 16 de diciembre de 2016. Archivado desde el original el 7 de noviembre de 2016.
  10. Lemaire. Álgebra lineal y multilineal  . - 1991. - Págs. 251-264.
  11. D. H. Lehmer. Algoritmo de Euclides para números grandes. (Inglés) . — DH Lehmer: Algoritmo de Euclides para números grandes. amer Math., 1938, págs. 227–233.

Enlaces