计算理论为理解什么可以计算、什么不能计算提供了基础。
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.