• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Univalence and Constructive Identity

P. 170-174.
Rodin A.

The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of
Frege’s famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for
the constructive aspect of such judgements.



В книге

Под редакцией: О. Прозоров. St. Petersburg: ВВМ, 2012.