Математика как иностранный. В1-5. Аксиоматика ZF.
1. Обсуждаем наследственно-конечные множества и их скобочные записи, а также кодировку таких множеств силами арифметики Пеано.
2. Вводим в сигнатуру обычные операторы для множеств и терм-свертку.
3. Переписываем первые 5 аксиом с учетом новых обозначений и дополняем список до современной системы ZF:
- аксиомы равенства
- аксиома пары
- аксиома объединения
- аксиома степени
- схема аксиом выделения
- схема аксиом подстановки
- аксиома регулярности
4. Показываем, что аксиомы пары и выделения можно вывести из остальных аксиом (точнее, из подстановки и степени).
5. Рассуждаем о фундированности отношения ∈ и порождаемом им частичном порядке.
На обложке книга - James M. Henle. An Outline of Set Theory. Есть на русском языке. Тонкая, но очень хорошая книжка.
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Математика как иностранный. В1-5. Аксиоматика ZF.», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.