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