The market is an example of a spontaneous order: a system which is the product of human action but not of human design.
如果名分不正理论上便讲不通,理论上讲不通,事情便办不成;……因此,君子给某种事物起名字时,就一定要在理论上讲得通,在实践上就一定能行得通。
Sustainability is not an option; it’s a responsibility.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The world is always right. In its judgments, it is always right. Because it is the world.