It's kind of fun to do the impossible.

The goal of mathematics is to understand the patterns of the universe.

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 greatest blessing of our democracy is freedom. But in the last analysis, our only freedom is the freedom to discipline ourselves.