Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

European Journal of Physics

A pedestrian approach to von Neumann’s hidden variables proof

Leonardo Andreta de Castro, Carlos Alexandre Brasil

Published Nov 13, 2025• 1 citation
Publisher

Abstract

Abstract Hidden variables are hypothetical parameters that, if known, would deterministically specify quantum measurement outcomes, aiming to restore determinism and causality typical of classical mechanics. This work provides a modern and pedagogical exposition of John von Neumann’s 1932 proof on the incompatibility of hidden variables with quantum mechanics. We detail his two main conclusions: (1) dispersion-free ensembles (as defined within the framework of hidden variable theories) are incompatible with quantum mechanics; and (2) the quantum state provides a complete description of physical reality. We critically analyze the key assumptions in von Neumann’s proof, highlighting later challenges—particularly John Bell’s critique and the development of contextual hidden-variable theories by Kochen and Specker. This discussion clarifies von Neumann’s historical role as a pioneer in this debate, while showing how modern hidden-variable theories, such as Bohmian mechanics, remain compatible with quantum predictions. Conversion tables are included between this article’s notation and von Neumann’s original book.

DOI
10.1088/1361-6404/ae1f5a

Related papers

Establishing J. von Neumann’s result of the incompatibility between hidden variables and quantum mechanics

C. S. Unnikrishnan

The impossibility of making quantum mechanics deterministic by adding ‘hidden variables’ was discussed by J. von Neumann in 1932. His proof of the impossibility of dispersion-free ensembles was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell’s severe criticism and an explicit counter-example are generally considered as the definitive demonstration that J. von Neumann’s proof is inadequate. I show, without using the formalism of quantum mechanics, that J. von Neumann’s central assumption of the linear additivity of the expectation values, even for incompatible (noncommuting) observables, is a necessary consequence that follows directly from the fundamental conservation laws of physical quantities, applicable universally. With this result, J. von Neumann’s result is fully resurrected. I identify the physical reason why dispersion-free ensembles cannot exist. After discussing the conflict of Bell’s counter-example with the factual mechanics, I highlight the result that the local hidden variable theories, for which the Bell’s inequalities were derived, are grossly incompatible with the fundamental conservation laws. In a scrutiny of the vital difference between the ‘causal incompleteness’ of quantum mechanics, discussed by J. von Neumann, and the ‘representational incompleteness’ discussed by Einstein, Podolsky, and Rosen, I prove the striking demarcating result that a multi-particle system that is considered causally completed can remain EPR-incomplete. I identify the wave nature of the action as the reason behind the irreducible quantum dispersion and the impossibility of dispersion-free ensembles.

Academia quantum.•Apr 23, 2025•2 citations

On the Unconditional Validity of J. von Neumann's Proof of the Impossibility of Hidden Variables in Quantum Mechanics

C. S. Unnikrishnan

The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell's severe criticism of Neumann's proof and the explicit (counter) example of a hidden variable model for the measurement of a quantum spin are considered by most researchers, though not all, as the definitive demonstration that Neumann's proof is inadequate. Despite being an argument of mathematical physics, an ambiguity of decision remains to this day. I show that Neumann's assumption of the linear additivity of the expectation values, even for incompatible (noncommuting) observables, is a necessary constraint related to the nature of observable physical variables and to the conservation laws. Therefore, any theory should necessarily obey it to qualify as a physically valid theory. Then, obviously, the hidden variable theories with dispersion-free ensembles that violate this assumption are ruled out. I show that it is Bell's counter-example that is fundamentally flawed, being inconsistent with the factual mechanics. Further, it is shown that the local hidden variable theories, for which the Bell's inequalities were derived, are grossly incompatible with the fundamental conservation laws. I identify the intrinsic uncertainty in the action as the reason for the irreducible dispersion, which implies that there are no dispersion-free ensembles at any scale of mechanics. With the unconditional validity of its central assumption shown, Neumann's proof is fully resurrected.

arXiv:2105.13996•May 27, 2021•0 citations

Hidden-Variable Theories

Reinhold A. Bertlmann, Nicolai Friis

Abstract In chapter 12 we give an overview of the historical development of hidden-variable theories aiming to attribute ‘hidden’ definite outcomes to any potential measurement on a quantum system. We start with a discussion of von Neumann’s assumption on hidden-variable models, which was later realized not to hold by Hermann, Kochen, Specker, and Bell, going into detail on Bell’s refutation of von Neumann’s arguments. We then turn to the notion of contextuality, which severely restricts hidden-variable models: we discuss Gleason’s theorem before stating and proving the famous Kochen-Specker theorem, as well as the simpler versions of Peres’ nonet and Mermin’s pentagram. These results show that quantum mechanics is not compatible with the assignment of definite measurement outcomes to all possible measurements, and such assignments can hence only be made once a restricted set of observables, a context, is selected

