The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
我承认这种生活有其社会价值，我也看到了人们在这种循规蹈矩的生活中享受着幸福，但是那时的我热血涌动，渴望经历更为狂野的人生旅程。
毛姆
商业的本质是创造价值，而不是简单地转移价值。
黄峥
一个人一朝瞧不起自己了，被人瞧不起了，现实生 活和他的希望抵触了，他就自杀，表示他重视社会，不愿丧 尽了人格或者失去了荣华再活下去。
巴尔扎克
美丽毕竟不是可以通过说服别人来接受的啊。
阿兰·德波顿
我在世界上最爱的是你。胜过一切。胜过我所见过的一切。胜过我所读过的一切。胜过我所有的一切。胜过一切。
玛格丽特·杜拉斯
每日所读之书，最好分两类；一类是精熟的，一类是涉览的；因为我们一面要养成读书心细的习惯，一面要养成读书眼快的习惯。心不细则毫无所得，等于白读；眼不快则时候不够用，不能博搜资料。
梁启超
真正的猛男，敢于直面惨淡的人生。猛男的另一个特征，哭的时候要躲起来。我真嫉妒你们能遇到这么猛的老师！
罗永浩
在班风建设过程中，班主任的心态非常重要。功利心过强，试图在短时间内取得好的成绩，势必造成行动上操之过急。
陈秋中
君人者释其刑徳而使臣用之，则君反制于臣矣。
韩非子
折戟沉沙铁未销，自将磨洗认前朝。
杜牧
人就这样世故，你好给你锦上添花，不好给你雪上加霜。
麦家
幸福是指灾祸竟已过去和灾祸犹未到来，那一段时空状态才是所谓幸福。
木心
先王贵诚信；诚信者，天下之结也。
历代君王都很重视诚信，诚信是凝聚人心的纽带。
管仲
才者，德之资也；德者，才之帅也。
司马光
很多人失去了快乐，是因为他太敏感了。别人一句话、一个评论就使自己生气一个月。这时非常无聊的。严重了就成了马家爵，因为别人不请自己吃饭就郁闷地要杀人。
俞敏洪
对承认的渴望，灵魂中的胸腺部分，是灵魂中最基本的人性部分。
The desire for recognition, the thymotic part of the soul, is the most fundamentally human part of the soul.
弗朗西斯·福山
相信你的梦想，即使没有明确的路径，也相信它们会实现。
迈克尔·劳塞尔
在文化上，无效必然导致无聊，无聊又必然引来无耻。但是，即使到了这种“三无”的低谷，也不必过于沮丧。因为只有低谷，才能构成对新高峰的向往。
余秋雨
像我们这样规模的公司，很明显地，作业必须精密地分工，但这并不意味我们必须「本位化」。
李奥·贝纳