УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ
Опубликовано чт, 09/05/2024 - 00:08 пользователем Гость (не проверено)Статья посвящена рассмотрению текущего состояния конструктивистского и структуралистского направлений в философии математики. Обосновывается взаимосвязь указанных направлений в рамках теоретико-типового подхода к основаниям математики через рассмотрение понятий изоморфизма, инварианта и структуры. Особо обсуждаются аксиома унивалентности и современное теоретико-типовое понятие равенства.