ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Resultado de pesquisa: Articlerevisão de pares

Resumo

The paper deals with a brief history of the development of set theory as the foundations of mathematics, and a brief history of the formation process of the type theory. The paper contains a detailed comparison of set theory and type theory, discussion of the problems of the set theory, and the advantages of the type theory as the foundations of mathematics. In addition, the article discusses the pragmatic aspect of the type theory as the foundations of mathematics and contains a brief overview of a modern version of the type theory, namely homotopy type theory.
Título traduzido da contribuiçãoFOUNDATIONS OF MATHEMATICS: SET THEORY VS. TYPE THEORY
Idioma originalRussian
Páginas (de-até)41-60
Número de páginas20
RevistaФилософия науки
Número de emissão1 (72)
DOIs
Estado da publicaçãoPublished - 2017

GRNTI

  • 02.21.00

Level of Research Output

  • VAK List

Impressão digital

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

Citar isto