From proactive to interactive theory of computation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

The paper answers question "What is computation?" presenting it as a special case of a more general natural process involving dynamics of interacting information systems. For this purpose, a more detailed description of the generalization of Turing machine called symmetric machine outlined in author's earlier paper is used as a model for natural computing in which pro-active character of the machine with differentiated functions of its components (head and tape) is replaced by symmetric interaction of functionally equivalent information systems of hierarchic structure. Turing's A-machine is a special case of such S-machine in which only local states of cell's are changing, but not instructions on the list. The importance of the interactive character of computation is analysed in the context of exclusively interactive processes of mechanics. Causality involved in physical implementations of Turing machine can be preserved in its interactive generalization at the higher, collective level of its structure.

Original languageEnglish
Title of host publication6th AISB Symposium on Computing and Philosophy
Subtitle of host publicationThe Scandal of Computation - What is Computation? - AISB Convention 2013
Pages47-51
Number of pages5
Publication statusPublished - 2013 Dec 1
Externally publishedYes
Event6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation?, Held at the AISB Convention 2013 - Exeter, United Kingdom
Duration: 2013 Apr 32013 Apr 5

Publication series

Name6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? - AISB Convention 2013

Conference

Conference6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation?, Held at the AISB Convention 2013
CountryUnited Kingdom
CityExeter
Period13/4/313/4/5

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'From proactive to interactive theory of computation'. Together they form a unique fingerprint.

Cite this