Джон Джордж Кемени (урожденный Кемени Янош Дьёрдь ; 31 мая 1926 [1] — 26 декабря 1992) — американский математик , ученый-компьютерщик и педагог венгерского происхождения , наиболее известный благодаря совместной разработке [2] языка программирования BASIC в 1964 году. с Томасом Э. Курцем . Кемени был 13-м президентом Дартмутского колледжа с 1970 по 1981 год и был пионером в использовании компьютеров в высшем образовании. Кемени возглавлял президентскую комиссию, расследовавшую аварию на острове Три-Майл в 1979 году. [2] По словам Дьердя Маркса, он был одним из марсиан . [3]
Кемени родился в Будапеште , Венгрия , в еврейской семье, [1] посещал частную начальную школу Рач в Будапеште и был одноклассником Нандора Балаша . В 1938 году его отец уехал в США один. В 1940 году он вывез всю семью Кемени в США [1] , когда принятие второго антиеврейского закона в Венгрии стало неизбежным. [4] Однако его дедушка отказался уезжать и был убит во время Холокоста вместе с тетей и дядей. [5] Семья Кемени поселилась в Нью-Йорке, где он учился в средней школе Джорджа Вашингтона . Три года спустя он окончил школу с лучшими результатами в своем классе. [2] В 1943 году [1] Кемени поступил в Принстонский университет , где изучал математику и философию, но во время учебы взял годовой перерыв, чтобы работать над Манхэттенским проектом в Национальной лаборатории Лос-Аламоса , где его начальником был Ричард Фейнман . Он также работал там с Джоном фон Нейманом . Вернувшись в Принстон, Кемени получил степень бакалавра математики в 1946 году после защиты дипломной работы на тему «Эквивалентные логические системы» под руководством Алонзо Чёрча . [6] Затем он остался в Принстоне, чтобы продолжить обучение в аспирантуре и получил степень доктора философии. получил степень по математике в 1949 году после защиты докторской диссертации на тему «Теория типов против теории множеств», также под руководством Алонзо Чёрча. [7] [2]
Во время учебы в аспирантуре он работал ассистентом по математике у Альберта Эйнштейна . [1] Дж. Лори Снелл пишет о совете Эйнштейна Кемени, увидевшего, что его привлекло Движение объединенных мировых федералистов (UWF): [8]
«У Джона возникло искушение посвятить этой программе большую часть своего времени . Эйнштейн сказал ему, что сначала он должен оставить свой след в мире, и тогда люди будут его слушать. Мы все были вознаграждены решением Кемени прислушаться к совету Эйнштейна. ."
«Объединенные мировые федералисты» — это движение, благодаря которому он познакомился со своей будущей женой, тогдашней студенткой Смита Джин Александер. [8]
Кемени был назначен на факультет математики Дартмута в качестве профессора в 1953 году, в возрасте 27 лет. [ 1] Два года спустя он стал председателем кафедры и занимал этот пост до 1967 года . курсы математики . Он объединился с Джеральдом Л. Томпсоном и Дж. Лори Снеллом , чтобы написать «Введение в конечную математику» (1957) для студентов, изучающих биологию и социальные науки. Профессора математического факультета Дартмута также написали «Конечные математические структуры» (1959 г.) и «Конечная математика с бизнес-приложениями » (1962 г.). Этому примеру последовали другие колледжи и университеты, и в других местах было написано еще несколько учебников по конечной математике . Тема цепей Маркова была особенно популярна, поэтому Кемени объединился с Дж. Лори Снеллом, чтобы опубликовать «Конечные цепи Маркова» (1960) и предоставить вводный учебник для колледжа. Принимая во внимание достижения в использовании теории потенциала , полученные Г.А. Хантом, они написали «Счетные цепи Маркова» в 1966 году. [9] За этим учебником, подходящим для продвинутых семинаров, [10] последовало второе издание в 1976 году, когда Дэвид Гриффит был включен.
Кемени и Курц были пионерами в использовании компьютеров обычными людьми. После ранних экспериментов с ALGOL 30 и DOPE на LGP-30 в 1964 году они изобрели язык программирования BASIC , а также одну из первых в мире систем разделения времени — Дартмутскую систему разделения времени (DTSS). В 1974 году Американская федерация обществ обработки информации вручила Кемени и Курцу награду на Национальной компьютерной конференции за их работу над BASIC и разделением времени. [11] BASIC был языком, который использовался в большинстве программ, написанных во время появления Apple II, Commodore, TRS-80 и IBM PC на протяжении 80-х годов, а его преемником на ПК стал Visual Basic (.NET) . все еще используется в 2023 году. [12] В 1980-х годах Sinclair BASIC также был необходим для семейства компьютеров Sinclair ZX . [13]
Кемени был президентом Дартмута с 1970 по 1981 год и продолжал преподавать на курсах бакалавриата, проводить исследования и публиковать статьи во время своего пребывания на посту президента. Он руководил совместным обучением в Дартмуте в 1972 году. Он также учредил «Дартмутский план» круглогодичной деятельности, тем самым позволяя большему количеству студентов не иметь дополнительных зданий. Во время его правления Дартмут стал более активным в наборе и удержании студентов из числа меньшинств [2] и возобновил свое основополагающее обязательство предоставлять образование американским индейцам. Кемени сделал Дартмут пионером в использовании компьютеров студентами, приравняв компьютерную грамотность к грамотности чтения. В 1982 году он вернулся к преподаванию на постоянной основе.
В 1983 году Кемени и Курц основали компанию True BASIC, Inc. для продвижения True BASIC , обновленной версии языка.
Джон Кемени умер в возрасте 66 лет в результате сердечной недостаточности в Ливане, штат Нью-Гэмпшир [2] 26 декабря 1992 года. [4] Он жил на Этне , недалеко от кампуса Дартмута.