TY - GEN

T1 - From proactive to interactive theory of computation

AU - Schroeder, Marcin J.

PY - 2013/12/1

Y1 - 2013/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84894217137&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84894217137&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84894217137

SN - 9781908187314

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

SP - 47

EP - 51

BT - 6th AISB Symposium on Computing and Philosophy

T2 - 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation?, Held at the AISB Convention 2013

Y2 - 3 April 2013 through 5 April 2013

ER -