Русская Википедия:Кемени, Джон Джордж
Шаблон:Однофамильцы Шаблон:Учёный Джон Джордж Ке́мени[1] (Шаблон:Hungarianname, Шаблон:Lang-en; 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» и использовании компьютеров в образовании[3].
Скончался от болезни сердца в 1992 году[7].
Вклад в математику
Опубликовал несколько монографий в области математической логики и дискретной математики. Основной вклад внёс в теорию конечных цепей Маркова. Его именем названа константа Кемени[8].
Награды и отличия
- Член Американской академии искусств и наук (1967).
- Премия Нью-Йоркской национальной академии.
- Премия «Пионер компьютерной техники» (1985) за создание BASIC.
- Компьютерная медаль IEEE (1986).
- Премия IBM Льюиса Робинсона (1990).
Труды в русском переводе
- Шаблон:Книга Шаблон:Wayback
- Шаблон:Книга Шаблон:Wayback
- Кемени Д. Дж., Снелл Дж. Л. Конечные цепи Маркова. М.: Наука, 1970, 271 с.
- Кемени Д. Дж., Снелл Дж. Л. Счётные цепи Маркова. М.: Наука, 1987, 416 с.
Примечания
Ссылки
- Томас Курц и Джон Кемени.
- Шаблон:MacTutor BiographyШаблон:Ref-en
- 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
- ↑ По-венгерски его имя звучит Янош Дьёрдь Ке́мень.
- ↑ Шаблон:Cite web
- ↑ 3,0 3,1 3,2 3,3 3,4 3,5 3,6 3,7 Шаблон:Cite web
- ↑ 4,0 4,1 4,2 4,3 Шаблон:Книга
- ↑ Шаблон:Cite web
- ↑ Диссертация называлась «Теория типов в сравнении с теорией множеств» (Шаблон:Lang-en).
- ↑ Шаблон:Книга
- ↑ J. G. Kemeny and J. L. Snell. Finite Markov Chains. Van Nostrand, Princeton, NJ, 1960.
- Русская Википедия
- Участники Манхэттенского проекта
- Бейсик
- Создатели языков программирования
- Пионеры компьютерной техники
- Преподаватели Дартмутского колледжа
- Иммигрировавшие в США из Венгрии
- Еврейские беженцы от нацизма:Персоналии
- Умершие от сердечно-сосудистых заболеваний
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии