Джон Джордж Кемени (настоящее имя Кемени Янош Дьёрдь ; 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]
«Джон испытывал искушение посвятить большую часть своего времени этой программе . Эйнштейн сказал ему, что сначала он должен оставить свой след в мире, и тогда люди будут его слушать. Мы все были вознаграждены решением Кемени прислушаться к совету Эйнштейна».
Кемени был назначен на кафедру математики Дартмута в качестве профессора в 1953 году в возрасте 27 лет. [1] Два года спустя он стал председателем кафедры и занимал этот пост до 1967 года. Кемени занялся разработкой учебной программы , когда ввел курсы по конечной математике . Он объединился с Джеральдом Л. Томпсоном и Дж. Лори Снеллом, чтобы написать «Введение в конечную математику» (1957) для студентов-биологов и социальных наук. Профессора кафедры математики Дартмута также написали «Конечные математические структуры» (1959) и «Конечная математика с бизнес-приложениями» (1962). Другие колледжи и университеты последовали этому примеру, и в других местах было написано еще несколько учебников по конечной математике . Тема цепей Маркова была особенно популярна, поэтому Кемени объединился с Дж. Лори Снеллом для публикации книги «Конечные цепи Маркова» (1960), чтобы предоставить вводный учебник для колледжей. Учитывая достижения в использовании теории потенциала, полученные Дж. А. Хантом, они написали книгу «Счетные цепи Маркова» в 1966 году. [9] За этим учебником, подходящим для продвинутых семинаров, [10] последовало второе издание в 1976 году, в которое была включена дополнительная глава о случайных полях Дэвида Гриффита.
Кемени и Курц были пионерами в использовании компьютеров для обычных людей. После ранних экспериментов с ALGOL 30 и DOPE на LGP-30 , они изобрели язык программирования BASIC в 1964 году, а также одну из первых в мире систем разделения времени , Dartmouth Time-Sharing System (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] Он жил в Этне , недалеко от кампуса Дартмута.