实现不可能的唯一方法就是相信它是可能的。

真相是，我们都在寻找某种东西，但我们不知道它是什么。

The most important property of a program is whether it accomplishes the intention of its user.

科学中真正的挑战不仅是理解自然，而且是利用自然来改善人类。

A good abstraction is one that emphasizes the important details and suppresses the unimportant ones.

数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。