> Computing devices are not objectively computing. They simulate the formal construct. Isn't it backwards? I don't think that e.g. herding sheep into the pen w

> Computing devices are not objectively computing. They simulate the formal construct. Isn't it backwards? I don't think that e.g. herding sheep into the pen while making a mark on the door for each sheep "simulates counting sheep". Instead, you can use the formal construct "counting sheep" to describe this physical process: "doing this and this will count the sheep". Otherwise you may very easily end up puzzled why maths is so unreasonably effective in natural sciences.