НГУ
http://forum.nsu.ru/

Булевозначный анализ и гипотеза континуума (спецкурс)
http://forum.nsu.ru/viewtopic.php?f=24&t=23698
Страница 1 из 4

Автор:  AGu [ Вс мар 03, 2013 6:40 pm ]
Заголовок сообщения:  Булевозначный анализ и гипотеза континуума (спецкурс)

Ваш покорный (А. Е. Гутман, профессор кафедры математического анализа)
в принципе готов к тому, чтобы приступить к чтению спецкурса

Булевозначный анализ и гипотеза континуума

Булевозначный анализ — это совокупность аналитических приложений
науки, занимающейся булевозначными моделями теории множеств.

Булевозначная модель теории — это, грубо говоря, модель теории,
в которой значениями истинности являются не просто "да" и "нет",
а элементы некоторой булевой алгебры. (Стало быть, в такой модели
утверждения могут быть не только истинными или ложными,
но и, скажем, слегка истинными или изрядно ложными.)

Гипотеза континуума — это утверждение о том, что любое бесконечное
подмножество континуума является либо счетным, либо континуальным.

Проблема континуума — это вопрос о доказуемости гипотезы континуума
или ее отрицания.

Решение проблемы континуума состоит в доказательстве утверждения
о том, что ни гипотеза континуума, ни ее отрицание не доказуемы
(в предположении о непротиворечивости теории множеств, разумеется).

Цель спецкурса — освоить основы теории булевозначных моделей
и с их помощью решить "половину" проблемы континуума —
доказать, что гипотеза континуума недоказуема.

Достигать эту цель мы будем без спешки, основательно — настолько
основательно, насколько позволяют современные основания математики.
Поэтому, как мне думается, спецкурс может оказаться полезным
не только тем, кто просто интересуется логикой (или теорией множеств),
но и тем, кто этой логикой уже вовсю занимается. Например, мы
в подходящий момент вспомним фрагменты теории формальных языков,
поговорим о консервативных и элиминируемых расширениях теорий,
несколько раз всуе помянем имена Тарского и Гёделя,
выясним, что такое модель одной теории в другой теории...
Короче, будет весело. Где еще представится возможность так
основательно покопаться в основаниях, чтобы, например, заценить
определение того, что такое определение? А у нас оно тоже будет.

Требования к потенциальным слушателям весьма скромны.
Достаточно владеть самыми базовыми знаниями в области логики
и теории моделей и обладать отсутствием брезгливости к формализму.
Эти требования легко выполнимы уже нынешними первокурсниками,
коль скоро первый семестр включает исчисление предикатов.

Расписание пока отсутствует и обсуждается. Ясно лишь, что
встречаться мы будем где-то в Институте математики. Думаю,
мы не перетрудимся, если будем работать по две пары в неделю.
(И тогда, кстати, спецкурс будет считаться годовым.)

Давайте попробуем прямо здесь, на форуме, сформировать стартовый
круг пользователей и наметить удобный момент для первой лекции.
Если возникнет несколько предложений, можно будет и проголосовать.

Для затравки предлагаю среду, 13 марта, часов в 18:00.
(Не нравится затравка? Предлагайте свою.)

Автор:  Annya [ Вс мар 03, 2013 9:16 pm ]
Заголовок сообщения: 

Я хочу, я хочу, я хочу!!! )))
только вот подходит всё, кроме понедельника и среды, в это время. В среду можно на пару пораньше. Тогда всё хорошо.

Автор:  tom-anjelo [ Вс мар 03, 2013 9:24 pm ]
Заголовок сообщения: 

Хотелось бы посещать спецкурс, но вот затравка не подходит по времени... Любой другой день бы подошел, или другое время для среды, скажем в 16:00

Автор:  P_Roman [ Пт мар 08, 2013 8:26 pm ]
Заголовок сообщения: 

Да, было бы удобно в среду, но на пару раньше.

