On the logical structure of physics and continuous model theory
摘要
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 its true interpretation (model) is a core model-theoretic challenge. The paper introduces such a model for the fragment which covers “free theories”, that is, physical theories with Gaussian (quadratic) potential. The model is pseudo-finite (equivalently, a limit of finite models), based on a pseudo-finite field in place of the field of complex numbers. The advantage of this unusual setting is that it treats quantum and statistical mechanics as just domains in the same model and explains Wick rotation as a natural transformation of the model corresponding to a shift in scales of physical units.