使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
Writing is like digging for treasure—you never know what you'll find until you start.
精通不是天才或天赋的功能。它是时间和强烈专注于某一特定知识领域的功能。
You have to believe in yourself when no one else does.
It is absurd to say that we have a duty to be benefited.
The truth is that in America, the Jew is a figment of the Christian imagination.
