The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
日长似岁闲方觉，事大如天醉亦休。
陆游
请好好对待自己，开始爱自己、肯定自己，这才是内在的小孩所需要的。
露易丝·海
我不喜欢做简单的事，我喜欢挑战自己。
I don’t like to do easy things. I like to challenge myself.
碧昂丝
恶习初现时令人厌恶，然若与之长久共存，人心便会习惯，乃至将其拥抱为友。
亚历山大·波普
人但凡有一点优势，总是权欲熏心，而之所以想要独占一切，恰恰因为拥有太多。
孟德斯鸠
许多人栽跟头，没栽在大字上，皆栽到小字上。或者，没领会小字的深意。
刘震云
I'm not a product of the music industry, the music industry is a product of me.
我不是音乐产业的产物，音乐产业是我的产物。
Lady Gaga
只要相信自己做的对，就不要在意别人怎么说。
卡耐基
You have to take the opportunities when they come along.
当机会来临时，你必须抓住它。
苏珊·波伊尔
生命是渺小的，像沙漠沙漠上一粒金黄的细沙，一点也不起眼；生命更是伟大的，像一颗璀璨的夜明珠，珍贵无比。因此，我们要珍爱生命。
杏林子
耳目宽则天地窄，争务短则日月长。
陈继儒
生活可能不像你想象的那么好，但是也不会像你想象的那么糟。人的脆弱和坚强都超乎了自己的想象，有时候可能脆弱的一句话就泪流满面，有时候你发现自己咬着牙已经走过了很长的路。
莫泊桑
在信息爆炸的时代，投资者更需要警惕‘信息过载’导致的决策瘫痪。
余剑峰
石油人的精神就是艰苦奋斗、无私奉献，这种精神任何时候都不能丢。
王宜林
快乐是责任的副产品，脱离责任去追求快乐，最后得到的一定是痛苦。
罗翔
多元宇宙的概念自然地从宇宙的膨胀模型中产生。
The concept of a multiverse arises naturally from the inflationary model of the universe.
约瑟夫·波尔钦斯基
我生来就是明星，我不做普通人。
I was born to be a star, I don't do regular.
50美分
为了中华民族的伟大复兴，（以及中国公民的赴美免签），学子们好好学习啊！
徐小平
We shall show mercy, but we shall not ask for it.
丘吉尔