|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/dubna/2013/courses/raskin.htm
Дата изменения: Mon May 20 14:52:44 2013 Дата индексирования: Fri Feb 28 00:59:50 2014 Кодировка: UTF-8 Поисковые слова: сатурн |
| На главную страницу ЛШСМ-2013 | К списку курсов ЛШСМ-2013 |
Михаил Александрович РаскинМножество условностей и условность множествМ.А.Раскин планирует провести 4 занятия |
Все мы знаем, что математика доказывает импликации. Другими словами, мы доказываем не то, что какое-то утверждение верно, а то, что оно следует из принятых нами аксиом. Но при этом часто недооценивается, насколько сильно можно поменять набор аксиом.
Одно из базовых понятий математики, на которых видна степень условности выбора конкретного набора аксиом ? понятие множества. Сначала оно казалось совершенно очевидным. К сожалению, этот подход привел к противоречиям. После этого стали развиваться разные способы работать со множествами не приходя к парадоксам.
Понятие множества используется во многих разделах математики, из-за чего работать со множествами обычно учат постепенно, по кусочкам добавляя факты как естественные и самоочевидные основы, пока не получится теория, носящая имя ZFC. Из-за этого часто оказывается заметен под ковер тот факт, что ZFC лишь один из возможных вариантов и что замена оснований теории множеств совсем не обязана рушить ругие разделы маематики. Курс будет посвящен рассказу о том, что может быть проблемой при пользовании какой-то аксиоматикой и сколь разнообразны варианты.
В курсе простые вещи будут доказываться, а сложные ? приниматься на веру; так будет сделано не только для того, чтобы легче обманывать легковерных участников, но и для того, чтобы показать связи между далеко разбросанными темами без чтения по каждой семестрового курса.
Предварительные требования будут изменены в соответствии со знаниями и интересами аудитории; я надеюсь, что обозначения ?, ?, ?, ?, ?, ?, ? все же всем знакомы и привычны настолько, что ошибочно кажутся понятными.
Планируемая программа курса
- Пятый постулат геометрии как пример оспаривавшейся аксиомы. Что такое ?на самом деле? и есть ли правда? Как сравнивать непротиворечивость.
- Наивная теория множеств: вопросы с двумя противоречащими ответами и вопросы без ответов. Гипотеза континуума.
- Скользкая дорожка: что и насколько мы можем определить, и что из этого нам понадобится еще до того, как мы поймем слово ?определение?? Почему важно, что же такое натуральные числа: PA и Q, или сколько надо для аксиоматизации понятия аксиомы.
- Что такое ZFC и откуда в ее названии каждая из букв. Естественность и неестественность того, во что мы хотим поверить.
- Тонкая настройка: что такое аксиома выбора, можно ли от нее отказаться наполовину и что нам за это будет.
- С головой в омут: теория типов, теория множеств ?New Foundations? и их варианты. Как ввести множество всех множеств без парадоксов и можно ли вводить правила по мере надобности, а не сразу списком.
- Опять к тому, зачем все это: что надо математике от теории множеств и всякая ли теория множеств может это дать? Как замаскировать вопрос по теории множеств под вопрос по математике.
- Конкретность моделей и иллюзии высшего порядка: как заменить познаваемое, хотя и непознанное, на что-то, о чем нельзя даже сказать.
- Далее везде: ординалы, числа и числа Конвея, или почему каждый шаг в построении математики можно пройти по-разному.