预测未来的最好方法就是创造未来。

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 process of perception is not a simple matter of recording sensory data but involves the active organization of that data into meaningful patterns.

Aprender a leer es lo más importante que me ha pasado en la vida.