Джон Кемени

Джон Кемени (полное имя — Джон Джордж Кемени, англ. John George Kemeny; 31 мая 1926, Будапешт, Венгрия — 26 декабря 1992, Хановер, Нью-Гэмпшир, США) — американский математик, учёный в области информатики и педагог венгерского происхождения. Наиболее известен как соавтор (совместно с Томасом Курцем) языка программирования BASIC, одного из первых языков высокого уровня, предназначенного для массового обучения программированию. Также внёс значительный вклад в теорию марковских цепей, математическую логику и философию науки. Занимал пост президента Дартмутского колледжа с 1970 по 1981 год.

Биография

Ранние годы и образование

Джон Кемени родился в еврейской семье в Будапеште. Его отец был коммерсантом. В 1938 году, в связи с нарастанием антисемитских настроений в Венгрии, семья эмигрировала в США. Кемени учился в престижной школе-интернате в Нью-Йорке, а затем поступил в Принстонский университет. В 1947 году он получил степень бакалавра по математике, а в 1949 году — докторскую степень (Ph.D.) по математике под руководством Алонзо Чёрча. Его диссертация была посвящена математической логике и теории типов.

Академическая карьера

После защиты диссертации Кемени работал ассистентом у Альберта Эйнштейна в Институте перспективных исследований в Принстоне, помогая в исследованиях по единой теории поля. В 1953 году он перешёл в Дартмутский колледж, где основал кафедру математики. В 1955 году стал профессором, а в 1969 году — деканом факультета математических наук.

В 1970 году Кемени был избран президентом Дартмутского колледжа. Его президентство (1970–1981) пришлось на период студенческих протестов (в том числе против войны во Вьетнаме) и финансовых трудностей. Кемени провёл реформы, направленные на демократизацию управления колледжем, включая создание совещательных органов с участием студентов и преподавателей, а также ввёл совместное обучение (coeducation), что сделало Дартмут полностью совместным учебным заведением для мужчин и женщин. После ухода с поста президента он продолжал преподавать математику и информатику до выхода на пенсию в 1991 году.

Научные достижения

Математика

Основные математические работы Кемени относятся к теории вероятностей и её приложениям. Он внёс фундаментальный вклад в теорию марковских цепей, в частности, разработал методы анализа цепей с поглощающими состояниями. Совместно с Дж. Л. Снеллом и Э. Н. Томпсоном он написал учебник «Введение в конечную математику» (1957), который стал одним из первых учебников по дискретной математике и широко использовался в университетах США. Также Кемени занимался математической логикой, философией науки (в частности, проблемой индукции и критериями демаркации науки и метафизики) и теорией игр.

Информатика и язык BASIC

Наиболее известным достижением Кемени является создание языка программирования BASIC (Beginner’s All-purpose Symbolic Instruction Code). В начале 1960-х годов в Дартмутском колледже возникла необходимость в простом языке, который позволил бы студентам-гуманитариям и другим неспециалистам легко осваивать программирование. Кемени и его коллега Томас Курц разработали BASIC, который был впервые реализован на компьютере GE-225 в 1964 году. Ключевыми особенностями языка стали:

• Простота синтаксиса: использование английских слов (PRINT, INPUT, IF…THEN, FOR…NEXT) вместо сложных символов.
• Интерактивность: работа в режиме разделения времени (time-sharing), что позволяло многим пользователям одновременно работать с компьютером через терминалы.
• Интерпретируемость: программа выполнялась построчно, что упрощало отладку.

BASIC стал одним из первых языков, доступных для массового обучения, и оказал огромное влияние на развитие персональных компьютеров в 1970–1980-х годах. В 1975 году Билл Гейтс и Пол Аллен реализовали версию BASIC для Altair 8800, что положило начало компании Microsoft. Кемени и Курц также разработали более совершенную версию — True BASIC (1983), которая сохраняла простоту оригинального языка, но добавляла структурные конструкции.

Философия науки

Кемени опубликовал несколько работ по философии науки, в том числе книгу «Философские проблемы науки» (1959). Он анализировал природу научного объяснения, роль индукции и вероятности в научном познании, а также критиковал позитивистские подходы. Его взгляды были близки к логическому эмпиризму, но с акцентом на практическую полезность научных теорий.

Педагогическая деятельность

Кемени был убеждённым сторонником демократизации образования. Он считал, что программирование должно быть доступно каждому студенту, независимо от его специальности. В Дартмутском колледже он организовал систему компьютерного обучения, в рамках которой все студенты (включая гуманитариев) обязаны были пройти курс программирования на BASIC. Эта система стала моделью для многих университетов США. Кемени также активно выступал за использование компьютеров в учебном процессе, предвосхитив многие идеи современного электронного обучения.

Критика и наследие

Язык BASIC неоднократно подвергался критике за отсутствие структурных конструкций (например, GOTO), что приводило к созданию «спагетти-кода». Однако Кемени и Курц настаивали, что простота языка оправдана его образовательной целью. Впоследствии структурные версии BASIC (например, True BASIC, QBasic) исправили этот недостаток.

Наследие Кемени включает:

• Создание одного из самых популярных языков программирования в истории.
• Вклад в развитие теории вероятностей и дискретной математики.
• Реформы в высшем образовании, включая внедрение совместного обучения и демократизацию управления в Дартмутском колледже.
• Популяризацию компьютерной грамотности среди широких слоёв населения.

Основные труды

• Introduction to Finite Mathematics (1957, совместно с Дж. Л. Снеллом и Э. Н. Томпсоном)
• Denumerable Markov Chains (1966, совместно с Дж. Л. Снеллом и А. В. Кнаппом)
• Man and the Computer (1972)
• Basic Programming (1967, совместно с Т. Курцем)
• True BASIC Reference Manual (1985, совместно с Т. Курцем)

Интересные факты

• Кемени свободно владел венгерским, английским, немецким, французским и латынью.
• Он был одним из первых учёных, кто использовал компьютеры для анализа текстов (в частности, для проверки авторства «Федералиста»).
• В 1973 году Кемени был избран членом Американской академии искусств и наук.

Источники

• John G. Kemeny: A Biographical Memoir by Thomas E. Kurtz (National Academy of Sciences, 1999)
• The Dartmouth Time-Sharing System by John G. Kemeny and Thomas E. Kurtz (1964)
• John G. Kemeny, 66, Computer Pioneer and Educator (The New York Times, 1992)
• True BASIC: A Structured Language for the Future by John G. Kemeny and Thomas E. Kurtz (1985)
• Introduction to Finite Mathematics (3rd edition, 1974)