Цейтин, Григорий Самуилович

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Григорий Самуилович Цейтин
Дата рождения 15 ноября 1936(1936-11-15)
Место рождения
Дата смерти 27 августа 2022(2022-08-27) (85 лет)
Место смерти Кэмпбелл, Санта-Клара (Калифорния), США
Страна
Место работы
Альма-матер ЛГУ (матмех)
Учёная степень доктор физико-математических наук
Научный руководитель Андрей Андреевич Марков[2]
Сайт math.spbu.ru/user/tseyti…

Григорий Самуилович Цейтин (15 ноября 1936 года, Ленинград27 августа 2022 года, Кемпбелл, Калифорния, США) — советский и американский учёный в области математики и информатики. Занимался проблемами конструктивной математики, логики высказываний, теории групп и математической лингвистики.

Биография[править | править код]

В 1956 году окончил математико-механический факультет ЛГУ (ныне СПбГУ) и в дальнейшем работал в НИИ математики и механики (НИИММ) ЛГУ[3][4]. С 1960 года кандидат физико-математических наук ЛГУ, тема диссертации «Алгорифмические операторы в конструктивных метрических пространствах»[5][6]. Доктор физико-математических наук (1968)[7]. С 1970 по 2000 год — заведующий лабораторией математической лингвистики (ныне Лаборатория интеллектуальных систем) в НИИММ ЛГУ[8].

Также Цейтин был одним из создателей и основных преподавателей Юношеской математической школы при математико-механическом факультете ЛГУ[4].

Цейтин переехал в США в 1990-х годах. В 2000—2009 годах работал в IBM, в 2009— 2013 годах работал научным сотрудником в Стэнфордском университете[7].

В 2006 году Цейтин был признан почётным членом (англ. Distinguished Member) Ассоциации вычислительной техники[9].

Цейтин — эсперантист. В 2017—2020 годах он являлся секретарём Региональной Организации Эсперанто в Сан-Франциско (англ. San Francisco Esperanto Regional Organization, SFERO)[7].

Научные достижения[править | править код]

В 1956 году Цейтин привёл пример полугруппы, для которой нет алгоритма, распознающего равенство слов — такие полугруппы были названы полугруппами Цейтина[4][10].

В 1968 году Цейтин разработал алгоритм приведения формул логики высказываний к КНФ, названный преобразованием Цейтина[11].

Цейтин внёс свой вклад в разработку языка программирования Aлгол 68 и его реализации для ЕС ЭВМ[12][13].

Примечания[править | править код]

  1. 1 2 Hoffman R. LinkedIn (англ.) — 2003.
  2. Математическая генеалогия (англ.) — 1997.
  3. Григорий Цейтин. Краткие биографии некоторых известных эсперантистов. Личности в эсперанто-движении. Дата обращения: 20 июня 2020.
  4. 1 2 3 Одинец В. П. Зарисовки по истории компьютерных наук: учебное пособие. — Сыктывкар: Коми государственный педагогический институт, 2013. — С. 96,100,156,177. — 421 с. — 75 экз. — ISBN 978-5-87661-246-5.
  5. Персоналии: Цейтин Григорий Самуилович. Math-Net.ru. Дата обращения: 20 июня 2020.
  6. Цейтин Г. С. Алгорифмические операторы в конструктивных метрических пространствах // Труды МИАН СССР : сборник. — М.: Изд-во АН СССР, 1962. — Т. 67. — С. 295—361. — ISSN 0371-9685.
  7. 1 2 3 Gregory Tseytin (англ.). LinkedIn. Дата обращения: 20 июня 2020.
  8. Лаборатория интеллектуальных систем (недоступная ссылка). Научно-исследовательский институт математики и механики им. академика В. И. Смирнова. Дата обращения: 20 июня 2020. Архивировано 13 января 2008 года.
  9. Dr. Gregory S Tseytin (англ.). ACM. Дата обращения: 20 июня 2020.
  10. Цейтин Г. С. Ассоциативное исчисление с неразрешимой проблемой эквивалентности // Труды МИАН СССР : сборник. — М.Л.: Изд-во АН СССР, 1958. — Т. 52. — С. 172—189. — ISSN 0371-9685.
  11. Цейтин Г. С. О сложности вывода в исчислении высказываний // Записки научных семинаров ЛОМИ. — 1968. — Т. 8. — С. 234—259. — ISSN 0373-2703.
  12. Revised Report on the Algorithmic Language Algol 68 (англ.) // Algol Bulletin. — 1981. — August (no. 47). — ISSN 0084-6198.
  13. Терехов А. Н. История одной идеи // Компьютерные инструменты в образовании : журнал. — 2009. — № 2. — С. 30—40. — ISSN 2071-2359.

Ссылки[править | править код]