Turing’s Lecture to the London Mathematical Society on 20 February 1947