The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
生公与园吏，何处是吾师？
许浑
尽管左派的大词是“同情”，不过，他们的主要议程却是制造“依附”。吃政府救济的人越多，左派得到的选票就越多，也就能进一步扩大福利国家。
托马斯·索维尔
水浴凉蟾风入袂，鱼鳞触损金波碎。好天良夜酒盈樽，心自醉，愁难睡，西南月落城乌起。
纳兰性德
每一天醒来都是新的开始；每一天结束，都是“不教一日闲过”的胜利。
齐白石
人有时要懂得原谅人，过去了就当是笑话，他们没有东西写便要作，不要以为拿着支笔，全世界都怕了你，如果我有讲，写得夸张点都算，但无中生有就不可以接受。
王杰
博学只是事事存此天理，笃行只是学之不已之意。
王阳明
交易成本与管理成本的对比，确定了企业的边界。
刘润
Elegance in design comes from solving the right problem in the right way.
设计的优雅来自于以正确的方式解决正确的问题。
索菲·威尔逊
这时她用不着顾忌任何人，她可以独处，可以处于自然状态。这正是现在她常常感到需要的——思考；哦，甚至连思考也不要。只要静默；独自一人，一切外扩的、绚丽的、语言的存在和行为都消失了；人怀着庄严感缩回自我，一个楔形的隐秘的内核，是别人所看不见的。尽管她直挺挺地坐着，仍继续在织袜子，但正是这样她感受到了自我；而这个摆脱了一切身外附属之物的自我可以自由地从事最奇特的冒险。
弗吉尼亚·伍尔芙
Liberation from the affluent society does not mean return to healthy and robust poverty, moral purity and simplicity.
从富裕社会中解放出来并不意味着回归健康和强健的贫困、道德纯洁和简单。
赫伯特·马尔库塞
不管赢得这世界不是失去它。反正它是个无聊的世界。
拜伦
The role of education in economic development cannot be overstated; it is the foundation upon which innovation and productivity are built.
教育在经济发展中的作用不可低估；它是创新和生产力的基础。
迈克尔·斯宾塞
加勒比不是世界的边缘，而是世界的心脏。
德里克·沃尔科特
长久的沙漠生活，只使人学到一个好处，任何一点点现实生活上的享受，都附带的使心灵得到无限的满足和升华！。
三毛
表达愤怒的四个步骤是：（1）停下来，除了呼吸，什么都别做；（2）想一想是什么想法使我们生气了；（3）体会自己的需要；（4）表达感受和尚未满足的需要。
马歇尔·卢森堡
预测未来的最好方法就是创造未来。
The best way to predict the future is to create it.
埃鲁德·基普乔格
真正的力量并不在于控制他人，而在于控制自己。
爱利克·埃里克森
The wild yak is the true king of the Tibetan plateau, a symbol of the untamed spirit of this land.
野牦牛是青藏高原真正的王者，是这片土地狂野精神的象征。
尼古拉·普尔热瓦尔斯基
满足一时欲望、放弃个人尊严的快感只是过眼烟云，能体现出人性尊严的幸福才是真正的幸福。
罗翔