Abstract:
For some years I have been thinking about the relationship between the work of logicians and the coming of modern computers. A recently completed book on this subject is expected to be available next year. In this talk, I will concentrate on the mathematical work of Alan Turing and show the role it played in the development of all-purpose electronic digital computers.