"

The problem of deciding whether two λ-expressions are equivalent is unsolvable.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： 判断两个λ表达式是否等价的问题是无法解决的。
💬 推荐名言 20句推荐
宏观经济政策的制定需要平衡短期稳定与长期发展，过度依赖短期刺激可能埋下长期隐患。
刘元春 刘元春
中国经济政策研究专家
27：人是可以很坏的，但也可以学着不要变坏，你自己会有一个判断。
威尔•施瓦尔贝 威尔•施瓦尔贝
作家
一个领导者应该承认，个人的能力是极为有限的，一个人若做能力以上或以下的工作，都容易遭到失败。为了避免能力发挥上的缺点，更应该分层负责，这才是提高工作效率最科学的方法。
松下幸之助 松下幸之助
被人称为“经营之神”
我是忠于我的书和我的态度的：如果精神与肉体不能谐和，如果他们没有自然的平衡和自然的相互的尊敬，生命是难堪的。
戴维·赫伯特·劳伦斯 戴维·赫伯特·劳伦斯
英国小说家、批评家、诗人、画家
下雪不寒化雪寒。
谚语 谚语
广泛流传于民间的简洁而富有教育意义的语句
辛勤工作糊提高你的名誉与声望，让你取得成功。
富兰克林 富兰克林
美国政治家、物理学家、社会活动家
终极神器是颗修炼得见了就做了、做了就放下了的混横明强的心。
冯唐 冯唐
战略管理专家
爱情是真正的富有，它不会受金钱和地位的影响，它只与内心的真挚和纯洁有关。
夏洛蒂·勃朗特 夏洛蒂·勃朗特
长篇小说《简·爱》的作者
不惮以最坏的恶意来推测中国人。
鲁迅 鲁迅
中国现代文学的奠基人之一
真正的武术大师不是靠肌肉和力量，而是靠智慧和技巧。智慧能让你在战斗中找到对手的弱点，技巧能让你有效地利用这个弱点。
李小龙 李小龙
截拳道创始人
穷人的眼泪固然值得同情，可也不能忽略富人的申诉。
塞万提斯 塞万提斯
《唐·吉诃德》作者
昔年志尚好诗书。被褐怀珠玉，颜闵相与期。开轩临四野，登高望所思。丘墓蔽山冈，万代同一时。千秋万岁后，荣名安所之。乃悟羡门子，噭噭令自嗤。
阮籍 阮籍
竹林七贤之一
如果病人濒死，那么所有投机性治疗方法都是值得鼓励的，什么都可以尝试。反过来，如果病人几近健康，那么大自然才是真正的医生。
塔勒布 塔勒布
被誉为“黑天鹅之父”
花园的墙应该足够高以将世界挡在外面，但又足够低以让天空进来。
路易斯·巴拉甘 路易斯·巴拉甘
色彩与情感建筑大师
The winds are the breath of the ocean.
马修·方丹·莫里 马修·方丹·莫里
现代海洋学之父，风生洋流理论提出者
谦谦君子，卑以自牧；伐矜好专，举事之祸也。
王阳明 王阳明
明代杰出的思想家
懂得珍惜生命，不再对它进行随意浪费。
王朔 王朔
痞子作家
我们平时都有一种感觉：体力有时充沛，有时并没有病，却感觉浑身无力；思维有时敏捷，有时反应迟钝；情绪有时极好，遇到不顺心的事情，也不烦不燥；有时没什么不顺，心情却莫名其妙地烦躁。
魏书生 魏书生
全国中青年有突出贡献的专家
亚洲铜，亚洲铜。祖父死在这里，父亲死在这里，我也将死在这里，你是唯一的一块埋人的地方。
海子 海子
中国当代诗人
如果你乐于向他人付出，那么你获得的回报将更丰厚，你们的关系也会更长久。 
瑞·达利欧 瑞·达利欧
桥水基金的创始人
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行