The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
Power is not a tool, it is a relationship. It exists between people, not within them.
权力不是工具，而是一种关系。它存在于人与人之间，而不是人本身。
阿卡迪·马丁名人名言哲理格言警句语录 阿卡迪·马丁
看吧，想从过去日子里找点回忆有多么徒劳无益。看看吧，过去，在我身边时总把自己弄得干干净净的姑娘成了什么样子。我一催马，跑到前面去了。马的四蹄在春天的大路上扬起了一股黄尘。后面的那些人，都落在尘埃里了。
阿来名人名言哲理格言警句语录 阿来
Wisdom begins in wonder.
智慧始于惊奇。
苏格拉底名人名言哲理格言警句语录 苏格拉底
内心强大，方能抵御外界风雨。
施一公名人名言哲理格言警句语录 施一公
改变的本质，其实就是创造新经验，用新经验代替旧经验。创造新经验需要通过新的行为，获得新的反馈、新的强化，并切身体验到它。切身体验的经验，信息浓度非常高，这跟听来、看来的道理很不一样。如果只有想象中的期待，而没有新行为带来的新经验，改变就很难发生。
陈海贤名人名言哲理格言警句语录 陈海贤
打工、生存，是我需要学习的一部分，这跟我的家庭条件没多大关系。
豆豆名人名言哲理格言警句语录 豆豆
Success is not final, failure is not fatal: it is the courage to continue that counts.
成功不是终点，失败也并非致命，重要的是继续前进的勇气。
玛丽·弗里奥名人名言哲理格言警句语录 玛丽·弗里奥
我们想的不是怎么获得超高的回报率，而是始终牢记永远不亏钱。
巴菲特名人名言哲理格言警句语录 巴菲特
传统的人看到背离传统的行为就大发雷霆，主要是因为他们把这种背离当作对他们的批评。
罗素名人名言哲理格言警句语录 罗素
墓草凄凄，落照黄昏，歌声犹在，斯人远矣。――汪曾祺
汪曾祺名人名言哲理格言警句语录 汪曾祺
富贵功名都是人世间的虚浮荣誉，惟有胸襟浩大才是人生真正好的享受。
曾国藩名人名言哲理格言警句语录 曾国藩
流华净肌骨，疏瀹涤心原。
颜真卿名人名言哲理格言警句语录 颜真卿
我和查理还没学会如何解决公司的难题，但是我们学会了如何避开难题，我们的成功在于我们集中力量于我们能跨越的一尺栅栏上，而不是发现了跨越七尺栅栏的方法。
巴菲特名人名言哲理格言警句语录 巴菲特
调整了心态，情绪就不会维持在旧模式。
李中莹名人名言哲理格言警句语录 李中莹
他所探求的就是悲伤与理智，这两者尽管互为毒药，但却是语言最有效的燃料，或者如果你们同意的话，它们是永不褪色的诗歌墨水。
约瑟夫·布罗茨基名人名言哲理格言警句语录 约瑟夫·布罗茨基
To write is to remember, but to read is to forget.
写作是记住，而阅读是忘记。
让-玛丽·古斯塔夫·勒克莱齐奥名人名言哲理格言警句语录 让-玛丽·古斯塔夫·勒克莱齐奥
行百里者半九十，末路之难也。
刘向名人名言哲理格言警句语录 刘向
要想得到长久的记忆，大脑在处理接收到的信息时必须足够透彻且深入，这就要求大脑在处理信息时集中精力，并且要将这一信息有意图且系统性地与记忆中已经完善的知识联系起来。
萨尔曼·可汗名人名言哲理格言警句语录 萨尔曼·可汗
Quality starts at the farm; it's the foundation of everything we do in dairy.
质量始于农场；它是我们在乳制品行业所做一切的基础。
露西·泰勒名人名言哲理格言警句语录 露西·泰勒