计算理论为理解什么可以计算、什么不能计算提供了基础。
"The past is never dead. It's not even past."
This was a very short visit, but it plunged the little prince into deep dejection.