3 papers
math.LO2025
Dirac - von Neumann axioms in the setting of Continuous Model Theory
Boris Zilber
We recast the well-known axiom system of quantum mechanics used by physicists (the Dirac calculus) in the language of Continuous Logic. For the basic version of the axiomatic syste…
math.LO2025
Axioms of Quantum Mechanics in light of Continuous Model Theory
Boris Zilber
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 be…
math.LO2024
On the logical structure of physics
Boris Zilber
One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing it…