Григорий Самуилович Цейтин (некролог)
- Авторы: Артемов С.Н., Беклемишев Л.Д., Боркин Л.Я., Вершик А.М., Гирш Э.А., Данцин Е.Я., Ибрагимов И.А., Кальменс Е.В., Крейнович В.Я., Кубенский Д.А., Лодкин А.А., Матиясевич Ю.В., Новиков Б.А., Оревков В.П., Семёнов А.Л., Слисенко А.О., Шень А.Х.
- Выпуск: Том 78, № 3 (2023)
- Страницы: 170-176
- Раздел: Статьи
- URL: https://ogarev-online.ru/0042-1316/article/view/133758
- DOI: https://doi.org/10.4213/rm10092
- ID: 133758
Цитировать
Открытый доступ
Доступ предоставлен
Только для подписчиков
Аннотация
Об авторах
Сергей Николаевич Артемов
Email: SArtemov@gc.cuny.edu
Лев Дмитриевич Беклемишев
Email: lbekl@yandex.ru
доктор физико-математических наук, без звания
Л. Я. Боркин
Анатолий Моисеевич Вершик
Email: avershik@gmail.com
доктор физико-математических наук, профессор
Эдуард Алексеевич Гирш
Email: hirsch@pdmi.ras.ru
доктор физико-математических наук, доцент
Евгений Яковлевич Данцин
Email: dantsin@logic.pdmi.ras.ru
кандидат физико-математических наук
Ильдар Абдуллович Ибрагимов
Email: ibr32@pdmi.ras.ru
доктор физико-математических наук, профессор
Е. В. Кальменс
Владислав Я. Крейнович
Email: vladik@utep.edu
Д. А. Кубенский
Андрей Александрович Лодкин
Email: alodkin@gmail.com
кандидат физико-математических наук, доцент
Юрий Владимирович Матиясевич
Email: yumat@pdmi.ras.ru
доктор физико-математических наук, профессор
Борис Асенович Новиков
доктор физико-математических наук, профессор
Владимир Павлович Оревков
Email: orevkov@pdmi.ras.ru
доктор физико-математических наук, старший научный сотрудник
Алексей Львович Семёнов
Email: alsemno@ya.ru
доктор физико-математических наук, профессор
Анатоль Олесьевич Слисенко
доктор физико-математических наук, профессор
Александр Ханиевич Шень
Email: sasha.shen@gmail.com
кандидат физико-математических наук
Список литературы
- Г. С. Цейтин, “Относительно проблемы распознавания свойств ассоциативных исчислений”, Докл. АН СССР, 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
Дополнительные файлы
