如果你不能飞，那就跑；如果你不能跑，那就走；如果你不能走，那就爬。但无论怎样，你必须继续前进。

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

An intelligent investing is value investing, acquiring more than you are paying for.

学问使人适合与自己为伍。

我一直对救赎和第二次机会的想法感兴趣。

分析的整个发展和运算过程现在都可以通过机械来执行。

与土地断开连接就是与我们自己断开连接。