Authors
Diane Proudfoot
University of Canterbury
Jack Copeland
University of Canterbury
Abstract
Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis and of the halting theorem. We also explore theidea of hypercomputation, outlining a number of notional machines thatcompute the uncomputable.
Keywords Artificial Intelligence   Artificial Life   Automatic Computing Engine (ACE)   Church–Turing thesis   Colossus   Halting theorem   Turing   Wittgenstein   connectionism   history of computing   hypercomputation
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008371426608
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,008
Through your library

References found in this work BETA

Philosophical Investigations.Ludwig Josef Johann Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell.
Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.

View all 30 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
75 ( #153,762 of 2,505,154 )

Recent downloads (6 months)
1 ( #416,587 of 2,505,154 )

How can I increase my downloads?

Downloads

My notes