Abstract
The purpose of this article is to recall three fundamental contributions by A. M. Turing to three important fields of contemporary science and engineering (theory of computation, artificial intelligence, and biocomputing), and to emphasize the connections between them. The article recalls and formulates resp., also three hypotheses related to the three initiatives and discusses in short their mutual interrelatedness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burgin, M., Klinger, A.: Three aspects of super-recursive algorithms and hyper-computation or finding black swans. Theoretical Computer Science 317, 1–11 (2004)
Church, A.: A note on the Entscheidungsproblem. Journal of Symbolic Logic 1, 40–41 (1930)
Church, A.: An unsolvable problem of elementary number theory. American Journal of Mathematics 58, 345–363 (1936)
Csuhaj-Varjú, E., et al.: Grammar Systems. Gordon and Breach, Yverdon (1994)
Csuhaj-Varjú, E., Kelemenová, A.: Team behavior in eco-grammar systems. Theoretical Computer Science 209, 213–224 (1998)
Hopcroft, J.E., Ullman, J.D.: Formal Languages and their Relation to Automata. Addison-Wesley, Reading (1969)
Kelemen, J.: May Embodiment Cause Hyper-Computation? In: Capcarrère, M.S., Freitas, A.A., Bentley, P.J., Johnson, C.G., Timmis, J. (eds.) ECAL 2005. LNCS (LNAI), vol. 3630, pp. 31–36. Springer, Heidelberg (2005)
Matiyasevich, Y.: On recursive unsolvability of Hilbert’s tenth problem. In: Proc. 4th International Congress on Logic, Methodology and Philosophy of Science, pp. 89–110. North-Holland, Amsterdam (1973)
Păun, G.: Membrane computing: An introduction. Springer, Berlin (2002)
Rozenberg, G., Salomaa, A.: The Mathematical Theory of L Systems. Academic Press, New York (1980)
Singh, A.: Elements of Computation Theory. Springer, London (2009)
Stannett, M.: Hypercomputational models. In: Teuscher, C. (ed.) Alan Turing - Life and Legacy of a Great Thinker, pp. 135–157. Springer (2004)
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. of the London Mathematical Society, series 2 42, 230–265 (1936)
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem, a correction. Proc. of the London Mathematical Society, series 2 43, 544–546 (1937)
Turing, A.M.: Computing machinery and intelligence. Mind 59, 433–460 (1950)
Turing, A.M.: The chemical basis of morphogenesis. Philosophical Transactions of the Royal Society B 237, 37–72 (1952)
Wätjen, D.: Function-dependent teams in eco-grammar systems. Theoretical Computer Science 306, 39–53 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kelemen, J. (2013). Turing’s Three Pioneering Initiatives and Their Interplays. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds) Membrane Computing. CMC 2012. Lecture Notes in Computer Science, vol 7762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36751-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-36751-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36750-2
Online ISBN: 978-3-642-36751-9
eBook Packages: Computer ScienceComputer Science (R0)