The most important property of a program is whether it accomplishes the intention of its user.
我认为数学之所以有价值,是因为它具有这种令人难以置信的结构,你可以探索和发现。
The question is not, Can they reason? nor, Can they talk? but, Can they suffer?