判断两个λ表达式是否等价的问题是无法解决的。
I’m not a rapper, I’m a cultural icon.
最根本的问题不是什么最好,而是谁来决定什么是最好。
"The only thing to do with good advice is to pass it on. It is never of any use to oneself."
哲学的本质不在于它提供的答案,而在于它提出的问题。