Von Neumann’s impossibility proof: Mathematics in the service of rhetorics

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 60:136-148 (2017)
  Copy   BIBTEX

Abstract

According to what has become a standard history of quantum mechanics, von Neumann in 1932 succeeded in convincing the physics community that he had proved that hidden variables were impossible as a matter of principle. Subsequently, leading proponents of the Copenhagen interpretation emphatically confirmed that von Neumann's proof showed the completeness of quantum mechanics. Then, the story continues, Bell in 1966 finally exposed the proof as seriously and obviously wrong; this rehabilitated hidden variables and made serious foundational research possible. It is often added in recent accounts that von Neumann's error had been spotted almost immediately by Grete Hermann, but that her discovery was of no effect due to the dominant Copenhagen Zeitgeist. We shall attempt to tell a more balanced story. Most importantly, von Neumann did not claim to have shown the impossibility of hidden variables tout court, but argued that hidden-variable theories must possess a structure that deviates fundamentally from that of quantum mechanics. Both Hermann and Bell appear to have missed this point; moreover, both raised unjustified technical objections to the proof. Von Neumann's conclusion was basically that hidden-variables schemes must violate the "quantum principle" that all physical quantities are to be represented by operators in a Hilbert space. According to this conclusion, hidden-variables schemes are possible in principle but necessarily exhibit a certain kind of contextuality. As we shall illustrate, early reactions to Bohm's theory are in agreement with this account. Leading physicists pointed out that Bohm's theory has the strange feature that particle properties do not generally reveal themselves in measurements, in accordance with von Neumann's result. They did not conclude that the "impossible was done" and that von Neumann had been shown wrong.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the impossible pilot wave.J. S. Bell - 1982 - Foundations of Physics 12 (10):989-999.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Von Neumann, Gödel and Quantum Incompleteness.Thomas Breuer - 2001 - Vienna Circle Institute Yearbook 8:75-82.
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
Why is There Philosophy of Mathematics at All?Ian Hacking - 2014 - New York: Cambridge University Press.
On the roles of proof in mathematics.Joseph Auslander - 2008 - In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 61--77.

Analytics

Added to PP
2017-11-08

Downloads
69 (#236,318)

6 months
11 (#235,184)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dennis Dieks
Utrecht University