当你停下来思考你是否爱一个人时，你已经永远停止爱那个人了。

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.

质量永远不应妥协，因为信任是一次一个产品建立起来的。

让女性成为理性的生物和自由的公民，她们很快就会成为好妻子；——也就是说，如果男性不忽视丈夫和父亲的职责。

发现可能性的极限的唯一方法就是超越它们进入不可能。