Михаил Александрович Раскин
Множество условностей и условность множеств
М.А.Раскин планирует провести 4 занятия
Все мы знаем, что математика доказывает импликации. Другими словами, мы доказываем не то, что какое-то утверждение верно, а то, что оно следует из принятых нами аксиом. Но при этом часто недооценивается, насколько сильно можно поменять набор аксиом.
Одно из базовых понятий математики, на которых видна степень условности выбора конкретного набора аксиом — понятие множества. Сначала оно казалось совершенно очевидным. К сожалению, этот подход привёл к противоречиям. После этого стали развиваться разные способы работать со множествами не приходя к парадоксам.
Понятие множества используется во многих разделах математики, из-за чего работать со множествами обычно учат постепенно, по кусочкам добавляя факты как естественные и самоочевидные основы, пока не получится теория, носящая имя ZFC. Из-за этого часто оказывается заметён под ковёр тот факт, что ZFC лишь один из возможных вариантов и что замена оснований теории множеств совсем не обязана рушить другие разделы математики. Курс будет посвящён рассказу о том, что может быть проблемой при пользовании какой-то аксиоматикой и сколь разнообразны варианты.
В курсе простые вещи будут доказываться, а сложные — приниматься на веру; так будет сделано не только для того, чтобы легче обманывать легковерных участников, но и для того, чтобы показать связи между далеко разбросанными темами без чтения по каждой семестрового курса.
Предварительные требования будут изменены в соответствии со знаниями и интересами аудитории; я надеюсь, что обозначения →, ∀, ∨, ∈, ∈, ∪, … всё же всем знакомы и привычны настолько, что ошибочно кажутся понятными.
Планируемая программа курса
- Пятый постулат геометрии как пример оспаривавшейся аксиомы. Что такое «на самом деле» и есть ли правда? Как сравнивать непротиворечивость.
- Наивная теория множеств: вопросы с двумя противоречащими ответами и вопросы без ответов. Гипотеза континуума.
- Скользкая дорожка: что и насколько мы можем определить, и что из этого нам понадобится ещё до того, как мы поймём слово «определение»? Почему важно, что же такое натуральные числа: PA и Q, или сколько надо для аксиоматизации понятия аксиомы.
- Что такое ZFC и откуда в её названии каждая из букв. Естественность и неестественность того, во что мы хотим поверить.
- Тонкая настройка: что такое аксиома выбора, можно ли от неё отказаться наполовину и что нам за это будет.
- С головой в омут: теория типов, теория множеств «New Foundations» и их варианты. Как ввести множество всех множеств без парадоксов и можно ли вводить правила по мере надобности, а не сразу списком.
- Опять к тому, зачем всё это: что надо математике от теории множеств и всякая ли теория множеств может это дать? Как замаскировать вопрос по теории множеств под вопрос по математике.
- Конкретность моделей и иллюзии высшего порядка: как заменить познаваемое, хотя и непознанное, на что-то, о чём нельзя даже сказать.
- Далее везде: ординалы, числа и числа Конвея, или почему каждый шаг в построении математики можно пройти по-разному.
Программа курсов и семинаров МЦНМО-НМУ в весеннем семестре 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 курсов.