alan turing, john von neumann‏