科学的进步不是一条直线，而是一系列曲折，常常需要回溯步骤以获得更好的立足点。
我不会让恐惧阻止我，我会让它激励我。
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.
安全不是优先事项——优先事项可以改变。安全是一个永远不会改变的核心价值。
The mind is a set of information-processing machines that were designed by natural selection to solve adaptive problems faced by our hunter-gatherer ancestors.
Escribir es una forma de terapia; a veces me pregunto cómo se las arreglan los que no escriben, los que no componen música o no pintan.