判断两个λ表达式是否等价的问题是无法解决的。

在一个充满仇恨的世界，我们仍须勇于希望。在一个充满愤怒的世界，我们仍须勇于安慰。在一个充满绝望的世界，我们仍须勇于梦想。在一个充满猜忌的世界，我们仍须勇于相信。

在策划别人的事时好像在策划自己的事，则思虑能周全。在策划自己的事时如同策划别人的事一样，则旁人能看清一切。

理论计算机科学不仅仅是关于算法和数据结构；它是关于理解计算的基本限制。

学习应使人感到快乐，否则不能称之为真正的学习。