Л. Д. Ламберов The paper analyzes the current state of the constructivist and structuralist trends in the philosophy of mathematics. The interrelation of these trends is substantiated by means of the concepts of isomorphism, invariant, and structure within the framework of the type-theoretical approach to the foundations of mathematics. In particular, the paper discusses the axiom of univalence and the modern type-theoretical concept of identity.
Научная статья 
вычисление Дата публикации:
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
Лицензия:
Источник: