Showing 2025 · math.LOShow all
2 papers · 2 filters
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
We revisit Dirac's axiomatization of quantum mechanics and show that it can essentially be reformulated in a more familiar logical setting - continuous model theory. Our aim is two…