2012 British Mathematical Colloquium (BMC), University of Kent Workshop on Turing’s Legacy in Mathematics & Computer Science 17 th April 2012 Introduction: