Turing, Alan, 1912-1954