程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
The only thing that can stop you is you.
注:米开朗基罗名画“最后的审判”完成处
The moment we want to believe something, we suddenly see all the arguments for it, and become blind to the arguments against it.
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。