•Sep 7, 2023•0 citations

A retrospective review of von Neumann’s analysis of hidden variables in quantum mechanics

Robert Golub, S. K. Lamoreaux

This article reviews the history of J. von Neumann’s analysis of hidden variables in quantum mechanics and the subsequent analysis by others. In his book The Mathematical Foundations of Quantum Mechanics, published in 1932, von Neumann performed an analysis of the consequences of introducing hidden parameters (hidden variables) into quantum mechanics. He arrived at two principal conclusions: first, hidden variables cannot be incorporated into the existing theory of quantum mechanics without major modifications, and second, if they did exist, the theory would have already failed in situations where it has been successfully applied. This analysis has been taken as an “incorrect proof” against the existence of hidden variables, possibly due to a mistranslation of the German word prufen. von Neumann’s so-called proof isn’t even wrong as such a proof does not exist, but it is an examination of the limitations imposed by internal consistency of the Hilbert space formulation of the theory. One of the earliest attempts to eliminate uncertainty, by D. Bohm, requires a major modification of quantum mechanics (observables are not represented by Hermitian operators), which supports von Neumann’s first principal conclusion. However, testing the Bohm theory requires constructing a physically impossible initial state. As such, the theory has no experimental consequences, so W. Pauli referred to it as an “uncashable check”. As there are no observable consequences, the Bohm theory is possibly a counterexample to von Neumann’s second conclusion that hidden variables in particular would have already led to a failure of the theory.

Academia quantum.•Aug 26, 2024•4 citations

Hilbert-Style Axiomatic Completion: The (Not So) Hidden Contextuality of von Neumann's "No Hidden Variables" Theorem

Chris Mitsch

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 interpretation (namely, that hidden variables are incompatible). I show that this reading of von Neumann’s theorem is obvious once one recalls several contextual 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 essentially completed already in his 1927 papers, at least concerning the status of hidden variables, and this would have been obvious to the audience for those papers. Thus, the theorem’s statement and proof were only necessary when the material was presented for a general mathematical audience, i.e., in his 1932 Mathematical Foundations of Quantum Mechanics . 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.

•Jan 1, 2021•0 citations

May We Verify Non-Existing Dispersion Free Ensembles By Application of Quantum Mechanics in Experiments at Perceptive and Cognitive Level?

Elio Conte, Orlando Todarello, Antonio Federici +3 more

von Neumann in 1932 was the first to outline the possible non existence of dispersion free ensembles in quantum mechanics, and he used also such basic evidence to give a preliminary proof on incompatibility between quantum mechanics and (non-contextual) hidden variables theory.In the present paper we give a detailed theoretical elaboration on the manner in which such fundamental subject could be explored at perceptive and cognitive level in humans.We also discuss a general design of the experiment that we have in progress so to give direct indications to other researchers engaged in such field.

