Mathematical quantum theory. I: Random ultrafilters as hidden variables
This paper aims to provide a natural setting for the stochasticity of von Neumann's classical formulation of non-relativistic quantum mechanics in a stochastic metatheory of random extensions \(V\)(A) of a set-theoretic universe \(V\) by Boolean algebras \(A\) of projections in a separable Hilbert space \(H\). These Boolean algebras are ranges of projection-valued selfadjoint operators on \(H\), i.e they are related to spectral values of the quantum observables. The ultimate aim of this approach is apparently to provide a framework of iterated measure-algebraic truth for mathematical assertions, a framework that is in which the truth-values for such assertions are elements of iterated Boolean measure-algebras. As the quoted aims perhaps suggest, this long paper is an unusual mix of very technical and detailed mathematical analysis, which is sourced to Kolmogorov's work, via Scott, Solovay, Krauss, and Takeuti, with excursions into the philosophical interpretive issues raised by this analysis. It is a strength of the author that his interpretive grand themes of this metatheoretic approach are not abandoned but revisited after the technical discussion, and it certainly makes for an unusual paper to combine very detailed mathematics with very broad brush flights of philosophy. Much of this discussion is of a highly formal nature. However ample references to sources and related papers are provided, and two sections of the paper summarise first von Neumann's analysis of quantum theory, and second provide a fairly thorough review of the basic theory of random extensions and Borel codes. Following these are a section on hidden states and the operator functional calculus, which reviews the nature of contextual and non-contextual hidden variable theories, with discussion of Gudder as well as Kochen and Specker's results, relating these to the preceding Boolean-valued analysis. Section 4, entitled ``Random hidden variables, then uses the Boolean-valued tools developed earlier to distinguish hidden variable analyses of quantum theory that meet various conditions distinguished in the previous section, an analysis which he characterizes earlier as a metatheoretic sharpening of Gudder's theorem. In the final section the very technical discussions give way to philosophical considerations of the implications to the interpretation of quantum statistics. It is argued that the analysis in terms of random ultrafilters provides a secular interpretation of quantum theory, and also of Everett and Wheeler's possible worlds, a kind of model-theoretic understanding which the author considers neutral as to an epistemic, metaphysical or virtual interpretation. However it is also claimed that most likely Einstein was wrong, that probabilities are intrinsic to the ontology of quantum systems, rather than epistemic. In a final philosophical flourish we are presented with blocks of quotations from Einstein and Hume on the one hand, Bohr and Keats (!) on the other, with the author himself opting for the latter two and leaving Bohr with the final word.
- scientific article; zbMATH DE number 6538284
- Hidden variables in quantum mechanics: generic models, set-theoretic forcing, and the appearance of probability
- scientific article; zbMATH DE number 1191201
- Quantum probability, renormalization and infinite-dimensional *-Lie algebras
- Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics
- scientific article; zbMATH DE number 5233998
- scientific article; zbMATH DE number 5853090
- A measure theoretical approach to quantum stochastic processes
- Contextual extensions of C* algebras and hidden variable theories
- Quantum probability and Levy Laplacians
- A model of set-theory in which every set of reals is Lebesgue measurable
- A relativity principle in quantum mechanics
- scientific article; zbMATH DE number 3937166 (Why is no real title available?)
- scientific article; zbMATH DE number 3948655 (Why is no real title available?)
- scientific article; zbMATH DE number 4009114 (Why is no real title available?)
- scientific article; zbMATH DE number 3664940 (Why is no real title available?)
- scientific article; zbMATH DE number 3668602 (Why is no real title available?)
- scientific article; zbMATH DE number 3680516 (Why is no real title available?)
- scientific article; zbMATH DE number 3719745 (Why is no real title available?)
- scientific article; zbMATH DE number 3732713 (Why is no real title available?)
- scientific article; zbMATH DE number 3771591 (Why is no real title available?)
- scientific article; zbMATH DE number 3783731 (Why is no real title available?)
- scientific article; zbMATH DE number 46153 (Why is no real title available?)
- scientific article; zbMATH DE number 3536358 (Why is no real title available?)
- scientific article; zbMATH DE number 3559512 (Why is no real title available?)
- scientific article; zbMATH DE number 3580810 (Why is no real title available?)
- scientific article; zbMATH DE number 3437452 (Why is no real title available?)
- scientific article; zbMATH DE number 3449248 (Why is no real title available?)
- scientific article; zbMATH DE number 3250482 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3266514 (Why is no real title available?)
- scientific article; zbMATH DE number 3312234 (Why is no real title available?)
- scientific article; zbMATH DE number 3399886 (Why is no real title available?)
- scientific article; zbMATH DE number 3185026 (Why is no real title available?)
- scientific article; zbMATH DE number 3109251 (Why is no real title available?)
- Internal cohen extensions
- Iterated Cohen extensions and Souslin's problem
- Models of Zermelo Frankel set theory as carriers for the mathematics of physics. I
- Models of Zermelo Frankel set theory as carriers for the mathematics of physics. II
- One-Parameter Subgroups of Unitary Groups with Indefinite Metric and in Particular of the Conformal Group
- Two Applications of Logic to Mathematics
- Undefinable sets
This page was built for publication: Mathematical quantum theory. I: Random ultrafilters as hidden variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293048)