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.

“做出伟大工作的唯一方法是热爱你所做的事情。”

"The challenge of acting is to live truthfully under imaginary circumstances."

You have to believe in yourself when no one else does.

Can a man still be brave if he’s afraid. That is the only time a man can be brave.

Every mental act is an act of adjustment.

最深刻的发现往往来自最简单的问题。

The next generation of farmers will be the most technologically savvy in history.