Alan Turing, Ph.D.