Furthermore, a formal understanding of computation will give you a good intuition of what things are "good" or "bad" techniques (algorithmically), what kinds of things are computable/not, etc.

This can be advantageous (you know things like DP and more formalized algorithms) but most of it is far above what you will ever need to do (probably. Certain areas use more high-level things)