Gregory Samuilovich Tseytin (obituary)
- Авторлар: 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.
- Шығарылым: Том 78, № 3 (2023)
- Беттер: 170-176
- Бөлім: Articles
- URL: https://journal-vniispk.ru/0042-1316/article/view/133758
- DOI: https://doi.org/10.4213/rm10092
- ID: 133758
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
Авторлар туралы
Sergei Artemov
Email: SArtemov@gc.cuny.edu
Lev Beklemishev
Email: lbekl@yandex.ru
Doctor of physico-mathematical sciences, no status
L. Borkin
Anatolii Vershik
Email: avershik@gmail.com
Doctor of physico-mathematical sciences, Professor
Edward Hirsch
Email: hirsch@pdmi.ras.ru
Doctor of physico-mathematical sciences, Associate professor
Evgeny Dantsin
Email: dantsin@logic.pdmi.ras.ru
Candidate of physico-mathematical sciences
Il'dar Ibragimov
Email: ibr32@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
E. Kalmens
Vladik Kreinovich
Email: vladik@utep.edu
D. Kubenskii
Andrei Lodkin
Email: alodkin@gmail.com
Candidate of physico-mathematical sciences, Associate professor
Yuri Matiyasevich
Email: yumat@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
Boris Novikov
Doctor of physico-mathematical sciences, Professor
Vladimir Orevkov
Email: orevkov@pdmi.ras.ru
Doctor of physico-mathematical sciences, Senior Researcher
Aleksei Semenov
Email: alsemno@ya.ru
Doctor of physico-mathematical sciences, Professor
Anatol Slisenko
Doctor of physico-mathematical sciences, Professor
Alexander Shen'
Email: sasha.shen@gmail.com
Candidate of physico-mathematical sciences
Әдебиет тізімі
- Г. С. Цейтин, “Относительно проблемы распознавания свойств ассоциативных исчислений”, Докл. АН СССР, 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
Қосымша файлдар
