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 highest manifestation of life consists in this: that a being governs its own actions.A thing which is always subject to the direction of another is somewhat of a dead thing.

在这个行业里，如果你很优秀，十次中你会对六次。你永远不会十次中对九次。

最好的肥料是农民在田间的身影。

唯一能给你带来幸福的是你自己。

To write is to bear witness to the world's beauty and cruelty.

晏子春秋

To be human is to be guilty.