判断两个λ表达式是否等价的问题是无法解决的。
青春美酒并不总是随岁月流逝而日渐清彻,有时它会日渐混浊。
在科学中最令人兴奋的短语,预示着新发现的,不是“我找到了!”而是“这有点奇怪...”