The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
一切都会过去的，惟有真理长存。
陀思妥耶夫斯基
意识是量子力学的核心问题。
埃尔温·薛定谔
休别有鱼处，莫恋浅滩头。
周希陶
虽然疾病缠身，身处困境，依然坚持理想，保持生命不息战斗不止的顽强意志。
奥斯特洛夫斯基
我读《Barron’s》杂志，读了整整 50 年，我在《Barron’s》中只找到了一个投资机会。通过这个机会，我在几乎没有任何风险的情况下，赚了 8000 万美元。我把这 8000 万美元交给了李录管理，李录把它变成了 4、5 亿美元。可以这么说，我读《Barron’s》，读了 50 年，从中找到了一个投资机会，赚了 4、5 亿美元。我读了 60 年了《Fortune》杂志，也没从中找到一只股票的线索。我不是说了要延迟满足，这就是延迟满足。
查理·芒格
The future is not something to be predicted, but something to be achieved.
未来不是用来预测的，而是用来实现的。
约翰·奈斯比特
If you’re not failing occasionally, you’re not pushing the boundaries enough.
如果你没有偶尔失败，说明你还没有足够地突破界限。
伊恩·利文斯通
呜呼陶渊明，奕叶为晋臣。
颜真卿
"Emotions exist for the sake of action."
情绪的存在是为了行动
梅西
书店里的畅销书从表面上看似乎很无序，事实上却是出自不同群体的各路思想者的精神大餐。有的直击时弊，有的追捧潮流，有的讲述名人成长经历，有的谈古论今……如果我们细细品味，完全可以从无序的畅销书中发现一个气象万千的世界，在杂乱无章中接受多元的思想碰撞和精神启迪。
李希贵
The only thing I'm addicted to is winning.
我唯一上瘾的就是赢。
50美分
每个故事都是谎言，但有些谎言比其他谎言更真实。
Every story is a lie, but some lies are truer than others.
安东尼奥·洛博·安图内斯
卡尔·萨根花了一辈子，想找到地外文明存在的证据。他失败了，没能找到。可他让千千万万人——其中包括我——对宇宙和星辰产生了浓厚的兴趣。他对人性做出了难以估量的巨大贡献，这提升了他自己生命的层次，也帮助我们去理解这个有幸生活在其间的宇宙。 只要你享受了这趟旅程，只要你创造出了令自己感到骄傲的艺术作品，就算你没能抵达心目中的终点站，又有谁会在乎呢？ 你已经是赢家了。
奥赞·瓦罗尔
有时间增加自己精神财富的人才是真正享受到安逸的人。
梭罗
我认为我不是一个受过良好教育的典范，我学会了通过阅读来获得我想要的信息。在我的生活中，我经常这样做。我常常喜欢已经去世的杰出导师，而不是还活着的老师。
查理·芒格
小人未得志，尾尾焉；一朝得志，岸岸焉。
刘伯温
由百折不挠的信念所支持的人的意志，比那些似乎是无敌的物质力量具有更大的威力。
爱因斯坦
人的一辈子不会因为缺少了某个人而过不下去的。”。
辛夷坞
日本人就算服用了兴奋剂也进不了前三名，更不可能得冠军！
刘翔