Harry Lewis Nelson (nacido el 8 de enero de 1932) es un matemático y programador informático estadounidense . Fue miembro del equipo que ganó el Campeonato Mundial de Ajedrez Informático en 1983 [1] y 1986, [2] y fue un co-descubridor de la 27ma prima de Mersenne en 1979 [3] (en ese momento, la prima más grande conocida número ). También se desempeñó como editor del Journal of Recreational Mathematics durante cinco años. La mayor parte de su carrera profesional la pasó en el Laboratorio Nacional Lawrence Livermore.donde trabajó con algunas de las primeras supercomputadoras. Se destacó particularmente como uno de los principales expertos del mundo en la escritura de rutinas optimizadas en lenguaje ensamblador para las computadoras Cray-1 y Cray X-MP . Nelson ha tenido un interés de toda la vida en los rompecabezas de todo tipo y, desde su retiro en 1991, ha dedicado su tiempo a su propia MiniMax Game Company, una pequeña empresa que ayuda a los inventores de rompecabezas a desarrollar y comercializar sus productos.
En 1994, Nelson donó su correspondencia de sus días como editor del Journal of Recreational Mathematics a la Biblioteca de la Universidad de Calgary como parte de la Colección Especial Eugène Strens Recreational Mathematics. [4]
Nelson nació el 8 de enero de 1932 en Topeka, Kansas , el tercero de cuatro hijos. Asistió a escuelas locales y participó activamente en los Boy Scouts, obteniendo el rango de Eagle Scout. Nelson asistió a la Universidad de Harvard como estudiante de primer año, pero luego tuvo que abandonarlos por razones financieras. Asistió a la Universidad de Kansascomo estudiante de segundo año, pero pudo regresar a Harvard para sus años junior y senior, recibiendo una licenciatura en matemáticas de Harvard en 1953. En 1952, justo antes del comienzo de su último año, se casó con su novia de la escuela secundaria, Claire ( née Rachael Claire Ensign). Después de graduarse, fue admitido en el ejército de los EE. UU., Pero nunca fue enviado al extranjero. Fue dado de baja honorablemente en 1955, habiendo alcanzado el rango de sargento. Se matriculó en estudios de posgrado en la Universidad de Kansas y obtuvo una maestría en matemáticas en 1957. Fue durante este período que se sintió fascinado por la entonces nueva computadora digital programable. Nelson trabajó para obtener un doctorado. hasta 1959, pero la combinación de los beneficios educativos de GI Bill se está agotando, necesitando mantener a una esposa y tres hijos,y el rechazo del departamento de matemáticas a su propuesta de hacer su tesis en computadoras lo convenció de dejar la universidad sin terminar su doctorado y conseguir un trabajo.[5]
Inicialmente, Nelson trabajó para Autonetics , una empresa aeroespacial en el sur de California. En 1960 se puso a trabajar para el Laboratorio de Radiación Lawrence (más tarde rebautizado como Laboratorio Nacional Lawrence Livermore o LLNL), en Livermore, California. Permaneció trabajando allí hasta su jubilación en 1991. Nelson trabajó en una variedad de computadoras en LLNL, comenzando con la IBM 7030 (apodada Stretch). En la década de 1960, las primeras unidades de una computadora nueva se entregaban típicamente como "bare metal", es decir, sin software de ningún tipo, ni compilador ni sistema operativo. Los programas debían estar escritos en lenguaje ensamblador y el programador necesitaba tener un conocimiento íntimo y detallado de la máquina. Nelson, un entusiasta de los rompecabezas de toda la vida, buscó comprender cada detalle del hardware y se ganó la reputación de experto en las características e idiosincrasias de cada nueva máquina. Con el tiempo, se convirtió en la persona principal en LLNL a cargo de realizar las pruebas de aceptación de nuevo hardware. [6]
Durante el proceso de prueba de aceptación, una nueva supercomputadora normalmente ejecuta programas de diagnóstico por la noche, en busca de problemas. Durante las pruebas de aceptación de la primera computadora Cray-1 de LLNL, Nelson se asoció con el empleado de Cray, David Slowinski, para diseñar un programa que buscaría la próxima prima de Mersenne, al mismo tiempo que sería un programa de diagnóstico legítimo. El 8 de abril de 1979, el equipo encontró el número primo número 27 de Mersenne: 2 44497 - 1, el número primo más grande conocido en ese momento. [7] [8]