Hilbert-style axiomatic completion: On von Neumann and hidden variables in quantum mechanics

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.