Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
Продолжаются встречи курса по теории множеств. Целью ближайшей встречи будет доказательство факта, что при условии аксиомы выбора любые два множества сравнимы по мощности. Для этого нам предстоит сначала доказать теорему Цермело (любое множество может быть вполне упорядочено), а затем показать, что из любых двух вполне упорядоченных множеств одно изоморфно начальному отрезку другого.
Продолжаются встречи курса по теории множеств. Целью ближайшей встречи будет доказательство факта, что при условии аксиомы выбора любые два множества сравнимы по мощности. Для этого нам предстоит сначала доказать теорему Цермело (любое множество может быть вполне упорядочено), а затем показать, что из любых двух вполне упорядоченных множеств одно изоморфно начальному отрезку другого.
Аксиоматическая теория множеств — это формальная теория, которая служит фундаментом для большинства существующих разделов математики. Через теорию множеств можно формально определить числа и операции над ними. Математический анализ, линейная алгебра, теория групп, колец и полей, теория чисел, теория вероятностей, многие разделы геометрии, комбинаторика, теория графов и теория алгоритмов — все это опирается на теорию множеств, когда речь заходит о формальных доказательствах чего-либо.
От слушателей ожидается умение записывать и читать утверждения с кванторами, а также владение базовыми понятиями мат. логики и дискретной математики.
Ведущий — Илья Мещерин.
Встреча пройдёт в среду 24 апреля, в 20:00, в антикафе Кочерга.