Computer logic forms much of my thinking too.
Godel showed that mathematics and logic are incomplete.
What Church, Turing and Post did independently, in slightly different ways is show that discrete Time (or Steps) is what was missing from Math and Logic.
In Math and Logic, you can ignore the time and steps that it takes to solve.
In Computing, you pay attention to the time and steps.
That’s part of its power: As long as it’s consistent in each of the steps, nothing necessarily has to link the outcome to the start.