09.09.2014 Views

13th International Conference on Membrane Computing - MTA Sztaki

13th International Conference on Membrane Computing - MTA Sztaki

13th International Conference on Membrane Computing - MTA Sztaki

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Turing’s three pi<strong>on</strong>eering initiatives and their interplays<br />

of the equati<strong>on</strong>s. It might be possible, however, to treat a few particular cases<br />

in detail with the aid of a digital computer.’<br />

Turing recognizes two basic possibilities of how the digital computer might make<br />

useful for the research of some of biochemical phenomena: First, he suppose that<br />

computer simulati<strong>on</strong>s might allow simplifying assumpti<strong>on</strong>s required if we decide<br />

to use another approaches to the formal study. Sec<strong>on</strong>d, he recognizes the approaches<br />

which use computer simulati<strong>on</strong>s make possible to take the ”mechanical”<br />

aspects of the modelled reality into account during the study. Moreover, he add<br />

a very short but from today perspective important comment to the previously<br />

menti<strong>on</strong>ed advantages writing: ’Even with the (. . . ) problem, c<strong>on</strong>sidered in this<br />

paper, for which a reas<strong>on</strong>ably complete mathematical analysis was possible, the<br />

computati<strong>on</strong>al treatment of a particular case was most illuminating.’ (Turing,<br />

1952).<br />

The proposal to be interested in computati<strong>on</strong>al aspects of chemical and biological<br />

structures and processes become into the focus of many of present days<br />

research activities. As an example from the large spectrum of approaches we<br />

menti<strong>on</strong> as an example the so called membrane computing paradigm presented<br />

in (Păun, 2002). Păun characterizes the membrane systems the basic computing<br />

machinery of the membrane computing) as a ”. . . distributed parallel computing<br />

devices, processing multisets of objects, synchr<strong>on</strong>ously, in the compartments delimited<br />

by a membrane structure. The objects, which corresp<strong>on</strong>d to chemicals<br />

evolving in the compartments of a cell, can also pass through membranes. The<br />

membranes form a hierarchical structure they can be dissolved, divided, created,<br />

and their permeability can be modified. A sequence of transiti<strong>on</strong>s between<br />

c<strong>on</strong>figurati<strong>on</strong>s of a system forms a computati<strong>on</strong>.” The m<strong>on</strong>ograph (Păun, 2002)<br />

form the Preface of which we cited the previous strokes c<strong>on</strong>tains tens of theorems<br />

c<strong>on</strong>cerning the computati<strong>on</strong>al power of different variati<strong>on</strong>s of the membrane<br />

systems in comparis<strong>on</strong> with the different computing models (more often formal<br />

grammars) but also with the (universal) Turing Machine. The result proves the<br />

existence of certain variati<strong>on</strong>s of membrane systems which are equivalent with<br />

the Turing Machine with respect their computati<strong>on</strong>al power.<br />

In the c<strong>on</strong>sequence of that and from the perspective followed in this c<strong>on</strong>tributi<strong>on</strong><br />

we can c<strong>on</strong>clude the third versi<strong>on</strong> of the Turing hypothesis, the 3rd Turing<br />

Hypothesis, and formulate it in the following form, for instance: Biochemical systems<br />

are able at least in principle to perform all computati<strong>on</strong>s performable by<br />

the universal Turing machine.<br />

This hypothesis competes in certain sense our speculati<strong>on</strong>s providing a possibility<br />

for us to menti<strong>on</strong> the surprising c<strong>on</strong>clusi<strong>on</strong>s: The computati<strong>on</strong> as defined by<br />

the universal Turing Machine, the human ability to perform intellectual tasks,<br />

and the nature of biochemical (living) systems are in their certain sense in their<br />

capacities (almost) identical. The computati<strong>on</strong>, the mind, and the life are in<br />

53

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!