Alan Turing, arvoitus