判断两个λ表达式是否等价的问题是无法解决的。
The ethical implications of gene editing must be carefully considered as we advance.
真正的炼金术士不是将铅变成金;他们将世界变成文字。