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

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

Джон Джордж Кемени
англ. John George Kemeny
венг. Kemény János György
Имя при рождении венг. Kemény János György
Дата рождения 31 мая 1926(1926-05-31)[1]
Место рождения
Дата смерти 26 декабря 1992(1992-12-26)[1] (66 лет)
Место смерти
Страна
Научная сфера математика, информатика
Место работы
Альма-матер Принстонский университет
Научный руководитель Алонзо Чёрч
Известен как один из авторов языка Бейсик
Награды и премии Медаль «Пионер компьютерной техники» (1985)

Биография

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

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

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

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

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

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

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

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

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

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

Примечания

  1. Архив по истории математики Мактьютор
  2. По-венгерски его имя звучит Янош Дьёрдь Ке́мень.
  3. John Kemeny, 66, Computer Pioneer and Educator (obituary). The New York Times (27 декабря 1992). Дата обращения: 2 февраля 2008. Архивировано 18 июня 2012 года.
  4. 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).
  7. Ohles, Frederik; Shirley M. Ohles, John G. Ramsay. Biographical Dictionary of Modern American Educators (англ.). Greenwood Publishing Group, 1997. — P. 189. — ISBN 0313291330.
  8. J. G. Kemeny and J. L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.