Computation is a mechanism to bridge this gap between what we know explicitly, and what we know implicitly.
Yes, this sounds correct to me. Computation is deriving some information step by step, because we cannot do it directly.
There are situations where you can predict the result of N steps directly, for example if each step means adding +1 to a number, then N steps mean adding +N; you do not need to do these steps individually. But if you add some logic, for example “next step is X/2 is X is even, or 3X+1 if X is odd”, then you can only do N steps by doing one step at a time (citation needed). The only way to be logically omniscient in such case is “infinite speed” or “magic”.
Yes, this sounds correct to me. Computation is deriving some information step by step, because we cannot do it directly.
There are situations where you can predict the result of N steps directly, for example if each step means adding +1 to a number, then N steps mean adding +N; you do not need to do these steps individually. But if you add some logic, for example “next step is X/2 is X is even, or 3X+1 if X is odd”, then you can only do N steps by doing one step at a time (citation needed). The only way to be logically omniscient in such case is “infinite speed” or “magic”.