From Turing Machine to Morphogenesis: Forming and Informing Computation

  • S. Barry Cooper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7287)


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.


Turing Machine Mental Causation Universal Turing Machine Embody Cognition Logic Colloquium 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    Calude, C.S., Svozil, K.: Quantum randomness and value indefiniteness. Advanced Science Letters 1, 165–168 (2008)CrossRefGoogle Scholar
  3. 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. 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. 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. 6.
    Einstein, A.: Out of My Later Years, vol. 48. Philosophical Library (1950)Google Scholar
  7. 7.
    Kleene, S.C.: Recursive functionals and quantifiers of finite types i. Trans. of the Amer. Math. Soc. 91, 1–52 (1959)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Kleene, S.C.: Recursive functionals and quantifiers of finite types ii. Trans. of the Amer. Math. Soc. 108, 106–142 (1963)MathSciNetzbMATHGoogle Scholar
  9. 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
  10. 10.
    Smolensky, P.: On the proper treatment of connectionism. Behavioral and Brain Sciences 11, 1–74 (1988)CrossRefGoogle Scholar
  11. 11.
    Teuscher, C.: Turing’s Connectionism. An Investigation of Neural Network Architectures. Springer, London (2002)Google Scholar
  12. 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
  13. 13.
    Turing, A.M.: Systems of logic based on ordinals. Proc. London Math. Soc. 45(3), 161–228 (1939)CrossRefGoogle Scholar
  14. 14.
    Turing, A.M.: Computing machinery and intelligence. Mind 59, 433–460 (1950)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Turing, A.M.: The chemical basis of morphogenesis. Phil. Trans. of the Royal Society of London. Series B, Biological Sciences 237(641), 37–72 (1952)CrossRefGoogle Scholar
  16. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • S. Barry Cooper
    • 1
  1. 1.School of MathematicsUniversity of LeedsLeedsU.K.

Personalised recommendations