计算理论为理解什么可以计算、什么不能计算提供了基础。
To write is to carve words into the flesh of time.
I'm not running from my past; I'm running toward my future.