λ演算是一种表示函数及其应用的形式体系。

城市是一个伟大的人工制品，是人类文明的最高作品。

The true measure of our success in forestry will be what we leave for future generations, not just our quarterly reports.

人是生而自由的，但却无往不在枷锁之中。自以为是其他一切的主人的人，反而比其他一切更是奴隶。

反复练习是儿童的智力体操。

忍受生活的唯一方法就是逃入艺术。