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

Глава

Constructive Identities for Physics

Rodin A.

Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to
physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic approach
combines logical and geometrical methods in a new way and brings about a non-trivial
constructive concept of identity applicable in various physical contexts including Quantum Mechanics
and General Relativity.





В книге

Vol. 224: EPISTEMOLOGY AND PHILOSOPHY. 2014.