Turing machines, computers and artificial intelligence

Dissertation, Unsw (2002)
  Copy   BIBTEX

Abstract

This work investigates some of the issues and consequences for the field of artificial intelligence and cognitive science, which are related to the perceived limits of computation with current digital equipment. The Church -Turing thesis and the specific properties of Turing machines are examined and some of the philosophical 'in principle' objections, such as the application of Gödel's incompleteness theorem, are discussed. It is argued that the misinterpretation of the Church-Turing thesis has led to unfounded assumptions about the limitations of computing machines in general. Modern digital computers, which are based on the von Neuman architecture, can typically be programmed so that they interact effectively with the real word. It is argued that digital computing machines are supersets of Turing machines, if they are, for example, programmed to interact with the real world. Moreover, computing is not restricted to the domain of discrete state machines. Analog computers and real or simulated neural nets exhibit properties that may not be accommodated in a definition of computing, which is based on Turing machines. Consequently, some of the philosophical 'in principle' objections to artificial intelligence may not apply in reference to engineering efforts in artificial intelligence

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,245

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

What Turing did after he invented the universal Turing machine.Diane Proudfoot & Jack Copeland - 2000 - Journal of Logic, Language and Information 9:491-509.
Notes on the Turing test.C. Crawford - 1994 - Communications of the Association for Computing Machinery 37 (June):13-15.
Making the right identification in the Turing test.Saul Traiger - 2000 - Minds and Machines 10 (4):561-572.
Neural and super-Turing computing.Hava T. Siegelmann - 2003 - Minds and Machines 13 (1):103-114.
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.

Analytics

Added to PP
2013-11-08

Downloads
38 (#481,382)

6 months
11 (#258,720)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references