计算理论为理解什么可以计算、什么不能计算提供了基础。
In the world of computation, complexity is not an enemy, but a challenge to be understood and mastered.
有时候最难的事和最正确的事是同一件事