Конденсированная математика: зачем Шольце и Клаузен перестраивают основы топологии
В современной математике развивается один из самых амбициозных фундаментальных проектов последних лет — condensed mathematics,
Читать далееРубрика: Математическая логика
Теоремы Гёделя о неполноте: где проходят границы математики, логики и физики
В 1931 году 25-летний австрийский логик и математик Курт Гёдель доказал две теоремы, которые радикально
Читать далее