Л. Д. Ламберов Статья посвящена рассмотрению текущего состояния конструктивистского и структуралистского направлений в философии математики. Обосновывается взаимосвязь указанных направлений в рамках теоретико-типового подхода к основаниям математики через рассмотрение понятий изоморфизма, инварианта и структуры. Особо обсуждаются аксиома унивалентности и современное теоретико-типовое понятие равенства.
Научная статья 
вычисление Дата публикации:
2018
Серия:
Том (volume):
16
Выпуск (issue):
1
Страницы:
20-32
Идентификатор:
oai:oai.sibphil.elpub.ru:article/50
https://sibphil.elpub.ru/jour/article/view/50
10.25205/2541-7517-2018-16-1-20-32
Лицензия:
Источник: