Кемени, Джон Джордж

Джон Джордж Кемени
Джон Джордж Кемени
	англ. John George Kemeny; венг. Kemény János György
Научная сфера	математика, информатика
Альма-матер	Принстонский университет
Известен как	один из авторов языка Бейсик
Награды и премии	Медаль «Пионер компьютерной техники» (1985)

Джон Джордж Ке́мени^[1] (венг. Kemény János György, англ. John George Kemeny; 31 мая 1926, Будапешт — 26 декабря 1992, Нью-Гэмпшир, США) — американский математик и специалист по информатике венгерского происхождения. Вместе с Томасом Курцем разработал язык Бейсик (1964)^[2]. В 1970 году был избран 13-м президентом Дартмутского колледжа (одного из старейших и авторитетнейших университетов США) и занимал эту должность 11 лет^[3]. В этом колледже он впервые начал систематическое применение компьютеров в учебном процессе.

Биография

Джон Кемени родился в семье венгерских евреев^[4]. В школе сидел за одной партой с будущим известным физиком Нандором Балажем. После начала войны семья эмигрировала в Нью-Йорк в январе 1940 года, опасаясь растущей зависимости хортистского режима от гитлеровской Германии^[4]; родственники, оставшиеся в Венгрии, погибли в концлагерях^[5].

Окончив с отличием среднюю школу, Джон поступил в Принстонский университет (1943), где изучал математику и философию. Одарённого студента привлекли к Манхэттенскому проекту^[3], где он работал под руководством Ричарда Фейнмана. Там он познакомился с Джоном фон Нейманом.

В 1947 году Кемени получил степень бакалавра и начал работу над докторской в области оснований математики^[6], которую защитил два года спустя. Его научным руководителем был Алонзо Чёрч. Одновременно Кемени сотрудничал с проживавшим в Принстоне Эйнштейном в качестве консультанта по математическим вопросам^[3]^[4]. В 1949 году получил степень доктора философии^[3].

В 1951 году женился. У него родились двое детей.

С 1953 года Кемени преподаёт на факультете математики престижного Дартмутского колледжа^[3]^[4]. С 1955 по 1967 годы он руководитель этого факультета, а в 1970 году становится (не оставляя преподавательскую работу) президентом Дартмутского колледжа^[3]. В этот период его привлекает идеи автоматизации программирования и применения компьютеров в обучении. Совместно с Томасом Курцем он разработал для этого первую версию языка программирования Бейсик (1964)^[3], которую внедрил на специально разработанной системе разделения времени для сети мини-ЭВМ LGP-30. Был пионером в продвижении «новой математики^[англ.]» и использовании компьютеров в образовании^[3].

Скончался от болезни сердца в 1992 году^[7].

Вклад в математику

Опубликовал несколько монографий в области математической логики и дискретной математики. Основной вклад внёс в теорию конечных цепей Маркова. Его именем названа константа Кемени^[8].

Награды и отличия

Член Американской академии искусств и наук (1967).
Премия Нью-Йоркской национальной академии.
Премия «Пионер компьютерной техники» (1985) за создание BASIC.
Компьютерная медаль IEEE (1986).
Премия IBM Льюиса Робинсона (1990).

Труды в русском переводе

Дж. Кемени, Дж. Снелл, Дж. Томпсон. Введение в конечную математику. — Мир, 1965. — 484 с. Архивная копия от 11 ноября 2014 на Wayback Machine
Дж. Кемени, Дж. Снелл. Кибернетическое моделирование. Некоторые приложения. — Советское радио, 1972. — 192 с. Архивная копия от 11 ноября 2014 на Wayback Machine
Кемени Д. Дж., Снелл Дж. Л. Конечные цепи Маркова. М.: Наука, 1970, 271 с.
Кемени Д. Дж., Снелл Дж. Л. Счётные цепи Маркова. М.: Наука, 1987, 416 с.

Примечания

↑ По-венгерски его имя звучит Янош Дьёрдь Ке́мень.
↑ John Kemeny, 66, Computer Pioneer and Educator (obituary) (неопр.). The New York Times (27 декабря 1992). Дата обращения: 2 февраля 2008. Архивировано 18 июня 2012 года.
↑ ^3,0 ^3,1 ^3,2 ^3,3 ^3,4 ^3,5 ^3,6 ^3,7 John Kemeny | American mathematician and computer scientist (англ.). Britannica. Дата обращения: 25 августа 2022.
↑ ^4,0 ^4,1 ^4,2 ^4,3 Weibel, Peter. Beyond Art - A Third Culture : a Comparative Study in Cultures, Art, and Science in 20th Century Austria and Hungary (англ.). — Springer, 2005. — P. 350. — ISBN 3211245626.
↑ True Basic. A sketch of John Kemeny (неопр.). Dartmouth Alumni Magazine. Архивировано 18 июня 2012 года.
↑ Диссертация называлась «Теория типов в сравнении с теорией множеств» (англ. Type-Theory vs. Set-Theory).
↑ Ohles, Frederik; Shirley M. Ohles, John G. Ramsay. Biographical Dictionary of Modern American Educators (англ.). — Greenwood Publishing Group, 1997. — P. 189. — ISBN 0313291330.
↑ J. G. Kemeny and J. L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.

Ссылки

Томас Курц и Джон Кемени.
Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Кемени, Джон Джордж (англ.) — биография в архиве MacTutor. (англ.)
The Papers of John G. Kemeny in the Dartmouth College Library
JOHN G. KEMENY, President 1970—1981
John G. Kemeny. Bio at Bellevue C.C. site
A sketch of John Kemeny for the Dartmouth Alumni Magazine
Interview with Kemeny about his experience at Princeton

[1] По-венгерски его имя звучит Янош Дьёрдь Ке́мень.

[NYT-2] John Kemeny, 66, Computer Pioneer and Educator (obituary) (неопр.). The New York Times (27 декабря 1992). Дата обращения: 2 февраля 2008. Архивировано 18 июня 2012 года.

[:0-3] 3,0 ^3,1 ^3,2 ^3,3 ^3,4 ^3,5 ^3,6 ^3,7 John Kemeny | American mathematician and computer scientist (англ.). Britannica. Дата обращения: 25 августа 2022.

[Springer-4] 4,0 ^4,1 ^4,2 ^4,3 Weibel, Peter. Beyond Art - A Third Culture : a Comparative Study in Cultures, Art, and Science in 20th Century Austria and Hungary (англ.). — Springer, 2005. — P. 350. — ISBN 3211245626.

[5] True Basic. A sketch of John Kemeny (неопр.). Dartmouth Alumni Magazine. Архивировано 18 июня 2012 года.

[6] Диссертация называлась «Теория типов в сравнении с теорией множеств» (англ. Type-Theory vs. Set-Theory).

[Ohles-7] Ohles, Frederik; Shirley M. Ohles, John G. Ramsay. Biographical Dictionary of Modern American Educators (англ.). — Greenwood Publishing Group, 1997. — P. 189. — ISBN 0313291330.

[KS-8] J. G. Kemeny and J. L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]