НГУ

Форумы НГУ
Текущее время: Пт сен 22, 2017 4:56 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу 1, 2, 3, 4  След.
Автор Сообщение
СообщениеДобавлено: Вс мар 03, 2013 6:40 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
Ваш покорный (А. Е. Гутман, профессор кафедры математического анализа)
в принципе готов к тому, чтобы приступить к чтению спецкурса

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

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

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

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

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

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

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

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

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

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс мар 03, 2013 9:16 pm 
Не в сети
Редкий гость

Зарегистрирован: Чт дек 29, 2011 7:35 pm
Сообщения: 8
Я хочу, я хочу, я хочу!!! )))
только вот подходит всё, кроме понедельника и среды, в это время. В среду можно на пару пораньше. Тогда всё хорошо.


Последний раз редактировалось Annya Вс мар 03, 2013 9:51 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс мар 03, 2013 9:24 pm 
Не в сети
Частый гость

Зарегистрирован: Ср авг 18, 2010 4:22 pm
Сообщения: 25
Откуда: Панасенко Александр
Хотелось бы посещать спецкурс, но вот затравка не подходит по времени... Любой другой день бы подошел, или другое время для среды, скажем в 16:00


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт мар 08, 2013 8:26 pm 
Не в сети
Редкий гость

Зарегистрирован: Пт мар 08, 2013 8:25 pm
Сообщения: 1
Да, было бы удобно в среду, но на пару раньше.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс мар 10, 2013 12:47 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
Коль скоро во всех поступивших на данный момент откликах
высказывается пожелание сдвинуть лекцию на пару раньше,
иду навстречу и предлагаю встретиться
в среду, 13 марта, в 16:15
(по-прежнему где-то в Институте математики).

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


Последний раз редактировалось AGu Ср мар 13, 2013 11:03 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн мар 11, 2013 11:49 am 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
Итак, первая лекция состоится
в среду, 13 марта, в 16:15
в ауд. 115 Института математики
Дальнейшее расписание определим при встрече.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт мар 14, 2013 12:54 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
В результате "голосования крестиками" сформировалось следующее расписание:

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


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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Сб апр 27, 2013 7:44 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
Итак, выбираем дату проведения экзамена.

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Сб апр 27, 2013 8:43 pm 
Не в сети
Редкий гость

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс апр 28, 2013 1:49 am 
Не в сети
Редкий гость

Зарегистрирован: Ср июл 04, 2012 2:50 pm
Сообщения: 2
Откуда: Екатерина
Если 7 мая, то во сколько? А как насчёт 2-ого? В почти любое время


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс апр 28, 2013 9:31 am 
Не в сети
Редкий гость

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс апр 28, 2013 4:43 pm 
Не в сети
Опытный автор

Зарегистрирован: Пн май 02, 2005 7:27 pm
Сообщения: 433
Откровенно говоря, 2 мая нам с вахтерами не очень нравится.
Стало быть, новое предложение: 7 мая (вторник) в 11:00.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт май 03, 2013 7:17 pm 
Не в сети
Редкий гость

Зарегистрирован: Пт май 03, 2013 7:14 pm
Сообщения: 1
я бы предпочла 18-19. позже велик риск оказаться под завалом всех остальных зачетов и всяких там досрочных экзаменов, а так вполне себе.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт май 03, 2013 10:04 pm 
Не в сети
Редкий гость

Зарегистрирован: Пт май 03, 2013 9:56 pm
Сообщения: 2
От лица первокурсников осмелюсь сказать, что 18-19 лучше, чем 7-ое. И 18-ое лучше, чем 19-ое. И 18-ого лучше где-то в 14:00.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт май 03, 2013 10:10 pm 
Не в сети
Редкий гость

Зарегистрирован: Сб апр 27, 2013 8:34 pm
Сообщения: 5
Я тоже не против 18-19.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу 1, 2, 3, 4  След.

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB