Von Neumann, John, 1903-1957