计算理论为理解什么可以计算、什么不能计算提供了基础。
To love beauty is to see light.
The wise person does not dogmatically assert anything, not even that the wise person knows nothing.
质量就是在无人注视时依然把事情做对。
To write is to give voice to the voiceless.