Computer intelligence equals formalization

In this paper, we have looked at formalization. A computer program must be and is a formalization. Basic data and processes must always be given a formalized description. We can use the computer to perform tasks that would have been considered intelligent if they were performed by humans, such as navigation or playing chess. But after the problem is formalized, the computer finds solutions by adding numbers. No intelligence is involved.