判断两个λ表达式是否等价的问题是无法解决的。
使生命成为可能的唯一事情是永久且难以忍受的不确定性;不知道接下来会发生什么。