论文信息 - An interview with Robert Soare

An interview with Robert Soare

University of Chicago's Robert Soare, the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, offers his reflections on Alan Turing.

Arefin Huq

[1] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[2] Emil L. Post. Recursively enumerable sets of positive integers and their decision problems , 1944 .