Курс читается в рамках программы базовой кафедры МИАН "Методы современной математики" в Московском физико-техническом институте.

Курс посвящен введению в одну из наиболее важных формальных систем – арифметику Пеано – и доказательству некоторых относящихся к ней классических результатов. Это теоремы о представимости вычислимых функций в формальной арифметике, результаты о доказуемости в арифметике (теоремы Гёделя о неполноте, теорема Лёба), теоремы Тарского о невозможности определения арифметической истинности в языке арифметики, теоремы Черча о неразрешимости формальной арифметики и исчисления предикатов. Введение в логику доказуемости. Также изучаются нестандартные модели формальной арифметики и доказывается теорема Теннебаума об изоморфизме всех рекурсивных моделей стандартной.

Курс рассчитан на студентов, прослушавших вводный курс математической логики.

Лекции будут транслироваться в YouTube и/или Zoom.

Расписание на осенний семестр 2022/2023 учебного года:

Время занятий: вторник 14:45 – 16:10

Первое занятие: 13 сентября

Последнее занятие: 12 декабря

Программа экзамена

Доказуемость и формальная арифметика 2022

Материалы курса

Лекции 2020 года (теоремы Гёделя и Россера)

Задачи к экзамену

Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).

Лекторы
Беклемишев Лев Дмитриевич
Яворская Татьяна Леонидовна

Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)