An hidden variable (hv) theory is a theory that allows globally dispersion free ensembles. We demonstrate that the Phase Space formulation of Quantum Mechanics (QM) is an hv theory with the position q, and momentum p as the hv. Comparing the Phase space and Hilbert space formulations of QM we identify the assumption that led von Neumann to the Hilbert space formulation of QM which, in turn, precludes global dispersion free ensembles within the theory. The assumption, dubbed I, is: "If a physical quantity
A has an operator
A^ then
f(A) has the operator
f(A^)". This assumption does not hold within the Phase Space formulation of QM. The hv interpretation of the Phase space formulation provides novel insight into the interrelation between dispersion and non commutativity of position and momentum (operators) within the Hilbert space formulation of QM and mitigates the criticism against von Neumann's no hidden variable theorem by, virtually, the consensus.
Complex numbers appear in the Hilbert space formulation of quantum mechanics, but not in the formulation in phase space. Quantum symmetries are described by complex, unitary or antiunitary operators defining ray representations in Hilbert space, whereas in phase space they are described by real, true representations. Equivalence of the formulations requires that the former representations can be obtained from the latter and vice versa. Examples are given. Equivalence of the two formulations also requires that complex superpositions of state vectors can be described in the phase space formulation, and it is shown that this leads to a nonlinear superposition principle for orthogonal, pure-state Wigner functions. It is concluded that the use of complex numbers in quantum mechanics can be regarded as a computational device to simplify calculations, as in all other applications of mathematics to physical phenomena.