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