用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
我们必须倾听祖先的低语,因为他们掌握着时代的智慧。
It is good to have an end to journey toward; but it is the journey that matters, in the end.