Джон Джордж Ке́мени[3] (венг. Kemény János György, англ. John George Kemeny; 31 мая 1926, Будапешт — 26 декабря 1992, Нью-Гэмпшир, США) — американский математик и специалист по информатике венгерского происхождения. Вместе с Томасом Курцем разработал язык Бейсик (1964)[4]. В 1970 году был избран 13-м президентом Дартмутского колледжа (одного из старейших и авторитетнейших университетов США) и занимал эту должность 11 лет[5]. В этом колледже он впервые начал систематическое применение компьютеров в учебном процессе.
Джон Кемени родился в семье венгерских евреев[6]. В школе сидел за одной партой с будущим известным физиком Нандором Балажем. После начала войны семья эмигрировала в Нью-Йорк в январе 1940 года, опасаясь растущей зависимости хортистского режима от гитлеровской Германии[6]; родственники, оставшиеся в Венгрии, погибли в концлагерях[7].
Окончив с отличием среднюю школу, Джон поступил в Принстонский университет (1943), где изучал математику и философию. Одарённого студента привлекли к Манхэттенскому проекту[5], где он работал под руководством Ричарда Фейнмана. Там он познакомился с Джоном фон Нейманом.
В 1947 году Кемени получил степень бакалавра и начал работу над докторской в области оснований математики[8], которую защитил два года спустя. Его научным руководителем был Алонзо Чёрч. Одновременно Кемени сотрудничал с проживавшим в Принстоне Эйнштейном в качестве консультанта по математическим вопросам[5][6]. В 1949 году получил степень доктора философии[5].
С 1953 года Кемени преподаёт на факультете математики престижного Дартмутского колледжа[5][6]. С 1955 по 1967 годы он руководитель этого факультета, а в 1970 году становится (не оставляя преподавательскую работу) президентом Дартмутского колледжа[5]. В этот период его привлекает идеи автоматизации программирования и применения компьютеров в обучении. Совместно с Томасом Курцем он разработал для этого первую версию языка программирования Бейсик (1964)[5], которую внедрил на специально разработанной системе разделения времени для сети мини-ЭВМ LGP-30. Был пионером в продвижении «новой математики» и использовании компьютеров в образовании[5].
Опубликовал несколько монографий в области математической логики и дискретной математики. Основной вклад внёс в теорию конечных цепей Маркова. Его именем названа константа Кемени[10].