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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
我不能选择那最好的，是那最好的选择我。
All writing is an attempt to escape the self.
出自汉·桓宽《盐铁论·国疾》。谀言，阿谀奉承的话。这句话以林中必然多疾风为喻，说明富贵之后就有趋炎附势之徒进阿谀奉承之言的必然性。释义：森林中往往刮大风；富贵人面前往往都是一堆奉承话。
最痛苦的事情是在太爱一个人的过程中失去自己，忘记了你也很特别。
对抗邪恶最确定的手段是极端的个人主义、独立的思考、异想天开甚至古怪反常。