Turing, Alan Mathison