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

Теорема Гёделя — синтаксическая версия

В.А.Успенский планирует прочесть 1 лекцию

Знаменитая Теорема Гёделя о неполноте имеет две версии — синтаксическую (объявленную и доказанную самим Гёделем) и семантическую (чаще всего фигурирующую в популярных рассуждениях о великой Теореме). Семантическая версия утверждает, что какую бы систему формальных доказательств ни придумать, в языке найдутся истинные утверждения, не доказуемые в рамках предложенной системы.

Таким образом, семантическая версия исходит из того, что некоторые выражения языка выражают осмысленные утверждения, являющиеся истинными или ложными. Синтаксическая версия не опирается на то, что какие бы то ни было выражения языка имеют какой-то смысл, она смотрит на выражения как на синтаксические конструкции, то есть как на цепочки символов, организованные по определённым правилам. Синтаксическая версия Теоремы Гёделя утверждает, что какую бы систему формальных доказательств ни придумать, в языке найдутся такие выражения, что ни их самих, ни их отрицания невозможно доказать в рамках предложенной системы.

Разумеется, обе версии предполагают выполнение некоторых естественных ограничений, налагаемых как на рассматриваемый язык, так и на систему формальных доказательств.

Среди таких ограничений центральное место занимает предположение о непротиворечивости языка. Для семантической версии нужна семантическая непротиворечивость, означающая, что никакое ложное утверждение не может быть доказуемым. Для синтаксической версии нужна синтаксическая непротиворечивость, означающая невозможность того, чтобы одновременно оказались бы доказуемыми и какое-то выражение и его отрицание.

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

Когда Гёдель и Россер излагали свои теоремы, ещё не родилась теория алгоритмов. А она позволяет сделать более прозрачным изложение синтаксической версии — как в первоначальной гёделевской формулировке, то есть в предположении омега-непротиворечивости, так и в последующей россеровской формулировке, то есть в в предположении простой непротиворечивости.

Программа курсов и семинаров МЦНМО-НМУ в весеннем семестре 2024/2025 года

Расписание занятий в этом семестре

Курсы, читавшиеся в НМУ в разные годы (All Courses)

Если не указано иное, то начало занятий 7 февраля 2025.

Все обязательные курсы, почти все спецкурсы и некоторые доклады на спецсеминарах будут записываться на видео. Они будут доступны на общедоступном ресурсе.

К ВИДЕО-записям курсов этого семестра

Обязательные курсы

Первый курс

Константин Валерьевич Логинов

Алгебра-2

читается по понедельникам с 17:30, очно+трансляция.

 

Георгий Черных

Топология-1

читается по четвергам с 17:30, очно+трансляция.

 

Олег Карлович Шейнман

Математический анализ-2

читается по пятницам с 17:30, очно+трансляция.

 

Второй курс

Тарас Евгеньевич Панов

Топология-3

читается по понедельникам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Викторович Пенской

Дифференциальная геометрия

читается по средам с 17:30 (семинары с 19:20), очно+трансляция

 

Алексей Игоревич Ильин

Алгебра-4 (Группы и алгебры Ли)

читается по четвергам с 17:30, очно+трансляция.

 

Список спецкурсов и спецсеминаров в весеннем семестре 2024/2025 года

Михаил Юрьевич Розенблюм

Алгебраическая теория чисел: введения. Продолжение годового спецкурса

 

Денис Николаевич Терешкин

Аддитивные и абелевы категории. Спецкурс рекомендован для 3-5 курсов.

 

Константин Валерьевич Логинов

Введение в ограниченность многообразий Фано. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Игоревич Шарыгин

Циклические гомологии и их применения. Спецкурс рекомендован для 3-5 курсов.

 

Андроник Арамович Арутюнов

Грубая геометрия. Спецкурс в формате лекция + семинар, рекомендован для 3-5 курсов.

 

Андрей Дмитриевич Рябичев

Введение в поверхности бесконечного типа. Спецкурс рекомендован для 3-5 курсов.

 

Георгий Борисович Шабат

Тэта-функции и решетки. Часть 2. Спецкурс рекомендован для 3-5 курсов.

 

Тарас Евгеньевич Панов

Торическая топология, комбинаторика и теория гомотопий. Спецсеминар

 

Георгий Игоревич Шарыгин и др.

Деформационное квантование и квантовые группы. Спецсеминар

 

А.М.Вербовецкий и И.С.Красильщик

Когомологические аспекты геометрии дифференциальных уравнений,
руководители А.М.Вербовецкий и И.С.Красильщик

 

Николай Германович Мощевитин

Диофантовы приближения. Спецсеминар рекомендован для 3-5 курсов

 

Владимир Олегович Медведев

Геометрия общей теории относительности. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов. 

 

Алексей Викторович Пенской

Риманова геометрия. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов.

 

Александр Борисович Калмынин

Методы решета. Спецкурс рекомендован для 3-5 курсов.

 

Алексей Викторович Пенской

 Спектральная геометрия. Спецсеминар рекомендован для 3-5 курсов.