Thanks for the recommendation. I'm actually reading the biography of Turing at the moment, so that sounds like a perfect follow-up.