计算理论为理解什么可以计算、什么不能计算提供了基础。
The theory of computation provides a foundation for understanding what can and cannot be computed.
The most sustainable building is the one that people love and care for.
当一个人不能再拥有的时候,他唯一能做的便是不要忘记。
你不必伟大才能开始,但你必须开始才能伟大。
如果名分不正理论上便讲不通,理论上讲不通,事情便办不成;……因此,君子给某种事物起名字时,就一定要在理论上讲得通,在实践上就一定能行得通。
The best way to learn mathematics is to do mathematics.