路上丢失的东西没有人去捡拾,老百姓不敢乱取非分之财。并非形容民风淳朴,而是形容法律严明。
判断两个λ表达式是否等价的问题是无法解决的。
要真正理解宇宙,我们必须首先理解我们理解的极限。
Psychology must be a guide to practical living.
The greatest battles are not fought with weapons, but with ideas.