If a man will begin with certainties， he shall end in doubts； but if he will be content to begin with doubts， he shall end in certainties.

Insight is the sudden comprehension of the relations among the parts of a problem.

λ演算本质上是一个关于函数及其应用的理论。

你不需要气象员来知道风往哪个方向吹。

I've found time can heal most anything, and you just might find what you're looking for.

我会一直创作艺术，直到我死去的那一天。