The problem lay not m the proof but tn von Neuma11n' s mtcrpretatton of the theorem. An cx-studem of the mathemaucian Enuly Noether who had swttched from mathemaucs to philosophy first nottced the circular forrn of von Neumann 's rcasomng. Gr~te Herman's analysis might have ...