I think it's the other way around: In physics, we don't know what the fundamental rules are, we can only see complicated outcomes and have to infer (guess) wha

I think it's the other way around: In physics, we don't know what the fundamental rules are, we can only see complicated outcomes and have to infer (guess) what the rules might be. In computing, we know what the fundamental rules are (universal computation; whether that's turing machines, lambda calculus, sk logic, etc. they're all equivalent in power), but we have to deduce what the complicated outcomes are.