论文信息 - Understanding Church's thesis - 字舞流文

Understanding Church's thesis

Stewart Shapiro | S. Shapiro

[1] Benson Mates,et al. Elementary Logic , 1965 .

[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[3] G. Bowie. An Argument Against Church's Thesis , 1973 .

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

[5] A. Church. An Unsolvable Problem of Elementary Number Theory , 1936 .

[6] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .