Название спецкурса на русском языке
Доказуемость и формальная арифметика
Перевод названия курса на английский язык
Provability and formal arithmetic
Авторы курса
Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полугодовой, осень
Тип курса
Спецкурс по выбору кафедры
Аннотация
Курс посвящен введению в одну из наиболее важных формальных систем – арифметику Пеано – и доказательству некоторых относящихся к ней классических результатов.

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

Курс рассчитан на студентов, прослушавших вводный курс математической логики.
Как проходит
Вторник 14:45 – 16:10. МИАН, комн. 430 (ул. Губкина, 8) + Zoom. Первое занятие: 14 сентября.
Учебный год
2021/22
Дополнительная информация

Записаться на курс, посмотреть видеозаписи, контакты:
http://www.mathnet.ru/conf1991