The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
侠义每多屠狗辈，负心皆是读书人。
谚语名人名言哲理格言警句语录 谚语
圣人常无心，以百姓心为心。
老子名人名言哲理格言警句语录 老子
只有在不幸之中，你才知道，你是谁。
斯蒂芬·茨威格名人名言哲理格言警句语录 斯蒂芬·茨威格
不要将炸药给孩子玩，即使炸药上带有警告标志。
塔勒布名人名言哲理格言警句语录 塔勒布
Innovation is not just about creating something new; it's about making something better.
创新不仅仅是创造新事物，更是让事物变得更好。
托德·瓦纳名人名言哲理格言警句语录 托德·瓦纳
In fuzzy logic, the truth of any statement becomes a matter of degree.
在模糊逻辑中，任何陈述的真实性都变成了一个程度问题。
洛特菲·扎德名人名言哲理格言警句语录 洛特菲·扎德
美是人的心灵的一个幻影，道德是人的生存的一个工具。人是注定要靠药物来维持生命的一种生物，而美就是兴奋剂，道德就是镇静剂。
周国平名人名言哲理格言警句语录 周国平
话语权属于阳的一方，它当然不会说阴的一方任何好话。
王小波名人名言哲理格言警句语录 王小波
赞扬戒律是一回事，遵守它则是另一外一回事。
塞万提斯名人名言哲理格言警句语录 塞万提斯
我相信讲故事的力量可以改变人们的生活。
I believe in the power of storytelling to change people's lives.
菲利普·塞默·霍夫曼名人名言哲理格言警句语录 菲利普·塞默·霍夫曼
今施人薄而望人厚，则人唯恐其有赐于己也。
现在如果送给别人很少的东西，却希望人家回报很多的东西，那么，人们就会怕你再送东西给自己了。 
墨子名人名言哲理格言警句语录 墨子
A company's greatest asset is its people. Invest in them, and they will invest in the company.
公司最大的资产是员工。投资于他们，他们就会投资于公司。
约翰·德莱尼名人名言哲理格言警句语录 约翰·德莱尼
法律规定得愈明确，其条文就愈容易切实地施行。
黑格尔名人名言哲理格言警句语录 黑格尔
人生就是一面镜子，我们梦寐以求的第一件事就是，从中辨认出自己。
尼采名人名言哲理格言警句语录 尼采
中国不缺惹祸的人，缺的是敢于担当的汉子，担当了，就还是条汉子！
崔永元名人名言哲理格言警句语录 崔永元
The only real mistake is the one from which we learn nothing.
唯一真正的错误是我们从中什么也没学到的错误。
理查德·拉索名人名言哲理格言警句语录 理查德·拉索
障碍是最棒的礼物，正因为有障碍才会比平常更努力去攻克它。
孙正义名人名言哲理格言警句语录 孙正义
医生说，世上有两种病人，一种想痊愈，另一种不想，努力想好起来的不一定成功，但放弃必然能够得偿所愿。
亦舒名人名言哲理格言警句语录 亦舒
最好的水果来自对自然时机的尊重。
The best fruits come from respecting nature's timing.
何塞·安东尼奥·加西亚名人名言哲理格言警句语录 何塞·安东尼奥·加西亚