λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"No man really knows about other human beings. The best he can do is to suppose that they are like himself."
自由是告诉人们他们不想听的事情的权利。
The best way to be happy is to live your truth.
"The truth is, we are all connected in ways we can't even begin to understand."
The great and chief end, therefore, of men's uniting into commonwealths and putting themselves under government is the preservation of their property.