title: Constructive Identities for Physics
metadata.name: dc.contributor.author
metadata.value: Rodin, A. V.
metadata.lang: -
metadata.name: dc.date.accessioned
metadata.value: 2015-08-28T06:45:08Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2015-08-28T06:45:08Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2014
metadata.lang: -
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/1720
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.description.sponsorship
metadata.value: The article is written with the support from RFBR, project No. 13-06-00515
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: en
metadata.lang: en_GB
metadata.name: dc.publisher
metadata.value: Aix Marseille University
metadata.lang: en_GB
metadata.name: dc.relation.ispartofseries
metadata.value: Constructive Identities for Physics Andrei Rodin   † Institute of Philosophy, Russian Academy of Sciences. E-mail: andrei@philomatica.org 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
metadata.lang: -
metadata.name: dc.title
metadata.value: Constructive Identities for Physics
metadata.lang: en_GB
resources.filename: Rodin_Pro1.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/1720/1/Rodin_Pro1.pdf
resources.format: Adobe PDF
resources.size: 402,74 kB