From Turing Machine to Morphogenesis: Forming and Informing Computation
Information is complicated. It shares its existence with the material world around us. Language has enabled us to describe relationships governing embodied information, without losing the sense of mystery. Newton replaced the soft descriptive touch with the predictive precision of mathematical computation. And action at a distance converted the informational complexity of mechanical interaction into the mathematical tidiness of computational relations over number systems. The paradigm toughened and it was nearly 400 years later that Alan Turing stepped into this scientific setting, and gave it a logical form and that became a catch-all for some, and a reductio ad absurdum for those who failed to matched it to the wider realities of the natural universe. Alan Turing subscribed to both views, and his involvement changed the way we engage with them for ever. This article is an Alan Turing Centenary tracing of part of the story.
KeywordsTuring Machine Mental Causation Universal Turing Machine Embody Cognition Logic Colloquium
Unable to display preview. Download preview PDF.
- 1.Brooks, R.: The case for embodied intelligence. In: Cooper, S.B., van Leeuwen, J. (eds.) Alan Turing - His Work and Impact. Elsevier Science (2012)Google Scholar
- 3.Cooper, S.: Clockwork or Turing u/universe? - remarks on causal determinism and computability. In: Logic Colloquium 1997: Models and Computability: Invited Papers from Logic Colloquium 1997 - European Meeting of the Association for Symbolic Logic, Leeds (July 1997) (1999)Google Scholar
- 4.Cooper, S.: Incomputability, emergence and the Turing universe. In: Carsetti, A. (ed.) Causality, Meaningful Complexity and Embodied Cognition, pp. 135–153. Springer, Heidelberg (2009)Google Scholar
- 5.Cooper, S.B.: Definability in the real universe. In: Cooper, S.B., Sorbi, A. (eds.) Computability in Context: Computation and Logic in the Real World. Imperial College Press/World Scientific (2011)Google Scholar
- 6.Einstein, A.: Out of My Later Years, vol. 48. Philosophical Library (1950)Google Scholar
- 9.Post, E.L.: Absolutely unsolvable problems and relatively undecidable propositions: Account of an anticipation. In: Davis, M. (ed.) The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, pp. 340–433. Raven Press, New York (1965)Google Scholar
- 11.Teuscher, C.: Turing’s Connectionism. An Investigation of Neural Network Architectures. Springer, London (2002)Google Scholar
- 12.Turing, A.M.: On computable numbers with an application to the Entscheidungsproblem. Proc. London Math. Soc. 42(3), 230–265 (1936); A correction 43,44–546Google Scholar
- 16.Turing, A.M.: Intelligent machinery. In: Ince, D.C. (ed.) Collected Works of A.M. Turing – Mechanical Intelligence. Elsevier Science Publishers (1992)Google Scholar