You must do the things you think you cannot do.
你必须做你认为自己做不到的事。
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 mind is a dynamic equilibrium of processes.
The forest doesn't need us; we need the forest.
有时最深刻的数学来自于玩弄简单的想法，直到它们展现出隐藏的复杂性。
你是你自己最好的东西。
数学是理性的音乐。
科学应该弥合实验室和实地之间的差距。
The art of algorithm design is not just in solving problems, but in discovering new ways to think about them.