This page is in Russian. You may see its English analogue.

Общеинститутский математический семинар

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.

* * *
Имя Мартина Дэвиса хорошо известно в нпшей стране в связи с его значительным вкладом в отрицательное решение 10-й проблемы Гильберта. Мартин Дэвис — автор нескольких книг, одна из которых (о нестандартном анализе) переведена на русский язык.

Видеозапись доклада доступна в видеотеке.
Предыдущие заседания семинара: список докладов.