Григорий Цейтин

Григорий Самуилович Цейтин ( русский : Григорий Самуилович Цейтин , родился 15 ноября 1936 года в Ленинграде, СССР, умер 27 августа 2022 года в Кэмпбелле, Калифорния, США) — российский математик и ученый-компьютерщик, переехавший в США в 1999 году. наиболее известен благодаря преобразованию Цейтина, используемому в решателях SAT , тавтологиям Цейтина, используемым в теории сложности доказательства, а также своей работой над Алголом 68 . ^[1]

Биография

Цейтин изучал математику в Ленинградском государственном университете (ныне Санкт-Петербургский государственный университет ) в 1951–1956 годах. В 1960 году он получил докторскую степень по теме «Алгоритмические операторы в конструктивных полных сепарабельных метрических пространствах». ^[2] В 1968 году в том же университете он получил докторскую степень (соответствующую хабилитации) по России. С 1960 по 2000 год Цейтин работал в НИИ математики и механики имени Смирнова. ^[3] и преподавал уроки информатики в своей альма-матер.

заслуженным учёным В 2006 году Цейтин был признан АСМ . ^[4]

Работает

ГС Цейтин. «О сложности вывода в исчислении высказываний» в: Дж. Зикманн и Г. Райтсон, редакторы, « Автоматизация рассуждений 2: Классические статьи по вычислительной логике, 1967–1970» , S. 466–483. Берлин, Гейдельберг, 1983.

Ссылки

^ А. ван Вейнгаарден, Б. Дж. Майлу, Дж. Э. Пек, Ч. А. Костер, М. Синцов, Ч. Линдси, ЛГТ Меертенс, Р. Г. Фискер (1970). «Пересмотренный отчет об алгоритмическом языке АЛГОЛ 68» (PDF; 4,42 МБ) . Softwarepreservation.org . Проверено 25 декабря 2018 г. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )
^ Григорий Цейтин в проекте «Математическая генеалогия».
^ «Санкт-Петербургский государственный университет/Математически-механический факультет/Научно-исследовательский институт математики и механики имени Смирнова» . Istc.int . Проверено 25 декабря 2018 г.
^ «Доктор Григорий Цейтин» . Награды.acm.org . Архивировано из оригинала 22 июня 2020 г. Проверено 25 декабря 2018 г.

Внешние ссылки

"Persons: Tseitin Grigorii Samuilovich" . Mathnet.ru . Retrieved 2018-12-25 .
"Григорий Самуилович Цейтин" . Cshistory.nsu.ru (in Russian) . Retrieved 2018-12-25 .
"Деятели международного эсперанто-движения. Григорий Цейтин" . Slavik.babil.komputilo.org (in Russian) . Retrieved 2018-12-25 .

[1] А. ван Вейнгаарден, Б. Дж. Майлу, Дж. Э. Пек, Ч. А. Костер, М. Синцов, Ч. Линдси, ЛГТ Меертенс, Р. Г. Фискер (1970). «Пересмотренный отчет об алгоритмическом языке АЛГОЛ 68» (PDF; 4,42 МБ) . Softwarepreservation.org . Проверено 25 декабря 2018 г. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

[2] Григорий Цейтин в проекте «Математическая генеалогия».

[3] «Санкт-Петербургский государственный университет/Математически-механический факультет/Научно-исследовательский институт математики и механики имени Смирнова» . Istc.int . Проверено 25 декабря 2018 г.

[4] «Доктор Григорий Цейтин» . Награды.acm.org . Архивировано из оригинала 22 июня 2020 г. Проверено 25 декабря 2018 г.

[1]

[2]

[3]

[4]