The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
其实伟大友谊不真也不假，就如世上一切东西一样，你信它是真，它就真下去。你疑它是假，它就是假的。我的话也半真不假。但是我随时准备兑现我的话，哪怕天崩地裂也不退却。
王小波名人名言哲理格言警句语录 王小波
我们趋行在人生这个亘古的旅途，在坎坷中奔跑，在挫折里涅盘，忧愁缠满全身，痛苦飘洒一地。我们累，却无从止歇;我们苦，却无法回避。
加西亚·马尔克斯名人名言哲理格言警句语录 加西亚·马尔克斯
虽然最理想的结果是让孩子尽快养成良好的学习习惯，但如果孩子本人没有这个心思，父母也不能操之过急。
森田友代名人名言哲理格言警句语录 森田友代
这是个性相似的两个人走了不同的方向，互为正负，合起来是一个人，像一枚硬币的两面。”
莫言名人名言哲理格言警句语录 莫言
我喜欢谈论自己胜过任何事情，这是我人生的主要课题。
奥斯卡·王尔德名人名言哲理格言警句语录 奥斯卡·王尔德
23．鸡蛋从外部打破是食物，从内部打破是生命 人来自外部力量是压力，内在的迸发是成长。
海明威名人名言哲理格言警句语录 海明威
我们会努力精打细算，保持我们的精益文化。我们清楚不断强化成本意识的重要性，尤其是企业还处于净亏损的时候。
杰夫·贝索斯名人名言哲理格言警句语录 杰夫·贝索斯
我们各种习气中再没有一种象克服骄傲那么难的了。虽极力藏匿它，克服它，消灭它，但无论如何，它在不知不觉之间，仍旧显露。
富兰克林名人名言哲理格言警句语录 富兰克林
如果我们抵制住了激情的诱惑，这并非是因为我们坚强而是它们太软弱。
弗朗索瓦·德·拉罗什富科名人名言哲理格言警句语录 弗朗索瓦·德·拉罗什富科
情感有三种之分，喜悦、悲伤与平静，这三种情感，驻留在我们的身体和思想中，情感如波浪升起，而后又归于平静，我认为，首先，审视情感的深度，理解了解它们，去追寻它们从何处而来，不论是快乐或者悲伤，都要去寻找它们的起源，而抵达源头时，只会发现，一切皆空，所谓虚空就像这青色的天空，虽空空如也，却能包绕下界万物。
释迦牟尼名人名言哲理格言警句语录 释迦牟尼
一切利已的生活，都是非理性的、动物的生活。
托尔斯泰名人名言哲理格言警句语录 托尔斯泰
The moment you stop trying is the moment you start dying.
你停止尝试的那一刻，就是你开始死亡的那一刻。
德雷克名人名言哲理格言警句语录 德雷克
凡是人尽可夫的女人，都挂着一个淑女的招牌。
舒婷名人名言哲理格言警句语录 舒婷
我们的时代迷上了速度魔⿁，由于这个原因，这个时代也就容易忘怀。
米兰·昆德拉名人名言哲理格言警句语录 米兰·昆德拉
在经常监督的压力之下成长的人们，不能希望他们多才多艺，不能希望他们有创造的能力，不能希望有果敢的精神，不能希望有自信的行为。
赫尔巴特名人名言哲理格言警句语录 赫尔巴特
财富是你睡觉时仍能为你赚钱的资产，不是你用时间换来的工资。
埃里克·乔根森名人名言哲理格言警句语录 埃里克·乔根森
Innovation in quarrying isn't just about new technology - it's about new thinking.
采石业的创新不仅在于新技术，更在于新思维。
玛丽·约翰逊名人名言哲理格言警句语录 玛丽·约翰逊
年青的人，目光应远大，要有英勇前进无畏的精神，处处应以国家社会为念。
竺可桢名人名言哲理格言警句语录 竺可桢
有两种过错是基本的，其他一切过错都由此而生：急躁和懒惰。
弗兰兹·卡夫卡名人名言哲理格言警句语录 弗兰兹·卡夫卡