"

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

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： 判断两个λ表达式是否等价的问题是无法解决的。
💬 推荐名言 20句推荐
我不是因为同性恋而爱他，也不是因为爱他而同性恋。我只是爱上了一个人，而我们恰好是同性。
顾漫 顾漫
中国当代作家、编剧
鼓励甚至逼迫每个人提出自己的独到见解。
杰克·韦尔奇 杰克·韦尔奇
全球第一CEO
多样性不仅仅是一个需要努力达到的指标，它是企业成功不可或缺的一部分。
詹姆斯·昆西 詹姆斯·昆西
可口可乐公司总裁兼CEO，推动全球业务增长
数据质量是统计工作的生命线，没有质量的数据就像没有根基的大厦。
金勇进 金勇进
统计调查与数据分析专家
迷信源于无知，对知识的漠视使人沦为教条的奴隶，唯有理性才能破除蒙昧。
德尼·狄德罗 德尼·狄德罗
法国启蒙思想家、哲学家、戏剧家
没有地图。我们一路走一路被辜负，一路点燃希望一路寻找答案。
徐志摩 徐志摩
中国著名的新月派现代诗人
龙须气成云。
韩愈 韩愈
中国唐朝中期官员、文学家
Prosperity is not without many fears and distastes; and adversity is not without comforts and hopes."OF ADVERSITY "
培根 培根
英国文艺复兴时期散文家、哲学家
给孩子金钱、学历、才艺、荣誉，都不如让他们学会人格自立，做个堂堂正正的人，才是一生的底气。
南怀瑾 南怀瑾
中国国学大师、施承志弟子
 改变了思想/意识，就改变了命运！
朗达·拜恩 朗达·拜恩
澳大利亚电视制片人、作家
一物体从甲地到乙地，永远不能到达。因为欲从甲到乙，需通过全路程之二分之一；通过全路程二分之一，则需先通过全路程之四分之一；通过全路程之四分之一，则需先通过全路程之八分之一……如此往复，则此物根本为路程之无限分割所碍而不能运动。
芝诺 芝诺
古希腊数学家、哲学家
山河者，财用之宝路也。铁制品者，农家之死士也。
桓宽 桓宽
真正关注负面反馈并征求意见，尤其是从朋友那里来的。…几乎没有人会这样做，但它非常有用。
埃隆·马斯克 埃隆·马斯克
企业家、工程师、发明家、慈善家
聆听无弦琴的演奏，方能领悟“序、破、急”的含义。
夏目漱石 夏目漱石
日本的“国民大作家”
你永远无法通过猜测来获得真相，真相只能通过严谨的推理来接近。
柯南道尔 柯南道尔
结婚仿佛金漆的鸟笼，笼子外面的鸟想住进去，笼内的鸟想飞出去，所以结而离，离而结，没有了局。
钱钟书 钱钟书
与饶宗颐并称“南饶北钱”
有钱不置怨逆产，冤家宜解不宜结。
周希陶 周希陶
清代文学家
文明的最明显通象是惯性。愈是深浸文明、服膺文明的人，愈是依循惯性。
舒国治 舒国治
中国作家
当我带着好心情、抽出时间去看一本自己认为不错的书，可结果却是不知所云，我感到极度恼火，真想把这本杂志给吞了。
刘同 刘同
青年作者
当我们逃脱时，我们感到自由——即使只是从煎锅跳到火中。
扎迪·史密斯 扎迪·史密斯
多元文化文学的先锋
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行