Hacker News new | ask | show | jobs
by Joker_vD 468 days ago
> 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.