See this document in CiteSeerX!

Bio-Steps Beyond Turing (2004)  (Make Corrections)  (1 citation)
C. S. Calude, G. Paun



  Home/Search   Context   Related

 
View or download:
cs.auckland.ac.nz/CDMTCS/...226cris.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  psystems.disco.unimib.it...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: 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... (Update)

Cited by:   More
Computing with Cells and Atoms: After Five Years - Calude, Paun (2004)   (Correct)

Active bibliography (related documents):   More   All
1.6:   A Quantum Scattering Approach to Undecidable Problems.. - Adamyan, Calude, Pavlov (2002)   (Correct)
1.5:   Coins, Quantum Measurements, and Turing's Barrier - Calude, Pavlov (2002)   (Correct)
1.4:   Incompleteness, Complexity, Randomness and Beyond - Calude (2002)   (Correct)

Similar documents based on text:   More   All
0.6:   Curriculum Vitæ - Calude (2002)   (Correct)
0.3:   Abstracts: Constructivity, Complexity, and Fuzziness (CCF '99) - Bridges, Calude, (eds.) (1999)   (Correct)
0.3:   Computational Complementarity and Sofic Shifts - Calude, Lipponen (1997)   (Correct)

Related documents from co-citation:   More   All
2:   International Workshop (context) - Martn-Vide, Paun et al.

BibTeX entry:   (Update)

C.S. Calude, Gh. Paun, Bio-steps beyond Turing. CDMTCS Research Report 226, Univ. of Auckland (November 2003. http://citeseer.ist.psu.edu/calude04biosteps.html   More

@misc{ calude03biosteps,
  author = "C. Calude and G. Paun",
  title = "Bio-steps beyond Turing",
  text = "C.S. Calude, Gh. Paun, Bio-steps beyond Turing. CDMTCS Research Report
    226, Univ. of Auckland (November 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/calude04biosteps.html" }
Citations (may not include all citations):
220   Formal Languages (context) - Salomaa - 1973
177   Computation: Finite and Infinite Machines (context) - Minsky - 1967
116   Molecular Biology of the Cell (context) - Alberts, Johnson et al. - 2002
110   A theory of program size formally identical to information t.. - Chaitin - 1975
99   Algorithmic Information Theory - Chaitin
84   The Emperor's New Mind (context) - Penrose - 1989
42   Computing with membranes - Paun - 2000
25   Computation beyond the Turing limit (context) - Siegelmann - 1995
25   Oxford University Press (context) - Penrose, the - 1994
20   Foundations of Neural Networks (context) - Khanna - 1990
19   Theoretical Computer Science (context) - Paun, Rozenberg et al. - 2002
15   Exploring Randomness (context) - Chaitin - 2001
14   The Origin of Order (context) - Kau - 1993
8   The random number omega bids fair to hold the mysteries of t.. (context) - Bennett, Gardner - 1979
7   The Church-Turing Thesis as a guiding principle for physics (context) - Svozil - 1998
6   Quantum Information Processing (context) - Calude, Pavlov et al. - 2002
6   Deciding the undecidable (context) - Stewart - 1991
5   together with responses by critics and a reply by the author (context) - Penrose, The et al. - 1990
5   Non-Turing computations via Malament-Hogarth space-times - Etesi, Nemeti - 2002
5   Hypercomputation: Computing more than the Turing Machine (context) - Ord
5   Computing the uncomputable (context) - Casti
5   Revised and Extended (context) - Calude, Randomness et al. - 2002
5   Parallel thinking (context) - Calude, Casti - 1998
5   Minds and Machines (context) - Copeland
5   Minds and Machines (context) - Copeland - 2002
5   Reflections on quantum computing - Calude, Dinneen et al. - 2000
4   The limits of empiricism (context) - Russell - 1936
4   International Workshop (context) - Paun, Rozenberg et al.
4   Quantum algorithm for the Hilbert's tenth problem (context) - Kieu - 2001
4   Computing with Membranes: An Introduction (context) - Paun - 2002
4   Computing by carving (context) - Paun - 1999
4   Even Turing machines can compute uncomputable functions - Copeland - 1998
4   International Workshop (context) - Martn-Vide, Paun et al.
3   The myth of hypercomputation (context) - Davis
3   Taylor and Francis Publishers (context) - Calude, Paun et al. - 2001
3   Smash and grab (context) - Chown - 2002
3   Minds and Machines (context) - Kieu - 2002
3   Teora de la Complejidad en Modelos de Computation Celular co.. (context) - Perez-Jimenez, Romero-Jimenez et al. - 2002
3   and the Foundations of Life (context) - Loewenstein, of et al. - 1999
2   systems with membrane creation: Universality and e#ciency (context) - Madhu, Krithivasan
2   The number of membranes matters (context) - Ibarra
2   The paradoxes of temporal process (context) - Blake - 1926
2   Alan Turing: Life and Legacy of a Great Thinker (context) - Teuscher - 2003
2   Philosophie der Mathematik und Natureissenschaft (context) - Weyl - 1927
2   the computational complexity of membrane computing systems (context) - Ibarra
2   The One True Platonic Haven (context) - Casti - 2003
2   characterization Parikh Set ETL language term P system (context) - Vide, characterization et al. - 2001
2   Transcending the limits of Turing computability (context) - Adamyan, Calude et al.
1   The relevance of cell membrane for P systems (context) - Ardelean - 2002
1   Solving finitely refutable mathematical problems (context) - Calude, Jurgensen et al. - 2000
1   Relativistic computers and non-uniform complexity theory (context) - Wiedermann, van Leeuwen - 2002
1   Pre-proceedings of Workshop on Membrane Computing (context) - Bernardini, Gheorghe et al.
1   Universality minimal symportantiport five membrane su#ce (context) - Universality, symport et al.
1   systems and genomics: A preliminary approach (context) - Marcus
1   New Ideas in Psychology (context) - Marshall, Bose-Einstein - 1989
1   Personal communication to C (context) - Chown - 2003
1   Minds and Machines (context) - Siegelmann, super-Turing - 2003
1   Hypercomputation: Hyper or computation (context) - Teuscher, Sipper - 2002
1   Simulating counter automata with P system with symportantipo.. (context) - Simulating, with et al.
1   the existence of a new family of Diophantine equations (context) - Ord, Kieu - 2003
1   Consciousness events as orchestrated space-time selections (context) - Hamero, Penrose - 1966
1   Cybernetics and Human Knowing (context) - Ho, inside et al. - 1998
www.hypercomputation.net/bib

Documents on the same site (http://psystems.disco.unimib.it/papers.html):   More
Trading Polarizations for Labels in P Systems with Active.. - ALHAZOV, PAN, PAUN   (Correct)
Fuzzifying P Systems - Syropoulos   (Correct)
Scalar and Fuzzy Cardinalities of Crisp and Fuzzy Multisets - Jaume Casasnovas Francesc   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC