В чем заключается вклад Успенского в современную математическую логику?

Вклад Владимира Андреевича Успенского в современную математическую логику заключается в нескольких направлениях:

• Предложение машинно-независимого определения относительной вычислимости. www.academia.edu publications.hse.ru Успенский доказал, что его определение равносильно другим, в том числе определению в терминах частично рекурсивного замыкания. publications.hse.ru Сейчас машинно-независимое определение относительной вычислимости считается стандартным. publications.hse.ru
• Введение понятия главной нумерации. www.academia.edu publications.hse.ru Успенский понял, что вместо конкретной нумерации, связанной с той или иной вычислительной моделью, можно рассматривать любую нумерацию, удовлетворяющую некоторым естественным требованиям. www.academia.edu publications.hse.ru
• Исследование связей понятия алгоритма с частично-рекурсивными функциями. old.mccme.ru Работы Успенского привели к появлению понятия алгоритма Колмогорова — Успенского, которое вошло в современную литературу по логике. old.mccme.ru
• Осмысление работ Колмогорова по сложности конечных объектов. www.academia.edu Итогом деятельности Успенского по осмыслению работ Колмогорова стал совместный доклад, который был прочитан Успенским в 1986 году в Ташкенте на Всемирном конгрессе Общества Бернулли. www.academia.edu
• Популяризация математической логики. www.academia.edu publications.hse.ru Успенский написал несколько популярных брошюр, посвящённых темам из математической логики и теории алгоритмов, например «Машина Поста» и «Теорема Гёделя о неполноте». www.academia.edu publications.hse.ru

Таким образом, без работ Успенского, по мнению некоторых исследователей, советская (российская) математическая логика (включая теорию алгоритмов) была бы совсем другой. www.academia.edu