The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
她意识到，有时候最难的事情就是放手。
男人被定义为人，而女人被定义为女性——每当她表现得像一个人时，她就被说成是在模仿男性。
学习数学的最好方法就是做数学。
The great powers are always searching for opportunities to gain power at the expense of their rivals, and they will use force if they think it will profit them.
每部电影都是一次旅程，你永远不知道它会带你去哪里。
生活是世界上最罕见的事情。大多数人只是存在，仅此而已。
在这个世界上，我该爱的人是我自己。
The money-god has no place in the temples of literature.
The power of the Internet of Things comes not from the number of devices, but from the value of the data they generate and the insights we can derive from it.