历史不是过去。它是现在。我们带着我们的历史。我们就是我们的历史。

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.

我一直被一种声音所吸引，它既绝对权威，又绝对谦卑。

你能给别人的最大礼物就是你的时间，因为你给了他们永远无法收回的东西。