Сведения о проекте

Описание

В ходе НИР (1) рассмотрены исторические предпосылки гомотопической теории типов и унивалентного подхода к основаниям математики, (2) исследован философский смысл гомотопической теории типов, которая также была противопоставлена с другими вариантами теории типов, (3) изучены философские предпосылки, смысл и следствия аксиомы унивалентности, (4) определён и исследовано онтологический статус объектов математики с точки зрения унивалентного подхода, (5) изучены подходящие для исследования объектов математики с точки зрения унивалентного подхода методы познания, (6) сформулированы философские и методологические основания и принципы дальнейшего исследования в рамках унивалентного подхода к основаниям математики.
СтатусЗавершено
Действительная дата начала/окончания01/01/201631/12/2017

ГРНТИ

  • 02.15.31 Познание

Тип источника финансирования (РФФИ, РНФ, Х/Д, Гранты и т.д.)

  • Грант Президента

Площадка НИЧ УрФУ, где ведется данный грант (НИЧ Куйбышева, НИЧ Мира)

  • НИЧ Куйбышева