Григорий Цейтин
Григорий Самуилович Цейтин | |
|---|---|
| Рожденный | ( 1936-11-15 )15 ноября 1936 г. Ленинград, СССР |
| Умер | 27 августа 2022 г. (2022-08-27)(85 лет) Кэмпбелл, Калифорния, США |
| Известный | Преобразование Цейтина |
| Научная карьера | |
| Поля | Математика , Информатика |
| Тезис | Алгоритмические операторы на конструктивных полных сепарабельных метрических пространствах (1960) |
| научный руководитель | Андрей Андреевич Марков |
Григорий Самуилович Цейтин ( родился 15 ноября 1936 года в Ленинграде, СССР — умер 27 августа 2022 года в Кэмпбелле, Калифорния, США) — российский математик и учёный-компьютерщик, переехавший в США в 1999 году. Наиболее известен благодаря преобразованию Цейтина, используемому в решателях SAT , тавтологиям Цейтина, используемым в теории сложности доказательств, и своей работе над языком Алгол 68. [1 ]
Биография
Цейтин изучал математику в Ленинградском государственном университете (ныне Санкт-Петербургский государственный университет ) с 1951 по 1956 год. Он получил степень доктора философии в 1960 году под руководством Андрея Андреевича Маркова. Его диссертация называлась «Алгоритмические операторы на конструктивных полных сепарабельных метрических пространствах». [2] В 1968 году он получил российскую докторскую степень (соответствующую хабилитации ) в том же университете. С 1960 по 2000 год Цейтин работал в Научно-исследовательском институте математики и механики имени Смирнова при СПбГУ [3] и преподавал информатику в своей alma mater.
В 2006 году Цейтин был признан Американским обществом ученого почетным деятелем . [4]
Работы
- ГС Цейтин. «О сложности вывода в исчислении высказываний» в: J. Siekmann и G. Wrightson, редакторы, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970 , S. 466–483. Берлин, Гейдельберг, 1983.
Ссылки
- ^ А. ван Вейнгаарден, Б. Дж. Майу, Дж. Э. Пек, ЧА Костер, М. Синцов, CH Линдси, LGT Meertens, RGFisker (1970). «Пересмотренный отчет об алгоритмическом языке АЛГОЛ 68» (PDF; 4,42 МБ) . Softwarepreservation.org . Проверено 25 декабря 2018 г.
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Григорий Цейтин в проекте «Генеалогия математики»
- ^ "Санкт-Петербургский государственный университет / Математико-механический факультет / Научно-исследовательский институт математики и механики им. Смирнова". Istc.int . Получено 25.12.2018 .
- ^ "Dr. Gregory S Tseytin". awards.acm.org . Архивировано из оригинала 2020-06-22 . Получено 2018-12-25 .
Внешние ссылки
- «Персоны: Цейтин Григорий Самуилович». Матнет.ру . Проверено 25 декабря 2018 г.
- «Григорий Самуилович Цейтин». Cshistory.nsu.ru (на русском языке) . Проверено 25 декабря 2018 г.
- «Деятели международного эсперанто-движения. Григорий Цейтин». Славик.babil.komputilo.org (на русском языке) . Проверено 25 декабря 2018 г.
