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

Книга

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.

Springer, 2019.
Под общей редакцией: S. Centrone, D. Kant, D. Sarikaya.

Homotopy Type theory and its Model theory provide a novel formal semantic
framework for representing scienti c theories. This framework supports a constructive
view of theories according to which a theory is essentially characterised by its methods.
The constructive view of theories was earlier defended by Ernest Nagel and a number of
other philosophers of the past but available logical means did not allow these people to
build formal representational frameworks that implement this view.






Главы книги
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.