WolframAlpha computational knowledge AI
alan turing, john von neumann‏