Автор:  AGu [ Вс мар 10, 2013 12:47 pm ]
Заголовок сообщения: 

Коль скоро во всех поступивших на данный момент откликах
высказывается пожелание сдвинуть лекцию на пару раньше,
иду навстречу и предлагаю встретиться
в среду, 13 марта, в 16:15
(по-прежнему где-то в Институте математики).

На всякий случай уточняю: пока речь идет лишь о первой лекции.
Так что, если эта дата/время Вас не устраивает, просто
постарайтесь выбраться один разок на первую лекцию --
чтобы получить возможность повлиять на будущее расписание.
В конце лекции мы предпримем организационное исследование
и попробуем вычислить пересечение наших возможностей.
Если оно окажется непустым, применим аксиому выбора,
а в противном случае воспользуемся принципом Дирихле.

Автор:  AGu [ Пн мар 11, 2013 11:49 am ]
Заголовок сообщения: 

Итак, первая лекция состоится
в среду, 13 марта, в 16:15
в ауд. 115 Института математики
Дальнейшее расписание определим при встрече.

Автор:  AGu [ Чт мар 14, 2013 12:54 pm ]
Заголовок сообщения: 

В результате "голосования крестиками" сформировалось следующее расписание:

среда, 16:15, ауд. 115 (ИМ)
суббота, 16:15, ауд. 417 (ИМ)


Стало быть, очередная лекция состоится 16 марта в 16:15 в ауд. 417 ИМ.

Автор:  AGu [ Сб апр 27, 2013 7:44 pm ]
Заголовок сообщения: 

Итак, выбираем дату проведения экзамена.

Ограничение экзаменатора: не понедельник, не 3 мая, не 14 мая, не 16 мая, не 17 мая.
По понятным причинам ограничения, выдвигаемые 4-курсниками, имеют высокий приоритет.

Для затравки предлагаю 12 мая (воскресенье) в 11:00.

Автор:  tarantul [ Сб апр 27, 2013 8:43 pm ]
Заголовок сообщения: 

Возражение от студентов 4 курса.
12 мая у нас будет экзамен, 14 мая - предзащита. Вообще говоря, сессия у нас заканчивается где-то 23 мая, но не думаю, что это время будет удобным для студентов других курсов.
Поэтому предлагаю провести экзамен 7 мая.

Автор:  NITERO [ Вс апр 28, 2013 1:49 am ]
Заголовок сообщения: 

Если 7 мая, то во сколько? А как насчёт 2-ого? В почти любое время

Автор:  tarantul [ Вс апр 28, 2013 9:31 am ]
Заголовок сообщения: 

2 мая тоже может подойти. Правда, 5 у нас будет еще один экзамен, но думаю, что оставшихся дней на подготовку к нему должно хватить. Время подходит практически любое, так как в мае у нас занятий нет и весь месяц посвящен сессии и оформлению диплома.

Автор:  AGu [ Вс апр 28, 2013 4:43 pm ]
Заголовок сообщения: 

Откровенно говоря, 2 мая нам с вахтерами не очень нравится.
Стало быть, новое предложение: 7 мая (вторник) в 11:00.

Смотрите... Конец мая тоже вполне себе годится.
К примеру, 18, 19, 25, 26 мая — они все точно хуже 7 мая?

Автор:  sephirah [ Пт май 03, 2013 7:17 pm ]
Заголовок сообщения: 

я бы предпочла 18-19. позже велик риск оказаться под завалом всех остальных зачетов и всяких там досрочных экзаменов, а так вполне себе.

Автор:  Absurd [ Пт май 03, 2013 10:04 pm ]
Заголовок сообщения: 

От лица первокурсников осмелюсь сказать, что 18-19 лучше, чем 7-ое. И 18-ое лучше, чем 19-ое. И 18-ого лучше где-то в 14:00.

Автор:  tarantul [ Пт май 03, 2013 10:10 pm ]
Заголовок сообщения: 

Я тоже не против 18-19.

Страница 1 из 4 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/