Джон Кемені

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

Джон Джордж Кемені
англ. John George Kemeny
угор. Kemény János György
Ім'я при народженні угор. Kemény János György
Народився 31 травня 1926(1926-05-31)
Будапешт, Угорщина
Помер 26 грудня 1992(1992-12-26) (66 років)
Нью-Гемпшир, США
·серцево-судинні захворювання
Країна  США
Національність угорці
Діяльність математик, інформатик, викладач університету, економіст
Alma mater Принстонський університет
Галузь математика, інформатика
Заклад Дартмутський коледж
Посада професор
Науковий керівник Алонзо Черч
Аспіранти, докторанти Václav E. Benešd, John Albert Higginsond[1], Neal Weidenhoferd[1] і Michael Jay Bergd[1]
Членство Американська академія мистецтв і наук
Відомий завдяки: Співавтор мови Бейсік
Нагороди Медаль «Піонер комп'ютерної техніки» (1985)

У 1970 обраний 13-м президентом Дартмутського коледжу (одного з найстаріших і найавторитетніших університетів США, що входить до Ліги плюща) та займав цю посаду 11 років. У цьому коледжі він вперше почав систематичне застосування комп'ютерів у навчальному процесі.

Біографія

Джон Кемені народився у родини угорських євреїв.[3] Після початку війни родина емігрувала до Нью-Йорку[3]; родичі, що залишилися в Угорщині, загинули у концтаборах.[4]

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

У 1947 Кемені отримав ступінь бакалавра та почав роботу над докторською в області основної математики[5], яку захистив два роки опісля. Його науковим керівником був Алонзо Черч. Одночасно Кемені співпрацював з Ейнштейном, який проживав у Принстоні, як консультант з математичним питань.[3]

У 1951 одружився. Народилися двоє дітей.

З 1953 Кемені викладав на факультеті математики престижного Дартмутського коледжу.[3] З 1955 по 1967 керував цим факультетом, а у 1970 стає (не залишаючи викладацьку роботу) президентом Дартмутського коледжу. У цей період його приваблює ідея автоматизації програмування та застосування комп'ютерів у навчанні. Спільно з Томасом Курцем він розробив для цього першу версію мови програмування Бейсік (1964), яку впровадив на спеціально розробленій системі поділу часу для мережі міні-ЕОМ LGP-30.

Опублікував кілька монографій у галузі математичної логіки та дискретної математики.

Помер від хвороби серця у 1992.[6]

Нагороди та відзнаки

Праці у російському перекладі

  • Кемені Дж., Снелл Дж., Томпсон Дж.Введення в кінцеву математику. Видавництво іноземної літератури, 1963 р., 488 стор
  • Кемені Д. Дж., Снелл Дж. Л.Кібернетичне моделювання. Деякі програми. М.: Радянське радіо, 1972, 192 с.
  • Кемені Д. Дж., Снелл Дж. Л.Кінцеві ланцюги Маркова. М.: Наука, 1970, 271 с.
  • Кемені Д. Дж., Снелл Дж. Л. Рахункові ланцюга Маркова. М.: Наука, 1987, 416 с.

Див. також

Примітки

  1. Математична генеалогія — 1997.
  2. John Kemeny, 66, Computer Pioneer and Educator (obituary). The New York Times. 27 грудня 1992. Архів оригіналу за 18 червня 2012. Процитовано 2 лютого 2008.
  3. Weibel, Peter (2005). Beyond Art — A Third Culture: a Comparative Study in Cultures, Art, and Science in 20th Century Austria and Hungary. Springer. с. 350. ISBN 3211245626.
  4. True Basic. A sketch of John Kemeny. Dartmouth Alumni Magazine. Архів оригіналу за 22 жовтня 2013. Процитовано 21 листопада 2013.
  5. Диссертация называлась «Теория типов в сравнении с теорией множеств» {англ. Type-Theory vs. Set-Theory).
  6. Ohles, Frederik; Shirley M. Ohles, John G. Ramsay (1997). Biographical Dictionary of Modern American Educators. Greenwood Publishing Group. с. 189. ISBN 0313291330.

Посилання

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