We are all bound by the social contract to obey the laws， but we also have the right to participate in making those laws.

函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

Twenty years from now, you will be more disappointed by the things you didn’t do than the ones you did.So throw off the bowlines. Sail away from the safe harbor. Catch the trade winds in your sails. Explore. Dream. Discover. （注：这句说话被部分人质疑不是由马克·吐温所说的。）

永远不要低估一个精心设计的实验的力量。

赢得奖牌并不是奥运会的重点。重要的是参与。