判断两个λ表达式是否等价的问题是无法解决的。
Innovation in science often comes from looking at old problems in new ways.