The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
人类既逃避不了历史，也无法从中得到什么。
林语堂
要做事不能光想着顺，有时候也会走一些弯路。
任正非
The value of an economic model lies in its ability to explain and predict.
经济模型的价值在于其解释和预测的能力。
保罗·米尔格罗姆
人正因博学才谦逊，正因勇于牺牲才力量无比。
吉卜林
人善我，我亦善之；人不善就，我亦善之。
韩婴
谁若孜孜于寻找，就越容易迷失自己。一切孤独皆是罪过。
尼采
Integrity is the foundation of all meaningful relationships.
诚信是所有有意义关系的基础。
玛丽·布莱恩特
Real technology is when you don’t feel its existence.
真正的技术是让人感觉不到技术的存在。
王坚
没有什么孤独是不可逾越的。所有的道路都通向同一个目标：向他人传达我们的本性。我们必须穿越孤独和困难、孤立和沉默，才能到达那个迷人的地方。
巴勃罗·聂鲁达
成长就是妥协与坚持的两难。
东野圭吾
太上有立德，其次有立功，其次有。
王安石
创造比摄入更有价值。
奥赞·瓦罗尔
把我所有的东西都让给他们，就是为让他们跟着我走。
俞敏洪
记忆是相会的一种形式 ，忘记是自由的一种形式。
徐志摩
我只道有情人终成眷属，怎知道无限欢喜空成灰。
金庸
购买任何实物（纪念品、家具、书籍、工具、鞋子、设备）时，问问自己：这东西放哪里？如果没有地方放，就不要买。可能需要有东西离开，才能让新东西进来。
凯文·凯利
多疑的人是不会因此而满足的；他们往往不是因为有了什么理由而嫉妒，只是为了嫉妒而嫉妒，那是一个凭空而来、自生自长的怪物。
Jealous souls will not be answered so; They are not ever jealous for the cause, But jealous for they are jealous: 'tis a monster Begot upon itself,born on itself.
莎士比亚
这个人的美酒佳肴，就是那个人的穿肠毒药。
王小波
你逃避挑战时，其实是在否定自己进化的权利。
阿尔伯特·班杜拉