Agree with this. And I guess a more “applied” branch of science that covers this would be Computer Science in the area of Computational Complexity (https://en.m

Agree with this. And I guess a more “applied” branch of science that covers this would be Computer Science in the area of Computational Complexity (https://en.m.wikipedia.org/wiki/Computational_complexity_theory https://en.m.wikipedia.org/wiki/Computational_complexity_the...) See for example the section on Complexity classes wrt the P/NP/Pspace class problems mentioned above