Turing, Text of a lecture by Turing on June 24 (1949)