λ演算本质上是一种纯粹抽象的函数理论。
人的心智是如此构造,以至于能够对事件的概率形成判断。
下一波经济增长将由那些将地球置于利润之上的人推动。
追求知识是一场没有终点的旅程,而这正是它令人兴奋的地方。
科学是一项协作的努力,重大的发现不会孤立地发生。
In computer science, we stand on the shoulders of giants.