我坚信这个理论：你付出多少就会得到多少。

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.

我只是尽力做到最好。

理解心灵需要理解符号如何根植于感知和行动。