Why John von Neumann did not Like the Hilbert Space formalism of quantum mechanics (and what he liked instead)