" Paul Halmos states that "von Neumann's speed was awe-inspiring