使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
The challenge in computer science is to bridge the gap between the theoretical models and practical applications.
The essence of power is the ability to make others do what they do not want to do.