Bio-steps beyond Turing.

Are there 'biologically computing agents' capable to compute Turing uncomputable functions? It is perhaps tempting to dismiss this question with a negative answer. Quite the opposite, for the first time in the literature on molecular computing we contend that the answer is not theoretically negative. Our results will be formulated in the language of membrane computing (P systems). Some mathematical results presented here are interesting in themselves. In contrast with most speed-up methods which are based on non-determinism, our results rest upon some universality results proved for deterministic P systems. These results will be used for building "accelerated P systems". In contrast with the case of Turing machines, acceleration is a part of the hardware (not a quality of the environment) and it is realised either by decreasing the size of "reactors" or by speeding-up the communication channels. Consequently, two acceleration postulates of biological inspiration are introduced; each of them poses specific questions to biology. Finally, in a more speculative part of the paper, we will deal with Turing non-computability activity of the brain and possible forms of (extraterrestrial) intelligence.

[1]  Cristian Claude,et al.  Information and Randomness: An Algorithmic Perspective , 1994 .

[2]  Harvey Rubin The Touchstone of Life: Molecular Information, Cell Communication, and the Foundations of Life , 1999, Annals of Internal Medicine.

[3]  Solomon Marcus Bridging P Systems and Genomics: A Preliminary Approach , 2002, WMC-CdeA.

[4]  Tien D. Kieu,et al.  On the existence of a new family of Diophantine equations for Omega , 2003, ArXiv.

[5]  Ioan I. Ardelean,et al.  The Relevance of Cell Membranes for P Systems. General Aspects , 2002, Fundam. Informaticae.

[6]  Gheorghe Paun,et al.  A guide to membrane computing , 2002, Theor. Comput. Sci..

[7]  Cristian S. Calude,et al.  Coins, Quantum Measurements, and Turing's Barrier , 2002, Quantum Inf. Process..

[8]  Jean-Paul Delahaye La barrière de Turing , 2003 .

[9]  John L. Casti The One True Platonic Haven , 2003 .

[10]  Hava T. Siegelmann,et al.  Neural and Super-Turing Computing , 2003, Minds and Machines.

[11]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[12]  Carlos Martín-Vide,et al.  Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers , 2004 .

[13]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[14]  Gregory J. Chaitin,et al.  A recent technical report , 1974, SIGA.

[15]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[16]  Cristian S. Calude,et al.  Transcending the Limits of Turing Computability , 2003, quant-ph/0304128.

[17]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[18]  R. M. Blake The Paradox of Temporal Process , 1926 .

[19]  T. Kieu,et al.  Quantum algorithms for the Hilbert's tenth problem , 2001 .

[20]  Cristian S. Calude,et al.  Reflections on quantum computing , 2000, Complex..

[21]  Tarun Khanna,et al.  Foundations of neural networks , 1990 .

[22]  Ian Stewart,et al.  Deciding the undecidable , 1991, Nature.

[23]  Arto Salomaa,et al.  Formal languages , 1973, Computer science classics.

[24]  Oscar H. Ibarra The Number of Membranes Matters , 2003, Workshop on Membrane Computing.

[25]  Kamala Krithivasan,et al.  P Systems with Membrane Creation: Universality and Efficiency , 2001, MCU.

[26]  H T Siegelmann,et al.  Dating and Context of Three Middle Stone Age Sites with Bone Points in the Upper Semliki Valley, Zaire , 2007 .

[27]  Bertrand Russell VII.—The Limits of Empiricism , 1936 .

[28]  Andrei Paun,et al.  Universality of Minimal Symport/Antiport: Five Membranes Suffice , 2003, Workshop on Membrane Computing.

[29]  Gerard Casey Minds and machines , 1992 .

[30]  Michael Barr,et al.  The Emperor's New Mind , 1989 .

[31]  H. Weyl Philosophie der Mathematik und Naturwissenschaft , 1927 .

[32]  Christof Teuscher,et al.  Hypercomputation: hype or computation? , 2002, CACM.

[33]  Cristian S. Calude,et al.  Finite Versus Infinite , 2000, Discrete Mathematics and Theoretical Computer Science.

[34]  Martin D. Davis The Myth of Hypercomputation , 2004 .

[35]  I. N. Marshall Consciousness and Bose-Einstein condensates , 1989 .

[37]  Marcus Chown,et al.  Smash and Grab , 1937 .

[38]  K. Svozil The Church-Turing thesis as a guiding principle for physics , 1997, quant-ph/9710052.

[39]  Gregory J. Chaitin,et al.  Exploring RANDOMNESS , 2001, Discrete Mathematics and Theoretical Computer Science.

[40]  C. Teuscher,et al.  Alan Turing: Life and Legacy of a Great Thinker , 2004, Springer Berlin Heidelberg.

[41]  Tien D. Kieu,et al.  Quantum Algorithm for Hilbert's Tenth Problem , 2001, ArXiv.

[42]  Carlos Martín-Vide,et al.  A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems , 2001, Words, Semigroups, and Transductions.

[43]  Roger Penrose,et al.  Précis of The Emperor's New Mind: Concerning computers, minds, and the laws of physics , 1990, Behavioral and Brain Sciences.

[44]  Jesper Hoffmeyer,et al.  Surfaces inside surfaces. On the origin of agency and life , 1998, Cybern. Hum. Knowing.

[45]  Gheorghe Paun (DNA) computing by carving , 1999, Soft Comput..

[46]  John L. Casti Computing the uncomputable , 1997 .

[47]  Jan van Leeuwen,et al.  Relativistic Computers and Non-uniform Complexity Theory , 2002, UMC.

[48]  Edward de Bono Parallel Thinking , 1990 .

[49]  B. Jack Copeland,et al.  Hypercomputation , 2004, Minds and Machines.

[50]  John L. Casti,et al.  Unconventional Models of Computation , 2002, Lecture Notes in Computer Science.

[51]  Cristian S. Calude,et al.  Finite Versus Infinite: Contributions to an Eternal Dilemma , 2000 .

[52]  Hendrik Jan Hoogeboom,et al.  Simulating Counter Automata by P Systems with Symport/Antiport , 2002, WMC-CdeA.

[53]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

[54]  Bertrand Russell,et al.  The Limits of Empiricism. , 1937 .

[55]  R. Penrose,et al.  Shadows of the Mind , 1994 .

[56]  Tien D. Kieu,et al.  Quantum Hypercomputation , 2002, Minds and Machines.

[57]  Cristian S. Calude Information and Randomness: An Algorithmic Perspective , 1994 .

[58]  István Németi,et al.  Non-Turing Computations Via Malament–Hogarth Space-Times , 2001 .

[59]  B. Jack Copeland,et al.  EVEN TURING MACHINES CAN COMPUTE UNCOMPUTABLE FUNCTIONS , 1998 .

[60]  N. Blackstone,et al.  Molecular Biology of the Cell.Fourth Edition.ByBruce Alberts, Alexander Johnson, Julian Lewis, Martin Raff, Keith Roberts, and, Peter Walter.New York: Garland Science.$102.00. xxxiv + 1463 p; ill.; glossary (G:1–G:36); index (I:1–I:49); tables (T:1). ISBN: 0–8153–3218–1. [CD‐ROM included.] 2002. , 2003 .

[61]  Toby Ord,et al.  Hypercomputation: computing more than the Turing machine , 2002, ArXiv.

[62]  R. Penrose,et al.  Conscious Events as Orchestrated Space-Time Selections , 1996 .