Interested Article - Кемени, Джон Джордж

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

Биография

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

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

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

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

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

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

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

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

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

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

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

Примечания

  1. Deutsche Nationalbibliothek Record #123385865 // (нем.) — 2012—2016.
  2. По-венгерски его имя звучит Янош Дьёрдь Ке́мень .
  3. . The New York Times (27 декабря 1992). Дата обращения: 2 февраля 2008. 11 ноября 2012 года.
  4. (англ.) . Britannica . Дата обращения: 25 августа 2022. 23 сентября 2022 года.
  5. Weibel, Peter. (англ.) . — Springer, 2005. — P. 350. — ISBN 3211245626 .
  6. . Dartmouth Alumni Magazine . Дата обращения: 12 мая 2010. 4 ноября 2011 года.
  7. Диссертация называлась «Теория типов в сравнении с теорией множеств» ( англ. Type-Theory vs. Set-Theory ).
  8. Ohles, Frederik; Shirley M. Ohles, John G. Ramsay. (англ.) . — Greenwood Publishing Group , 1997. — P. 189. — ISBN 0313291330 .
  9. J. G. Kemeny and J. L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.

Ссылки

  • Джон Дж. О’Коннор и Эдмунд Ф. Робертсон . (англ.) — биография в архиве MacTutor . (англ.)
Источник —

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