If I recall, Turing actually started to formalize some ideas in information theory, but stopped after meeting Shannon. Shannon showed Turing his information theory work and Turing decided Shannon already solved the question he was interested in.