Hilbert-style axiomatic completion: On von Neumann and hidden variables in quantum mechanics
Abstract
In this paper I provide a detailed history of von Neumann's "No Hidden Variables" theorem, and I argue it is a demonstration that his axiomatization mathematically captures a salient feature of the statistical transformation theory (namely, that hidden variables are incompatible). I show that this reading of von Neumann's theorem is obvious once one recalls several factors of his work. First, his axiomatization was what I call a Hilbert-style axiomatic completion; indeed, it developed from work initiated by Hilbert (and Nordheim). Second, it was responsive to specific mathematical and theoretical problems faced by Dirac and Jordan's statistical transformation theory (then called 'quantum mechanics'). Third, the axiomatization was completed across his 1927 papers and 1932 book when he identified the basic assumptions underwriting quantum mechanics, showed that these suffice for deriving the trace rule, and showed that the trace rule is incompatible with hidden variables. With this reading in mind, his claim that quantum mechanics was in "compelling logical contradiction with causality" appears as a straightforward consequence of his theorem. I conclude by reassessing the theorem's broader historical and scientific significance.
Read the paper
Related studies
- Quantum dots: synthesis, bioapplications, and toxicity
- A Guide to In Silico Drug Design
- Quantum Computing for Healthcare: A Review
- Automated in Silico Design of Homogeneous Catalysts
- Identification of Novel 3-Hydroxy-pyran-4-One Derivatives as Potent HIV-1 Integrase Inhibitors Using in silico Structure-Based Combinatorial Library Design Approach
- In silico structural elucidation of RNA-dependent RNA polymerase towards the identification of potential Crimean-Congo Hemorrhagic Fever Virus inhibitors
Go deeper in Evidence Hub
Evidence Hub adds a study data sheet (design, sample size, evidence level, key numbers), an AI summary and a chat grounded in the paper's text.