Владимир Андреевич Успенский (27.11.1930–27.06.2018)
- Авторы: Адян С.И., Андреев Н.Н., Беклемишев Л.Д., Гончаров С.С., Ершов Ю.Л., Матиясевич Ю.В., Осипов Ю.С., Пентус М.Р., Плунгян В.А., Рахилина Е.В., Садовничий В.А., Семёнов А.Л., Татевосов С.Г., Тихомиров В.М., Шень А.Х.
- Выпуск: Том 74, № 4 (2019)
- Страницы: 165-180
- Раздел: Статьи
- URL: https://bakhtiniada.ru/0042-1316/article/view/133570
- DOI: https://doi.org/10.4213/rm9875
- ID: 133570
Цитировать
Открытый доступ
Доступ предоставлен
Только для подписчиков
Аннотация
Об авторах
Сергей Иванович Адян
Email: sia@mi-ras.ru
доктор физико-математических наук, профессор
Николай Николаевич Андреев
Email: andreev@etudes.ru
кандидат физико-математических наук, без звания
Лев Дмитриевич Беклемишев
Email: lbekl@yandex.ru
доктор физико-математических наук, без звания
Сергей Савостьянович Гончаров
Email: gonchar@math.nsc.ru
доктор физико-математических наук, профессор
Юрий Леонидович Ершов
Email: ershov@math.nsc.ru
доктор физико-математических наук, профессор
Юрий Владимирович Матиясевич
Email: yumat@pdmi.ras.ru
доктор физико-математических наук, профессор
Юрий Сергеевич Осипов
доктор физико-математических наук, профессор
Мати Рейнович Пентус
доктор физико-математических наук, профессор
Владимир Александрович Плунгян
Екатерина Владимировна Рахилина
Виктор Антонович Садовничий
доктор физико-математических наук, профессор
Алексей Львович Семёнов
Email: alsemno@ya.ru
доктор физико-математических наук, профессор
Сергей Георгиевич Татевосов
Владимир Михайлович Тихомиров
Email: vmtikh@googlemail.com
доктор физико-математических наук, профессор
Александр Ханиевич Шень
Email: sasha.shen@gmail.com
кандидат физико-математических наук
Список литературы
- Страница В. А. Успенского на сайте mathnet.ru: par
- Страница В. А. Успенского на сайте кафедры математической логики итеории алгоритмов мехмата МГУ: par
- “Геометрический вывод основных свойств гармонических функций”, УМН, 4:2(30) (1949), 201–205
- Общее определение алгоритмической вычислимости и алгоритмической сводимости, Дипл. работа, МГУ, мех.-матем ф-т, М., 1952, 90 с.
- Математические беседы, ГИТТЛ, М.–Л., 1952 (совм. с Е. Б. Дынкиным), 288 с.
- “О вычислимых операциях”, Докл. АН СССР, 103:5 (1955), 773–776
- “Системы перечислимых множеств и их нумерации”, Докл. АН СССР, 105:6 (1955), 1155–1158
- Об операциях над перечислимыми множествами, Дисс. … канд. физ.-матем. наук, МГУ, мех.-матем. ф-т, М., 1955
- “Вычислимые операции и понятие программы (резюме доклада)”, в ст. “Заседания Московского математического общества”, УМН, 11:4(70) (1956), 172–176
- “К определению алгоритма”, УМН, 13:4(82) (1958), 3–28 (совм. с А. Н. Колмогоровым)
- Некоторые приложения механики к математике, Физматлит, М., 1958, 48 с.
- “К вопросу о соотношении между различными системами конструктивных действительных чисел”, Изв. вузов. Матем., 1960, № 2, 199–208
- Лекции о вычислимых функциях, Физматгиз, М., 1960, 492 с.
- Треугольник Паскаля, Наука, М., 1966, 34 с.
- “Теорема Гeделя о неполноте в элементарном изложении”, УМН, 29:1(175) (1974), 3–47
- Машина Поста, Наука, М., 1979, 96 с.
- Теорема Гeделя о неполноте, Наука, М., 1982, 112 с.
- Нестандартный, или неархимедов, анализ, Знание, М., 1983, 62 с.
- “Математическая логика в вычислительных науках и вычислительной практике”, Вестн. АН СССР, 56:7 (1986), 93–103 (совм. с А. Л. Семeновым)
- Что такое нестандартный анализ?, Наука, М., 1987, 128 с.
- Теория алгоритмов: основные открытия и приложения, Наука, М., 1987 (совм. с А. Л. Семeновым), 288 с.
- “Алгоритмы и случайность”, Теория вероятн. и ее примен., 32:3 (1987), 425–455 (совм. с А. Н. Колмогоровым)
- “Может ли (индивидуальная) последовательность нулей и единиц быть случайной?”, УМН, 45:1(271) (1990), 105–162 (совм. с А. Л. Семeновым, А. Х. Шенем)
- “Mathematical metaphysics of randomness”, Theoret. Comput. Sci., 207:2 (1998), 263–317 (with An. A. Muchnik, A. L. Semenov)
- Что такое аксиоматический метод?, НИЦ “Регулярная и хаотическая динамика”, Ижевск, 2001, 96 с.
- “Четыре алгоритмических лица случайности”, Матем. просвещение, сер. 3, 10, МЦНМО, М., 2006, 71–108
- Апология математики, Амфора, СПб., 2009, 554 с.
- Простейшие примеры математических доказательств, МЦНМО, М., 2009, 56 с.
- Колмогоровская сложность и алгоритмическая случайность, МЦНМО, М., 2013 (совм. с Н. К. Верещагиным, А. Шенем), 575 с.
- Труды по нематематике, В пяти книгах, 2-е изд., испр. и доп., ОГИ, “Математические этюды”, М.
- Математика в современном мире, Сб. пер., под ред. и с предисл. В. А. Успенского, Мир, М., 1967, 202 с.
- Х. Роджерс, Теория рекурсивных функций и эффективная вычислимость, ред. пер. В. А. Успенский, Мир, М., 1972, 624 с.
- А. П. Ершов, В. М. Монахов (ред.), Основы информатики и вычислительной техники, Ч. 1, Просвещение, М., 1985, 96 с.
- R. M. Friedberg, H. Rogers, Jr., “Reducibility and completeness for sets of integers”, Z. Math. Logik Grundlagen Math., 5:7-13 (1959), 117–125
- А. А. Марков, “Теория алгорифмов”, Тр. МИАН СССР, 42, Изд-во АН СССР, М.–Л., 1954, 3–375
- Ан. А. Мучник, “Об основных структурах дескриптивной теории алгоритмов”, Докл. АН СССР, 285:2 (1985), 280–283
- J. Myhill, “A fixed point theorem in recursion theory (abstract)”, in “Eighteenth meeting of the association for symbolic logic”, J. Symbolic Logic, 20:2 (1955), 205
- J. Myhill, J. C. Shepherdson, “Effective operations in partial recursive functions”, Z. Math. Logik Grundlagen Math., 1 (1955), 310–317
- H. G. Rice, “Classes of recursively enumerable sets and their decision problems”, Trans. Amer. Math. Soc., 74:2 (1953), 358–366
- H. G. Rice, “On completely recursively enumerable classes and their key arrays”, J. Symbolic Logic, 21:3 (1956), 304–308
- H. Rogers, Jr., “Gödel numberings of partial recursive functions”, J. Symbolic Logic, 23:3 (1958), 331–341
- A. Шень, “Аксиоматический подход к теории алгоритмов и относительная вычислимость”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1980, № 2, 27–29
- А. А. Зализняк, Русское именное словоизменение, Наука, М., 1967, 372 с.
Дополнительные файлы
