Биография
Джон Кемени родился в семье венгерских евреев. После начала войны семья эмигрировала в Нью-Йорк; родственники, оставшиеся в Венгрии, погибли в концлагерях.
Закончив с отличием среднюю школу, Джон поступил в Принстонский университет (1943), где изучал математику и философию. Одарённого студента привлекли к Манхэттенскому проекту, где он работал под руководством Ричарда Фейнмана. Там он познакомился с Джоном фон Нейманом.
В 1947 году Кемени получил степень бакалавра и начал работу над докторской в области оснований математики, которую защитил два года спустя. Его научным руководителем был Алонзо Чёрч. Одновременно Кемени сотрудничал с проживавшим в Принстоне Эйнштейном в качестве консультанта по математическим вопросам.
В 1951 году женился. У него родились двое детей.
С 1953 года Кемени преподаёт на факультете математики престижного Дартмутского колледжа. С 1955 по 1967 годы он руководитель этого факультета, а в 1970 году становится (не оставляя преподавательскую работу) президентом Дартмутского колледжа. В этот период его привлекает идеи автоматизации программирования и применения компьютеров в обучении. Совместно с Томасом Курцем он разработал для этого первую версию языка программирования Бейсик (1964), которую внедрил на специально разработанной системе разделения времени для сети мини-ЭВМ LGP-30.
Опубликовал несколько монографий в области математической логики и дискретной математики.
Скончался от болезни сердца в 1992 году.
Награды и отличия
- Член Американской академии искусств и наук (1967).
- Премия Нью-Йоркской национальной академии.
- Премия «Пионер компьютерной техники» (1985) за создание BASIC.
- Компьютерная медаль IEEE (1986).
- Премия IBM Льюиса Робинсона (1990).
Труды в русском переводе
- Кемени Дж., Снелл Дж., Томпсон Дж. Введение в конечную математику. Издательство иностранной литературы, 1963 г., 488 стр.
- Кемени Д. Дж., Снелл Дж. Л. Кибернетическое моделирование. Некоторые приложения. М.: Советское радио, 1972, 192 с.
- Кемени Д. Дж., Снелл Дж. Л. Конечные цепи Маркова. М.: Наука, 1970, 271 с.
- Кемени Д. Дж., Снелл Дж. Л. Счётные цепи Маркова. М.: Наука, 1987, 416 с.
