caa a22 4500 475800168 CHVBK 20180406123735.0 cr unu---uuuuu 170329e20001001xx s 000 0 eng 10.1023/A:1008371426608 doi (NATIONALLICENCE)springer-10.1023/A:1008371426608 What Turing Did after He Invented the Universal Turing Machine [Elektronische Daten] [B. Copeland, Diane Proudfoot] 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 that"compute the uncomputable.” Kluwer Academic Publishers, 2000 Artificial Intelligence nationallicence Artificial Life nationallicence Automatic Computing Engine (ACE) nationallicence Church-Turing thesis nationallicence Colossus nationallicence connectionism nationallicence Halting theorem nationallicence history of computing nationallicence hypercomputation nationallicence Turing nationallicence Wittgenstein nationallicence Copeland B. The Turing Project, University of Canterbury, Private Bag 4800, Christchurch, New Zealand aut Proudfoot Diane The Turing Project, University of Canterbury, Private Bag 4800, Christchurch, New Zealand aut Journal of Logic, Language and Information Kluwer Academic Publishers 9/4(2000-10-01), 491-509 0925-8531 9:4<491 2000 9 10849 https://doi.org/10.1023/A:1008371426608 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008371426608 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Copeland B. The Turing Project, University of Canterbury, Private Bag 4800, Christchurch, New Zealand aut NATIONALLICENCE 700 1- Proudfoot Diane The Turing Project, University of Canterbury, Private Bag 4800, Christchurch, New Zealand aut NATIONALLICENCE 773 0- Journal of Logic, Language and Information Kluwer Academic Publishers 9/4(2000-10-01), 491-509 0925-8531 9:4<491 2000 9 10849 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer