Решение парадокса Рассела: рождение ZFC и конструктивная теория множеств | aboutlogic: premises #07

Решение парадокса Рассела: рождение ZFC и конструктивной теории множеств Как математики решили парадокс Рассела и спасли теорию множеств? В этом эпизоде ​​aboutlogic: посылки Дениз и Торстен исследуют решения, которые изменили основы математики. От аксиом Цермело-Френкеля (ZFC) до конструктивных теорий множеств (IZF, CZF). Узнайте, как большие кардиналы, гипотеза континуума и итеративная концепция множеств стали центральными элементами современной теории множеств и почему некоторые математики до сих пор предпочитают теорию типов из-за ее структурных и вычислительных преимуществ. Ваша поддержка помогает нам продолжать эти беседы! Если вы хотите внести свой вклад, вы можете купить нам кофе здесь: https://buymeacoffee.com/aboutlogic Или стать участником канала здесь, на YouTube. Мы будем рады вашей поддержке! Слушайте подкаст на ходу: https://aboutlogic.podigee.io/ Дополнительная литература и ресурсы: Получите книгу HoTT бесплатно (без рекламы): https://homotopytypetheory.org/book/ Торстен Альтенкирх: http://www.cs.nott.ac.uk/~psztxa/ Дениз Сарикая: https://www.denizsarikaya.de/ Креативное производство: Ян-Никлас Майер: http://www.jammos.com/ Присоединяйтесь к обсуждению: Есть вопросы или мысли, которыми вы хотите поделиться? Оставьте комментарий ниже и примите участие в обсуждении с другими зрителями и экспертами.