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.
有时候你必须被打倒得比以往任何时候都低,才能站得比以往任何时候都高。
目标不是完美,而是进步。
Die Zeit heilt nicht alle Wunden, sie lehrt uns nur, mit dem Schmerz zu leben.
充分发挥人的天性禀赋,发挥得越多越好:运用天性去穷究物理,极尽智力,通达自然,思惟神妙,造就豁达的胸怀和高洁的品德;尽量压抑人的情感欲望,遏制到越少越好:管束自己去谨慎说话,持重办事,约束自身,心地高洁,还要节衣缩食并减少情欲和嗜好。