Yes, it's called the theory of computation, Turing completeness, and complexity theory.
In other words, the very foundation of computer science.

→ View original post on X — @ylecun