λ演算的基本概念是函数，被视为一种对应规则。

We are entering an era where the biological sciences will dominate the intellectual landscape.

中西文化的融合不是简单的拼凑，而是产生新物质的化学反应。

写作是为无声者发声的方式。

我宁愿选择自由伴随着危险，也不要安宁却伴随着奴役。