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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
В Руниверсалис есть статьи о других людях с такой фамилией, см. Цейтин.
Григорий Самуилович Цейтин
Дата рождения 15 ноября 1936(1936-11-15)
Дата смерти 27 августа 2022(2022-08-27) (85 лет)
Место смерти Кэмпбелл, Санта-Клара (Калифорния), США
Альма-матер ЛГУ (матмех)
Учёная степень доктор физико-математических наук

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

Биография

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

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

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

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

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

Научные достижения

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

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

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

Примечания

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

Ссылки

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Цейтин,_Григорий_Самуилович&oldid=2965260