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 melancholy science from which I make this offering to my friend relates to a region that from time immemorial was regarded as the true field of philosophy, but which, since the latter's conversion into method, has lapsed into intellectual neglect, sententious whimsy, and finally oblivion.

我们每天可支配的时间是有弹性的；我们感受到的激情会扩展它，我们激发的激情会收缩它；而习惯会填补剩下的部分。