arXiv:1201.2939•NeuroQuantology•Jan 24, 2012•9 citations
Abstract Hidden variables are hypothetical parameters that, if known, would deterministically specify quantum measurement outcomes, aiming to restore determinism and causality typical of classical mechanics. This work provides a modern and pedagogical exposition of John von Neumann’s 1932 proof on the incompatibility of hidden variables with quantum mechanics. We detail his two main conclusions: (1) dispersion-free ensembles (as defined within the framework of hidden variable theories) are incompatible with quantum mechanics; and (2) the quantum state provides a complete description of physical reality. We critically analyze the key assumptions in von Neumann’s proof, highlighting later challenges—particularly John Bell’s critique and the development of contextual hidden-variable theories by Kochen and Specker. This discussion clarifies von Neumann’s historical role as a pioneer in this debate, while showing how modern hidden-variable theories, such as Bohmian mechanics, remain compatible with quantum predictions. Conversion tables are included between this article’s notation and von Neumann’s original book.
The impossibility of making quantum mechanics deterministic by adding ‘hidden variables’ was discussed by J. von Neumann in 1932. His proof of the impossibility of dispersion-free ensembles was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell’s severe criticism and an explicit counter-example are generally considered as the definitive demonstration that J. von Neumann’s proof is inadequate. I show, without using the formalism of quantum mechanics, that J. von Neumann’s central assumption of the linear additivity of the expectation values, even for incompatible (noncommuting) observables, is a necessary consequence that follows directly from the fundamental conservation laws of physical quantities, applicable universally. With this result, J. von Neumann’s result is fully resurrected. I identify the physical reason why dispersion-free ensembles cannot exist. After discussing the conflict of Bell’s counter-example with the factual mechanics, I highlight the result that the local hidden variable theories, for which the Bell’s inequalities were derived, are grossly incompatible with the fundamental conservation laws. In a scrutiny of the vital difference between the ‘causal incompleteness’ of quantum mechanics, discussed by J. von Neumann, and the ‘representational incompleteness’ discussed by Einstein, Podolsky, and Rosen, I prove the striking demarcating result that a multi-particle system that is considered causally completed can remain EPR-incomplete. I identify the wave nature of the action as the reason behind the irreducible quantum dispersion and the impossibility of dispersion-free ensembles.
The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell's severe criticism of Neumann's proof and the explicit (counter) example of a hidden variable model for the measurement of a quantum spin are considered by most researchers, though not all, as the definitive demonstration that Neumann's proof is inadequate. Despite being an argument of mathematical physics, an ambiguity of decision remains to this day. I show that Neumann's assumption of the linear additivity of the expectation values, even for incompatible (noncommuting) observables, is a necessary constraint related to the nature of observable physical variables and to the conservation laws. Therefore, any theory should necessarily obey it to qualify as a physically valid theory. Then, obviously, the hidden variable theories with dispersion-free ensembles that violate this assumption are ruled out. I show that it is Bell's counter-example that is fundamentally flawed, being inconsistent with the factual mechanics. Further, it is shown that the local hidden variable theories, for which the Bell's inequalities were derived, are grossly incompatible with the fundamental conservation laws. I identify the intrinsic uncertainty in the action as the reason for the irreducible dispersion, which implies that there are no dispersion-free ensembles at any scale of mechanics. With the unconditional validity of its central assumption shown, Neumann's proof is fully resurrected.
Abstract In chapter 12 we give an overview of the historical development of hidden-variable theories aiming to attribute ‘hidden’ definite outcomes to any potential measurement on a quantum system. We start with a discussion of von Neumann’s assumption on hidden-variable models, which was later realized not to hold by Hermann, Kochen, Specker, and Bell, going into detail on Bell’s refutation of von Neumann’s arguments. We then turn to the notion of contextuality, which severely restricts hidden-variable models: we discuss Gleason’s theorem before stating and proving the famous Kochen-Specker theorem, as well as the simpler versions of Peres’ nonet and Mermin’s pentagram. These results show that quantum mechanics is not compatible with the assignment of definite measurement outcomes to all possible measurements, and such assignments can hence only be made once a restricted set of observables, a context, is selected
This article reviews the history of J. von Neumann’s analysis of hidden variables in quantum mechanics and the subsequent analysis by others. In his book The Mathematical Foundations of Quantum Mechanics, published in 1932, von Neumann performed an analysis of the consequences of introducing hidden parameters (hidden variables) into quantum mechanics. He arrived at two principal conclusions: first, hidden variables cannot be incorporated into the existing theory of quantum mechanics without major modifications, and second, if they did exist, the theory would have already failed in situations where it has been successfully applied. This analysis has been taken as an “incorrect proof” against the existence of hidden variables, possibly due to a mistranslation of the German word prufen. von Neumann’s so-called proof isn’t even wrong as such a proof does not exist, but it is an examination of the limitations imposed by internal consistency of the Hilbert space formulation of the theory. One of the earliest attempts to eliminate uncertainty, by D. Bohm, requires a major modification of quantum mechanics (observables are not represented by Hermitian operators), which supports von Neumann’s first principal conclusion. However, testing the Bohm theory requires constructing a physically impossible initial state. As such, the theory has no experimental consequences, so W. Pauli referred to it as an “uncashable check”. As there are no observable consequences, the Bohm theory is possibly a counterexample to von Neumann’s second conclusion that hidden variables in particular would have already led to a failure of the theory.
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 interpretation (namely, that hidden variables are incompatible). I show that this reading of von Neumann’s theorem is obvious once one recalls several contextual 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 essentially completed already in his 1927 papers, at least concerning the status of hidden variables, and this would have been obvious to the audience for those papers. Thus, the theorem’s statement and proof were only necessary when the material was presented for a general mathematical audience, i.e., in his 1932 Mathematical Foundations of Quantum Mechanics . 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.
von Neumann in 1932 was the first to outline the possible non existence of dispersion free ensembles in quantum mechanics, and he used also such basic evidence to give a preliminary proof on incompatibility between quantum mechanics and (non-contextual) hidden variables theory.In the present paper we give a detailed theoretical elaboration on the manner in which such fundamental subject could be explored at perceptive and cognitive level in humans.We also discuss a general design of the experiment that we have in progress so to give direct indications to other researchers engaged in such field.