所有生而为人的人都需要教育,因为他们注定要成为真正的人,而不是野兽、迟钝的动物或木头块。
判断两个λ表达式是否等价的问题是无法解决的。
The only way to do great work is to love what you do.
唯一真正的智慧是知道你一无所知。
保持谦逊,保持渴望,永远不断学习。
One of the greatest ways to avoid trouble is to keep it simple...the system often goes out of control.
建筑师必须是一位先知...真正意义上的先知...如果他不能预见至少十年后的未来,就不要称他为建筑师。