In mathematics, the journey of discovery is as important as the destination.
在数学中，发现的旅程和目的地一样重要。
The most important property of a program is whether it accomplishes the intention of its user.
小王子存在的证据就是他非常漂亮，他笑着，想要一只羊。他想要一只小羊，这就证明他的存在。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
The world is a place of the living, and the dead have no place in it. The dead are nothing. They are not even a memory. They are forgotten. And the living, too, will be forgotten.