Please use this identifier to cite or link to this item:
|Title:||Constructive Identities for Physics|
|Authors:||Rodin, A. V.|
|Publisher:||Aix Marseille University|
|Series/Report no.:||Constructive Identities for Physics Andrei Rodin † Institute of Philosophy, Russian Academy of Sciences. E-mail: email@example.com 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 ap- proach 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 Me- chanics and General Relativity. Frontiers of Fundamental Physics;2014|
|Appears in Collections:||Conference papers & Presentations|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.