Русская Википедия:Цейтин, Григорий Самуилович
Григорий Самуилович Цейтин (15 ноября 1936 года, Ленинград — 27 августа 2022 года, Кемпбелл, Калифорния, США) — советский и американский учёный в области математики и информатики. Занимался проблемами конструктивной математики, логики высказываний, теории групп и математической лингвистики.
Биография
В 1956 году окончил математико-механический факультет ЛГУ (ныне СПбГУ) и в дальнейшем работал в НИИ математики и механики (НИИММ) ЛГУ[1][2]. С 1960 года кандидат физико-математических наук ЛГУ, тема диссертации «Алгорифмические операторы в конструктивных метрических пространствах»[3][4]. Доктор физико-математических наук (1968)[5]. С 1970 по 2000 год — заведующий лабораторией математической лингвистики (ныне Лаборатория интеллектуальных систем) в НИИММ ЛГУ[6].
Также Цейтин был одним из создателей и основных преподавателей Юношеской математической школы при математико-механическом факультете ЛГУ[2].
Цейтин переехал в США в 1990-х годах. В 2000—2009 годах работал в IBM, в 2009— 2013 годах работал научным сотрудником в Стэнфордском университете[5].
В 2006 году Цейтин был признан почётным членом (Шаблон:Lang-en) Ассоциации вычислительной техники[7].
Цейтин — эсперантист. В 2017—2020 годах он являлся секретарём Региональной Организации Эсперанто в Сан-Франциско (Шаблон:Lang-en, SFERO)[5].
Научные достижения
В 1956 году Цейтин привёл пример полугруппы, для которой нет алгоритма, распознающего равенство слов — такие полугруппы были названы полугруппами Цейтина[2][8].
В 1968 году Цейтин разработал алгоритм приведения формул логики высказываний к КНФ, названный преобразованием Цейтина[9].
Цейтин внёс свой вклад в разработку языка программирования Aлгол 68 и его реализации для ЕС ЭВМ[10][11].
Примечания
Ссылки
- Персоналии: Цейтин Григорий Самуилович на Math-Net.ru
- Личная страница на портале СПбГУ
- Г.С. Цейтин (некролог) Успехи математических наук, 2023, том 78, выпуск 3(471), страницы 170–176
- Русская Википедия
- Математики по алфавиту
- Математики XX века
- Математики XXI века
- Математики СССР
- Математики США
- Учёные в области информатики
- Учёные в области информатики СССР
- Учёные в области информатики США
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии
