If liberty means anything at all, it means the right to tell people what they do not want to hear.

世界是一本书，不旅行的人只读了一页。

使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。

The problem with the world is that the intelligent people are full of doubts, while the stupid ones are full of confidence.

In the long run every program becomes rococo - then rubble.

释义：通过分析物品的过剩与短缺，就能判断其价值的高低。这句话揭示了市场供求关系对价格的影响。