相关论文: Dirac - von Neumann axioms in the setting of Conti…
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…
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 model theory problem. The…
We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…
We take quantum theory and replace $\mathbb{C}$ by $\mathbb{C}[\varepsilon]$ where $\varepsilon^2=0$, i.e. we extend quantum theory to the ring of dual complex numbers. The aim is to develop a common language in which to treat continuous…
We demonstrate the existence of a complex Hilbert Space with Hermitian operators for calculations in \textit{classical} electromagnetism that parallels the Hilbert Space of quantum mechanics. The axioms of this classical theory are the…
Authoritative appraisals qualified this book as an axiomatic theory. However, being its essential content no more than an analogy, its theoretical organization cannot be an axiomatic one. In fact, in the first edition Dirac declares to…
This paper contains applications of the quantum theory for gravity developed in the paper " A Sketch for a Quantum Theory of Gravity". Firstly, it is shown that the theory gives a direct derivation of the implications of Dirac's large…
The state space and observables for the leading order of the large-N theory are constructed. The obtained model ("theory of infinite number of fields") is shown to obey Wightman-type axioms (including invariance under boost transformations)…
The need to describe abrupt changes or response of nonlinear systems to impulsive stimuli is ubiquitous in applications. Also the informal use of infinitesimal and infinite quantities is still a method used to construct idealized but…
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…
We extend the semiclassical study of the Neumann model down to the deep quantum regime. A detailed study of connection formulae at the turning points allows to get good matching with the exact results for the whole range of parameters.
An extension of the Dirac procedure for the quantization of constrained systems is necessary to address certain issues that are left open in Dirac's original proposal. These issues play an important role especially in the context of…
A Lie system is a system of differential equations admitting a superposition rule, i.e., a function describing its general solution in terms of any generic set of particular solutions and some constants. Following ideas going back to the…
An overview is given of recent developments in the field of Dirac equations generalized to curved space-times. An illustrative discussion is provided. We conclude with a variation of Dirac's large-number hypothesis which relates a number of…
Almost commutative models provide a framework for Connes' work on the standard model of particle physics. These models are constructed as products of a the canonical spectral triple of a compact connected spin manifold with a finite…
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual…
In this work we present an intuitive construction of the quantum logical axiomatic system provided by George Mackey. The goal of this work is a detailed discussion of the results from the paper 'Physical justification for using the tensor…
This essay advocates the view that any problem that has a meaningful empirical content, can be formulated in constructive, more definitely, finite terms. We consider combinatorial models of dynamical systems and approaches to statistical…
We apply the algebraic theory of infinite classical lattices from Part I to write an axiomatic theory of measurements, based on Mackey's axioms for quantum mechanics. The axioms give a complete theory of measurements in the sense of Haag…
Dirac's method of classical analogy is employed to incorporate quantum degrees of freedom into modern nonequilibrium thermodynamics. The proposed formulation of dissipative quantum mechanics builds entirely upon the geometric structures…