The theory of computation provides a foundation for understanding what can and cannot be computed.
计算机科学家的真正价值在于他们能够看到看不见的东西并解决无法解决的问题。