The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
只有人才把怎样活着看得比活着本身更要紧，只有人在顽固地追问并要求着生存的意义。
史铁生
节俭驱动创新，就像其他约束一样。摆脱困境的唯一方法之一就是通过创新。
杰夫·贝索斯
The future of technology is not just about the devices we create, but the ecosystems we enable.
技术的未来不仅关乎我们创造的设备，更在于我们构建的生态系统。
西蒙·西格斯
一望无际的大自然令人臣服，让人意识到人的一生有多短暂，但这个意识不仅不会让人退却，反而能涌现出不知从何而来的活力。这种无法通过言语解释的力量，总是让我想全力以赴。
星野道夫
企业的成长，本质上是企业家的成长。
The growth of an enterprise is essentially the growth of the entrepreneur.
吴晓波
简单而有用的启发法：骗子是可以识别出来的，他们都会给你正向的意见，而且只有正向的建议，利用我们对所谓秘籍的轻信和热衷，只要看看那些教你“如何做”的书吧，这些书常常以“___的十大秘籍”为题（你可以在空格中填上致富、减肥、交友、创新、当选、健美、寻偶、经营孤儿院等）。然而实际上，人们是通过负向方法寻求成功的，这也是进化过程的选择：下棋高手通常通过不输棋而取胜；人们通过避免破产而致富（尤其是当别人破产时）;宗教大多制定了许多禁忌；生活的经验主要是关于我们应该避开什么事。由于采取了一小部分措施，你便能够降低个人发生意外的大部分风险。
塔勒布
所有的伟大，都是熬出来的。
杰夫·贝索斯
譬如，杀人，是不行的。但杀掉“杀人犯”的人，虽然同是杀人，又谁能说他错？打人，也不行的。但大老爷要打斗殴犯人的屁股时，皂隶来一五一十的打，难道也算犯罪么？新月社批评家虽然也有嘲骂，也有不满，而独能超然于嘲骂和不满的罪恶之外者，我以为就是这一个道理。
鲁迅
认错很难，特别是错了很久以后。
弗雷德里克·巴克曼
一年三百六十日，风刀霜剑严相逼。明媚鲜妍能几时，一朝飘泊难寻觅。
曹雪芹
在情爱的世界里最深的痛不是杨过与小龙女的两世相隔，而是梁山伯与祝英台的一世错过。
郦波
读书之乐何处寻，数点梅花天地心。
朱熹
父母要以身作则。
陈鹤琴
你的思维地图若不更新，你将永远迷失在贫穷的迷宫中。
哈维·艾克
文化比战略更重要。
Culture eats strategy for breakfast.
汤姆·海斯
婴儿是索取，成人是权衡，强者是给予。婴儿思维是“别人应该”，成人思维是“我应该”，强者思维是“我可以”。成人比婴儿多了一分主体感，强者比成人多了一分豁达。成人拿回了主动权，强者更多的是顺应规律。
刘晨曦
当你借出某个东西时，就当你是在送礼。如果对方还了，你就会感到惊喜和快乐。
凯文·凯利
美国大法官霍布斯：“法律的生命是经验而不是逻辑。”因为逻辑推论有可能得出非常荒谬的结论，在第一个逻辑命题得出结论的时候你觉得无懈可击，但也许第一个命题就有一点小小的瑕疵是你没有看到的，于是得出第二个命题，你又没有看到瑕疵，推出的瑕疵越来越多，但是你都认为是符合理性的，所以我们要进行逻辑训练，但是要超越逻辑。
罗翔
为了你我可以叫自己很努力，只为爱你。
佚名