УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ

Resultado de pesquisa: Articlerevisão de pares

Resumo

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.
Título traduzido da contribuiçãoUNIVALENCE AND THE CONCEPT OF STRUCTURE IN THE PHILOSOPHY OF MATHEMATICS
Idioma originalRussian
Páginas (de-até)20-32
Número de páginas13
RevistaСибирский философский журнал
Volume16
Número de emissão1
DOIs
Estado da publicaçãoPublished - 2018

GRNTI

  • 02.00.00 PHILOSOPHY

Level of Research Output

  • VAK List

Impressão digital

Mergulhe nos tópicos de investigação de “УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ“. Em conjunto formam uma impressão digital única.

Citar isto