The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
突破自我，突破思维定势，突破昨天。
张瑞敏名人名言哲理格言警句语录 张瑞敏
只有对⼀千件事情说“不”，才能确保我们不会误⼊歧途或浪费过多尝试。
史蒂夫·乔布斯名人名言哲理格言警句语录 史蒂夫·乔布斯
"好了，史蒂夫，我觉得我们可以换一种方式来看待这个问题。我觉得现在的情况更接近于这样——我们都有个有钱的邻居，叫施乐，我闯进他们家准备偷电视机的时候，发现你已经把它盗走了。"
沃尔特·艾萨克森名人名言哲理格言警句语录 沃尔特·艾萨克森
我对一遍又一遍地扮演同一个角色不感兴趣。
I'm not interested in playing the same character over and over again.
罗素·克劳名人名言哲理格言警句语录 罗素·克劳
在一个政府是唯一的雇主的国家里，反抗就等于慢慢地饿死。“不劳动者不得食”这个旧的原则，已被“不服从者不得食”这个新的原则所代替。
哈耶克名人名言哲理格言警句语录 哈耶克
活还是不活，这是个问题。
莎士比亚名人名言哲理格言警句语录 莎士比亚
当你不只为寻求利益时，反而会获得快速发展。
埃里克·乔根森名人名言哲理格言警句语录 埃里克·乔根森
人是世界上一切财富中最巨大的财富。
苏霍姆林斯基名人名言哲理格言警句语录 苏霍姆林斯基
我们对这个世界知道的还是在太少，无数的未知包围着我们，才是人生保留迸发的乐趣。当哪一天，世界上的一切都能够明确解释了，这个世界也变得十分无聊。人生就会成为一种简单的轨迹，一种沉闷的重复。
余秋雨名人名言哲理格言警句语录 余秋雨
意识是一个无法用线性物理学来处理的单一过程；因为意识是绝对独一无二的。
埃尔温·薛定谔名人名言哲理格言警句语录 埃尔温·薛定谔
天上的星辰，骤雨般落在大海上，嗤嗤繁响。海波如山一般的汹涌，一切楼屋都在地上旋转，天如同一张蓝纸卷了起来。树叶子满空飞舞，鸟儿归巢，走兽躲到它的洞穴。
冰心名人名言哲理格言警句语录 冰心
人生的意义是难以找到精准答案的，既然这个问题是无解的，那不如与自己和解，在我们的有生之年，从事自己热爱的事业，和自己喜欢的人在一起，大概就是活着的意义。
陶勇名人名言哲理格言警句语录 陶勇
8. 不过我认为单凭情感做出的预期及想象，不一定从来都是错的，充其量只是不理性的罢了。
加缪名人名言哲理格言警句语录 加缪
我们能种植的最有价值的作物是生产者和消费者之间的信任。
The most valuable crop we can grow is trust between producers and consumers.
西奥·帕菲特名人名言哲理格言警句语录 西奥·帕菲特
在互联网上获得正确答案的最好方法是发布一个明显错误的答案，并等待有人来纠正你。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利
明月多情应笑我，笑我如今，辜负春心，独自闲行独自吟。
纳兰性德名人名言哲理格言警句语录 纳兰性德
许多年过去了，人们说陈年旧事可以被埋葬，然而我终于明白这是错的。因为往事会自己爬上来。
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼
我深信不疑我们的模式会赚钱的，亚马逊是世界上最长的河，是世界上最高的山，阿里巴巴是世界上最富有的宝藏。一个好的企业靠输血是活不久的，关键是自己造血。
马云名人名言哲理格言警句语录 马云
人间是非其实争的就是那相差的五十步，就是单项比较下的甲比乙好一点而已。——是非不是绝对的对立，而是相对的谁比谁好一点。
李敖名人名言哲理格言警句语录 李敖