Thinking machines: Some fundamental confusions

Minds and Machines

Volumn 7, Issue 2, 1997, Pages 269-287

  Kearns, John T ^a  

^a UNIVERSITY AT BUFFALO   (United States)

Author keywords

Church's Thesis; Effective procedure; Effectively computable function; Turing machine

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATIONAL METHODS; FUNCTIONS; LEARNING SYSTEMS; TURING MACHINES;

CHURCH'S THESIS; THINKING MACHINES;

ARTIFICIAL INTELLIGENCE;

EID: 0031130146     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008202117814     Document Type: Article

References (13)

1. Church, Alonzo (1936), 'An Unsolvable Problem of Elementary Number Theory,' American Journal of Mathematics 58, pp. 345-363. Reprinted in Davis 1965.
2. Curry, Haskell B. and Robert Feys (1958), Combinatory Logic, vol 1. Amsterdam: North-Holland Publishing Company.
3. Davis, Martin (1965), The Undecidable. Hewlett, New York: Raven Press.
4. Gandy, Robin (1980), 'Church's Thesis and Principles for Mechanisms,' The Kleene Symposium, edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. Amsterdam: North-Holland Publishing Company, 123-148.
5. Kearns, John T. (1969), 'Combinatory Logic with Discriminators,' The Journal of Symbolic Logic 34, pp. 561-575.
6. Kearns, John T. (1996), Reconceiving Experience, A Solution to a Problem Inherited from Descartes. Albany, N.Y.: State University of New York Press.
7. Kleene, Stephen C. (1987), 'Reflection on Church's Thesis,' Notre Dame Journal of Formal Logic 28, pp. 490-498.
8. Kreisel, Georg (1987), 'Church's Thesis and the Ideal of Informal Rigor,' Notre Dame Journal of Formal Logic 28 pp. 499-519.
9. Nelson, R. J. (1987), 'Church's Thesis and Cognitive Science,' Notre Dame Journal of Formal Logic 28, pp. 581-614.
10. Shanker, S. G. (1987), 'Wittgenstein versus Turing on the Nature of Church's Thesis,' Notre Dame Journal of Formal Logic 28, pp. 615-649.
11. Shapiro, Stewart (1980), 'On the Notion of Effectiveness,' History and Philosophy of Logic I, pp. 209-230.
12. Shapiro, Stewart (1981), 'Understanding Church's Thesis,' Journal of Philosophical Logic 10, pp. 353-365.
13. Turing, Alan (1937), 'On Computable Numbers,' with an Application to the Entscheidungsproblem,' Proceedings of the London Mathematical Society s. 2, vol 42, 230-265. Reprinted in Davis (1965), 115-154.