John von Neumann circa 1940s