合作是科学进步的基础——没有人是独自工作的。

In language， there is no one-to-one correspondence between words and the things they refer to.

Literature is a force that can change the world.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。