Успенский Владимир Андреевич

(27.11.1930, г. Москва – 27.06.2018). Окончил механико-математический факультет МГУ (1952).

Кандидат физико-математических наук (1955). Доктор физико-математических наук (1964).

Профессор (1967–1994), заведующий кафедрой математической логики/математической логики и теории алгоритмов (1994–2018) механико-математического факультета.

Заслуженный профессор Московского университета (1998).

Область научных интересов: математическая логика и основания математики.

Тема кандидатской диссертации «Об операциях над перечислимыми множествами».

Читал курсы «Что такое число?», «Введение в математическую логику», «Вычислимые функции», «Аксиоматический метод», «Нестандартный анализ», «Язык математики», «Теорема Гёделя о полноте».

Основные труды: «Семантические аспекты информатики» (соавт., 1974), «Машина Поста» (1979), «Нестандартный, или неархимедов анализ» (1983), «Теория алгоритмов: основные открытия и приложения» (соавт., 1987), «Что такое нестандартный анализ?» (1987), «Труды по НЕматематике. В 2-х т.» (2002), «Труды по НЕматематике. В 5 кн. Кн. 4. Филология (с приложением “Семиотических посланий” А.Н.Колмогорова)» (2012), «Труды по НЕматематике. Кн. 3. Языкознание» (2013), «Колмогоровская сложность и алгоритмическая случайность» (соавт., 2013), «Апология математики» (2017), учебное пособие «Вводный курс математической логики» (соавт., 1991).