What Turing did after he invented the universal Turing machine

Diane Proudfoot
University of Canterbury
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

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

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total downloads
48 ( #138,783 of 2,308,619 )

Recent downloads (6 months)
6 ( #106,187 of 2,308,619 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature