What Turing Did after He Invented the Universal Turing Machine
Copeland (B. Jack) & Proudfoot (Diane)
Source: Journal of Logic, Language, and Information, Vol. 9, No. 4, Special Issue on Alan Turing and Artificial Intelligence (Oct., 2000), pp. 491-509
Paper - Abstract

Paper StatisticsDisclaimer

Authors’ Abstract

  1. Alan Turing anticipated many areas of current research in computer and cognitive science.
  2. This article outlines his contributions to Artificial Intelligence1, connectionism, hypercomputation, and Artificial Life, and also describes Turing's pioneering role in the development of electronic stored-program digital computers.
  3. It locates the origins of Artificial Intelligence2 in postwar Britain. It examines the intellectual connections between the work of Turing and of Wittgenstein in respect of their views on cognition, on machine intelligence, and on the relation between provability and truth.
  4. We criticise widespread and influential misunderstandings of the Church-Turing thesis and of the halting theorem. We also explore the idea of hypercomputation, outlining a number of notional machines that "compute the uncomputable".

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2021
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - Jan 2021. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page