The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.
λ演算的基本概念是函数，被视为一种对应规则。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
如果周围的人试图劝阻你不要采取某些习惯，奚落嘲笑你的想法，就将它视为成功的潜在征兆。
吉姆·罗杰斯
最深刻的发现往往来自最简单的观察。
The most profound discoveries often come from the simplest observations.
约翰·霍普克罗夫特
皇帝轮流做，明年到我家。
吴承恩
行动力不足的真正原因是选择模糊。
周岭
从此以后你每天每日每小时每分钟的生活都变成了两个字——等待。等待他，等待他的电话，等待他那辆白色的标致车，等待他的召唤，等待他的爱抚，等待他的怜惜，等待他的空闲，等待他的好心情，等待他结束和别人的约会，等待他的爱情来让你安宁……
廖一梅
生活是可怕的、充满敌意的，它会迅速地向你猛扑过来，如果你让它有机可乘的话。
弗吉尼亚·伍尔芙
当一位母亲带着孩子来到我这里，并要我为孩子做些什么的时候，我总是先为母亲做些事情，然后孩子就会轻松。
伯特·海灵格
让你的风险变大的绝对不是创业，而是你的无知、傲慢和不学习！
樊登
应对不自由世界的唯一方法就是变得如此绝对自由，以至于你的存在本身就是一种反抗。
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
金·斯坦利·罗宾逊
又到了周末，有人喜欢周末是因为可以休息了，另一些人喜欢周末则是因为可以在竞争对手休息的时候继续工作。
王兴
The best investment is in the people who can build great companies.
最好的投资是那些能够建立伟大公司的人。
沈南鹏
History is indeed little more than the register of the crimes, follies, and misfortunes of mankind.
历史实际上不过是人类罪行、愚蠢和不幸的记录册。
爱德华·吉本
在某种程度上我们以道德检察官自居，参照标准就是自己的行为。不过我们从来都不认为在为保险投资组合购入一家公司的一小部分股票时，也应该以全世界的道德检察官自居
查理·芒格
花信来时，恨无人似花依旧，又成春瘦，折断门前柳，天与多情，不与长相守，分飞后，泪痕和酒，沾了双罗袖。
晏几道
去建立关系并珍惜，比起厌恶与破坏本就困难许多。
It has always been easy to hate and destroy. To build and to cherish is much more difficult.
伊丽莎白二世
记忆的冰川在岁月的侵蚀下，渐渐崩塌消融。保持着最初的晶莹的往事，已经越来越稀少。
毕淑敏
生命中所有事情其实早已注定，留得住的无需用力，留不住的无需费力。人到一定年龄，要懂得静而不争，万般随缘，来者珍惜，去者放手，如果无能为力，那就顺其自然，如果心无所待，那就随遇而安。
弘一法师
何谓“第一创新”？如果说破界创新的关键词是“破”，那么第一创新的关键字则是“立”。它是公理化思维在创新中的应用，是从一个抽象的第一性原理出发，用逻辑思维将其拆解，进而推导出这个系统的基本原理，打破原有认知，寻找并建立新系统的过程。
李善友
我不喜欢安分过什么“日子”，也不喜欢死气白赖地搅在一起。至于结婚不结婚之类的事情我都不爱去想。世俗所谓必不可少的东西我是一件也不要的。还有那个“爱”、“欠情”之类，似乎无关紧要。只希望你和我好，互不猜忌，也互不称誉，安如平日，你和我说话像对自己说话一样，我和你说话也像对自己说话一样。说吧，和我好吗？
王小波