计算机科学中的任何问题都可以通过另一层间接性来解决。
The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.