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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
要想成功，你必须愿意失败。
Look at me.We all have marks on our face. I have this wrinkle here from your first surgery.I have these wrinkles here from your last surgery. This is the map that shows us where we’ve going.And this is the map that shows us where we’ve been.And it’s never ever ugly.
艺术家必须是神秘的仆人。
The fundamental 'formula' of Gestalt theory might be expressed in this way: There are wholes, the behavior of which is not determined by that of their individual elements, but where the part-processes are themselves determined by the intrinsic nature of the whole.
如果我们照顾好海洋，海洋也会照顾好我们。
最好的策略是足够灵活以适应变化。
