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

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

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

Биография

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

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

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

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

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

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

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

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

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

Примечания
  1. Hoffman R. LinkedIn (англ.) — 2003.
  2. Математическая генеалогия (англ.) — 1997.
  3. Григорий Цейтин. Краткие биографии некоторых известных эсперантистов. Личности в эсперанто-движении. Дата обращения: 20 июня 2020.
  4. Одинцов В. П. Зарисовки по истории компьютерных наук: учебное пособие в 3 частях: часть I. — Сыктывкар: Коми государственный педагогический институт, 2011. — С. 103, 109. — 200 с. — 200 экз. — ISBN 978-5-87661-188-8. — ISBN 978-5-87661-189-5.
  5. Персоналии: Цейтин Григорий Самуилович. Math-Net.ru. Дата обращения: 20 июня 2020.
  6. Цейтин Г. С. Алгорифмические операторы в конструктивных метрических пространствах // Труды МИАН СССР : сборник. — М.: Изд-во АН СССР, 1962. — Т. 67. — С. 295—361. — ISSN 0371-9685.
  7. 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.

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