Гарри Льюис Нельсон (родился 8 января 1932 года) — американский математик и программист. Он был членом команды, которая выиграла чемпионат мира по шахматам среди компьютеров в 1983 [1] и 1986 годах [2] , и был одним из открывателей 27-го простого числа Мерсенна в 1979 году [3] (на тот момент самого большого известного простого числа ). Он также был редактором журнала Journal of Recreational Mathematics в течение пяти лет. Большая часть его профессиональной карьеры прошла в Ливерморской национальной лаборатории имени Лоуренса , где он работал с некоторыми из самых первых суперкомпьютеров. Он был особенно отмечен как один из ведущих мировых экспертов в написании оптимизированных процедур на языке ассемблера для компьютеров Cray-1 и Cray X-MP . Нельсон всю жизнь интересовался головоломками всех типов и основал MiniMax Game Company, небольшое предприятие, которое помогает изобретателям головоломок разрабатывать и продавать свою продукцию.
В 1994 году Нельсон передал в дар библиотеке Калгарийского университета свою переписку, относящуюся к периоду его работы редактором журнала « Журнал занимательной математики», в качестве части специальной коллекции «Занимательная математика» Эжена Стрэнса. [4]
Нельсон родился 8 января 1932 года в Топике, штат Канзас , третьим из четырех детей. Он посещал местные школы и был активным бойскаутом, заслужив звание скаута-орла. Нельсон учился в Гарвардском университете на первом курсе, но затем был вынужден бросить учебу по финансовым причинам. Он учился в Университете Канзаса на втором курсе, но смог вернуться в Гарвард на предпоследний и последний курсы, получив степень бакалавра по математике в Гарварде в 1953 году. В 1952 году, как раз перед началом последнего года обучения, он женился на своей школьной возлюбленной Клэр (урожденная Рэйчел Клэр Энсин). После окончания учебы он был призван в армию США, но никогда не был развернут за границей. Он был с почетом уволен в 1955 году, получив звание сержанта. Он поступил в аспирантуру Университета Канзаса, получив степень магистра математики в 1957 году. Именно в этот период он увлекся новым на тот момент программируемым цифровым компьютером. Нельсон работал над докторской диссертацией до 1959 года, но сочетание его образовательных льгот по GI Bill, необходимости содержать жену и троих детей, а также отклонения математическим факультетом его предложения сделать диссертацию по компьютерам, убедили его покинуть университет, не получив докторскую степень, и устроиться на работу. [5]
Первоначально Нельсон работал в Autonetics , аэрокосмической компании в южной Калифорнии. В 1960 году он перешел на работу в Lawrence Radiation Laboratory (позже переименованную в Lawrence Livermore National Laboratory или LLNL) в Ливерморе, Калифорния. Он оставался там до выхода на пенсию в 1991 году. Нельсон работал над различными компьютерами в LLNL, начиная с IBM 7030 (прозванного Stretch ). В 1960-х годах первые блоки нового компьютера обычно поставлялись в виде «голого железа», т. е. без какого-либо программного обеспечения, включая компилятор и операционную систему. Программы нужно было писать на языке ассемблера, и программист должен был иметь глубокие и подробные знания машины. Будучи энтузиастом головоломок на протяжении всей жизни, Нельсон стремился понять каждую деталь оборудования и заслужил репутацию эксперта по особенностям и особенностям каждой новой машины. Со временем он стал главным лицом в LLNL, отвечающим за проведение приемочных испытаний нового оборудования. [6]
В процессе приемочных испытаний новый суперкомпьютер обычно запускал диагностические программы ночью, ища проблемы. Во время приемочных испытаний первого компьютера Cray-1 LLNL Нельсон объединился с сотрудником Cray Дэвидом Словински , чтобы разработать программу, которая охотилась бы за следующим простым числом Мерсенна, одновременно являясь законной диагностической программой. 8 апреля 1979 года команда нашла 27-е простое число Мерсенна: 2 44497 - 1, самое большое простое число, известное на тот момент. [7] [8]
В 1980 году Нельсон наткнулся на копию шахматной программы Cray Blitz , написанную Робертом Хайаттом . Используя свои подробные знания архитектуры Cray-1, Нельсон переписал ключевую процедуру на языке ассемблера и смог значительно ускорить программу. Они начали сотрудничать вместе с третьим членом команды, Альбертом Гауэром, сильным игроком в шахматы по переписке . В 1983 году Cray Blitz выиграл чемпионат мира по шахматам среди компьютеров и успешно защитил свой титул в 1986 году. [9]
Чемпионат 1986 года был омрачен противоречиями, когда команда HiTech во главе с Гансом Берлинером обвинила команду Cray Blitz в мошенничестве. Обвинение расследовалось в течение нескольких месяцев директором турнира Дэвидом Леви и было отклонено. [10] Несмотря на увольнение, этот опыт несколько испортил карьеру Нельсона в компьютерных шахматах, хотя он оставался активным до тех пор, пока ACM не прекратила ежегодные компьютерные шахматные турниры в 1994 году.
Нельсон был активным членом International Puzzle Party и долгое время вносил свой вклад в Journal of Recreational Mathematics. Он был редактором журнала в течение 5 лет и много лет входил в его редакционную коллегию после ухода с поста редактора. [11]