This chapter gives a very brief introduction to computability emphasising concepts playing an important role here. The chapter describes how in the 1920s the interest of Alan Turing in describing in mathematical terms the activity of computers, clerks performing computations, led to the definition of an abstract device called a Turing machine, to the start the study of computability and to the enunciation of the Church-Turing thesis. In a similar way the chapter indicates how in 2000 the internal organization of eukariotic cells inspired Gheorghe Păun to define membrane systems, also called P systems, where ‘P’ stands for ‘Păun’. Moreover, the chapter explains some of the advantages offered by membrane computing, the field of research using membrane systems to define computability models in order to study computation and computational complexity issues and to model processes of biology, linguistics, economics, etc., with respect to more classical approaches.
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.