Axioms of Quantum Mechanics in light of Continuous Model Theory
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917158733217792 |
|---|---|
| author | Zilber, Boris |
| author_facet | Zilber, Boris |
| contents | The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic.
We note an analogy between Tarski's notion of cylindric algebras, as a tool of algebraisation of first order logic, and Hilbert spaces which can serve the same purpose for continuous logic of physics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_02029 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Axioms of Quantum Mechanics in light of Continuous Model Theory Zilber, Boris Logic Quantum Physics 03C66, 81P10 The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of algebraisation of first order logic, and Hilbert spaces which can serve the same purpose for continuous logic of physics. |
| title | Axioms of Quantum Mechanics in light of Continuous Model Theory |
| topic | Logic Quantum Physics 03C66, 81P10 |
| url | https://arxiv.org/abs/2506.02029 |