zbMATH — the first resource for mathematics

Letter to the editor: Computer logic in information processes. (English. Russian original) Zbl 1013.94528
Probl. Inf. Transm. 35, No. 2, 186-189 (1999); translation from Probl. Peredachi Inf. 35, No. 2, 107-111 (1999).
From the text: Information processes in technical systems has led to various mathematical tools, such as Shannon’s information theory (based on the numerical measurement of quantity of information). In this connection, such fundamental notions as communication channel and capacity, have arisen. These notions have gone far beyond the proper scope of the theory of information processes in technical systems; in particular, attempts were undertaken (often without a solid foundation) to apply them to the description of information processes in living systems. It seems that some problems related to biochemistry and cell interaction as well as some problems of purposeful behavior need investigation of definite processes appropriate to these problems; these problems can give factual material for defining corresponding processes and for developing a language of processes of this type and a language of informational interactions that are characteristic for these processes.
94A15 Information theory (general)
68Q60 Specification and verification (program logics, model checking, etc.)
03B70 Logic in computer science