程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
预测未来的最好方法就是创造它。
I do not wish them [women] to have power over men; but over themselves.
我没有特定的配方[用于开发新的证明]...这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路，试图利用你能收集到的所有知识来想出一些新技巧，如果运气好的话，你可能会找到出路。
我们必须保持好奇心，永远不要停止对周围世界的质疑。