4 papers · 1 filter
Approximation of structures:local and global
Boris Zilber
We provide a mathematically rigorous definition of local approximation and demonstrate its applicability to some interesting classes of structures. In particular, we prove that any…
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…
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…
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…