使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 probably not important to mathematics.
每一项法律都是对自由的侵犯。
对真理最好的检验是思想在市场竞争中被接受的力量。
数学是科学的女王，而数论是数学的女王。
The future of energy is diverse—no single source will dominate.
我确信我爱我所做的事情，这就是这些年来支持我继续走下去的唯一理由。
We are all of us made by what we have done, and what has been done to us.