On Effective Procedures
暂无分享,去创建一个
[1] B. Jack Copeland,et al. Turing’s O-machines, Searle, Penrose and the brain , 1998 .
[2] Stephen C. Kleene,et al. Turing's analysis of computability, and major applications of it , 1988 .
[3] Alan M. Turing,et al. Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.
[4] J. Jastrow. The Mind's Eye. , 1899 .
[5] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[6] Rolf Herken,et al. The Universal Turing Machine: A Half-Century Survey , 1992 .
[7] Carol E. Cleland. Recipes, Algorithms, and Programs , 2004, Minds and Machines.
[8] Carol E. Cleland. Is the Church-Turing thesis true? , 1993, Minds and Machines.
[9] Robin Gandy,et al. The confluence of ideas in 1936 , 1988 .
[10] Carol E. Cleland. Effective procedures and computable functions , 2004, Minds and Machines.
[11] Stephen Read,et al. FROM MATHEMATICS TO PHILOSOPHY , 1974 .
[12] John R. Searle,et al. The Rediscovery of the Mind , 1995, Artif. Intell..
[13] Aristotle,et al. The Basic Works of Aristotle , 1941 .
[14] Kurt Godel. Remarks before the Princeton Bicentennial Conference on problems in mathematics , 1990 .
[15] J. Barkley Rosser,et al. An informal exposition of proofs of Gödel's theorems and Church's theorem , 1939, Journal of Symbolic Logic.
[16] Robin Gandy,et al. Church's Thesis and Principles for Mechanisms , 1980 .