程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
在追求数学真理的过程中,我们常常发现更多的问题而非答案。