I. Основания математики: теория множеств vs. теория типов

Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «I. Основания математики: теория множеств vs. теория типов» (8 февраля 2022 г.) из раздела «Современный теоретико-типовой подход к основаниям математики» курса "История и философия науки" для слушателей Института переподготовки и повышения квалификации Уральского федерального университета им. первого Президента России Б.Н.Ельцина.