Alan Mathison Turing, 1912-1954 · Study