Please use this identifier to cite or link to this item:
Title: Constructive Identities for Physics
Authors: Rodin, A. V.
Issue Date: 2014
Publisher: Aix Marseille University
Series/Report no.: Constructive Identities for Physics Andrei Rodin † Institute of Philosophy, Russian Academy of Sciences. E-mail: 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

Files in This Item:
File Description SizeFormat 
Rodin_Pro1.pdf402,74 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.