Потенциальная и актуальная бесконечность. Наивная теория множеств Кантора. Мощность. Парадоксы теории множеств. Интуиционизм, логицизм, формализм. Теория доказательств. Программа Гильберта. Аксиоматики ZFC, ZFD, NBG. Полнота и непротиворечивость формальных систем, теоремы Геделя. Современное состояние оснований математики. Дополнительный материал к выпуску: @makarsvet13-poyasnenie-k-roliku-o-teorii-mnozhestv
Hide player controls
Hide resume playing