Find out more about logician and mathematician Alan Turing, including what he proved in his paper, 'On Computable Numbers,' at. The Alan Turing Institute is the national institute for data science, headquartered at the British Library. Five founding universities – Cambridge, Edinburgh, Oxford. Andrew Appel, chair of Princeton University's computer science department, discusses mathematician Alan Turing's legacy. Turing earned his.