理论的任务不仅是了解自然是什么以及它是如何运作的，而且要尽可能接近理解为什么自然是这样的而不是其他样子的不可达到的目标。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

The best investment strategy is one that is simple, low-cost, and broadly diversified.

教育是你可以用来改变世界的最有力武器。