A mathematical proof is a poem written in the language of logic.

"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."

The hand remembers what the mind forgets.

判断两个λ表达式是否等价的问题是无法解决的。

【译文】广泛学习钻研，坚定自己的志向，恳切地提出问题并且联系实际去思考，仁德就在其中了。