Описание

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

Keywords

  • 02.15.31 Познание
  • Грант Президента
  • НИЧ Куйбышева