Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
The rediscovery of the mind
Complexity - Special issue on uncoventional models of computation
Alan Turing: The Enigma
Artificial Life
A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing
Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]
The Turing-Wilkinson Lecture Series on the Automatic Computing Engine
Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]
Alan Turing's Automatic Computing Engine: Proceedings of Ace 2000 (Discrete Mathematics and Theoretical Computer Science)
The development of computer science: a sociocultural perspective
Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006
On the Possibilities of Hypercomputing Supertasks
Minds and Machines
| Hi-index | 0.00 |
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.”