Russian version of this page.

General mathematics seminar

October 28, 1999. Martin Davis (Courant Institute). Alan Turing's Universal Computer

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.

* * *
The name of Martin Davis is well known in our country for his great contribution to the negative solution of Hilbert's tenth problem. He wrote several books, one of which (about non-standard analysis) was translated into Russian.

Video of the talk could be found in the Video Library.

List of talks at previous sessions of the seminar.