Standard

Constructive Identities for Physics. / Rodin, Andrei.

In: Proceedings of Science, 2015.

Research output: Contribution to journal › Article › peer-review

Harvard

Rodin, A 2015, 'Constructive Identities for Physics', Proceedings of Science.

APA

Rodin, A. (2015). Constructive Identities for Physics. Proceedings of Science.

Vancouver

Rodin A. Constructive Identities for Physics. Proceedings of Science. 2015.

Author

Rodin, Andrei. / Constructive Identities for Physics. In: Proceedings of Science. 2015.

BibTeX

@article{5d21446dc85c498798686ebdf10e0467,
title = "Constructive Identities for Physics",
abstract = "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.",
keywords = "Axiomatic Method, Identity, Frege, Homotopy Type theory",
author = "Andrei Rodin",
year = "2015",
language = "не определен",
journal = "Proceedings of Science",
issn = "1824-8039",
publisher = "Sissa Medialab Srl",

}

RIS

TY - JOUR

T1 - Constructive Identities for Physics

AU - Rodin, Andrei

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Axiomatic Method

KW - Identity

KW - Frege

KW - Homotopy Type theory

M3 - статья

JO - Proceedings of Science

JF - Proceedings of Science

SN - 1824-8039

ER -

ID: 5762238