Alan Turing vs John von Neumann