我们总是希望在我们的程序中要说的是,所有已知语言都只能说得不好。
我希望不久之后我们就能有一台能够解决所有数学问题的机器。