用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
A well-designed system is one that can evolve over time without requiring significant rework.
解析:这句话揭示了道的本质:道是可以阐述说明的,但并非寻常的道理;名是可以命名的,但并非通常的名称。