Gresham College Lectures
Undecidable and Decidable Problems in Mathematics: A survey and some reflections, for the centenary of Turing's birth