计算理论为理解什么可以计算、什么不能计算提供了基础。
The theory of computation provides a foundation for understanding what can and cannot be computed.
Reality is always richer and more complex than fiction.