Gregory Samuilovich Tseytin (obituary)
- Authors: Artemov S.N., Beklemishev L.D., Borkin L.Y., Vershik A.M., Hirsch E.A., Dantsin E.Y., Ibragimov I.A., Kalmens E.V., Kreinovich V.Y., Kubenskii D.A., Lodkin A.A., Matiyasevich Y.V., Novikov B.A., Orevkov V.P., Semenov A.L., Slisenko A.O., Shen' A.K.
- Issue: Vol 78, No 3 (2023)
- Pages: 170-176
- Section: Articles
- URL: https://journals.rcsi.science/0042-1316/article/view/133758
- DOI: https://doi.org/10.4213/rm10092
- ID: 133758
Cite item
Open Access
Access granted
Subscription Access
Abstract
About the authors
Sergei Nikolaevich Artemov
Email: SArtemov@gc.cuny.edu
Lev Dmitrievich Beklemishev
Email: lbekl@yandex.ru
Doctor of physico-mathematical sciences, no status
L. Ya. Borkin
Anatolii Moiseevich Vershik
Email: avershik@gmail.com
Doctor of physico-mathematical sciences, Professor
Edward Alekseevich Hirsch
Email: hirsch@pdmi.ras.ru
Doctor of physico-mathematical sciences, Associate professor
Evgeny Yakovlevich Dantsin
Email: dantsin@logic.pdmi.ras.ru
Candidate of physico-mathematical sciences
Il'dar Abdullovich Ibragimov
Email: ibr32@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
E. V. Kalmens
Vladik Ya. Kreinovich
Email: vladik@utep.edu
D. A. Kubenskii
Andrei Aleksandrovich Lodkin
Email: alodkin@gmail.com
Candidate of physico-mathematical sciences, Associate professor
Yuri Vladimirovich Matiyasevich
Email: yumat@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
Boris Asenovich Novikov
Doctor of physico-mathematical sciences, Professor
Vladimir Pavlovich Orevkov
Email: orevkov@pdmi.ras.ru
Doctor of physico-mathematical sciences, Senior Researcher
Aleksei Lvovich Semenov
Email: alsemno@ya.ru
Doctor of physico-mathematical sciences, Professor
Anatol Oles'evich Slisenko
Doctor of physico-mathematical sciences, Professor
Alexander Khanievich Shen'
Email: sasha.shen@gmail.com
Candidate of physico-mathematical sciences
References
- Г. С. Цейтин, “Относительно проблемы распознавания свойств ассоциативных исчислений”, Докл. АН СССР, 107:2 (1956), 209–212
- Г. С. Цейтин, “Ассоциативное исчисление с неразрешимой проблемой эквивалентности”, Докл. АН СССР, 107:3 (1956), 370–371
- Г. С. Цейтин, “О сложности вывода в исчислении высказываний”, Исследования по конструктивной математике и математической логике. II, Зап. науч. сем. ЛОМИ, 8, Изд-во “Наука”, Ленинград. отд., Л., 1968, 234–259
- Г. С. Цейтин, Исследования по конструктивному анализу (конструктивные вещественные числа и точечно-определенные функции), Автореф. дисс. … докт. физ.-матем. наук, ЛГУ, Л., 1968
- Г. С. Цейтин, “Приведенная форма нормальных алгорифмов и теорема о линейном ускорении”, Исследования по конструктивной математике и математической логике. IV, Зап. науч. сем. ЛОМИ, 20, Изд-во “Наука”, Ленинград. отд., Л., 1971, 234–242
- Г. С. Цейтин, “Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов”, Исследования по конструктивной математике и математической логике. IV, Зап. науч. сем. ЛОМИ, 20, Изд-во “Наука”, Ленинград. отд., Л., 1971, 243–262
- Г. С. Цейтин (ред.), Алгол 68: методы реализации, Изд-во Ленингр. ун-та, Л., 1976, 224 с.
- Г. С. Цейтин, “От логицизма к процедурализму. На автобиографическом материале”, Алгоритмы в современной математике и ее приложениях, Ч. 2, ВЦ СОАН, Новосибирск, 1982, 181–193
- Г. С. Цейтин, “Является ли математика частью информатики?”, Компьютерные инструменты в образовании, 1999, № 5, 3–7
- G. Tseytin, M. Hofmann, M. O'Mahony, D. Lyons, “Tracing individual public transport customers from an anonymous transaction database”, J. Public Transp., 9:4 (2006), 47–60
Supplementary files
