The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
所谓冒险就是不知道自己在做什么。
巴菲特
选择医学可能是偶然，但你一旦选择了，就必须用一生的忠诚和热情去对待它。
钟南山
不断修行升华的孔子，到了岁时，知道了他的使命，就是“传道”。所以孔子从岁开始周游列国。当然，周游列国的目的，绝非是为了求得一官半职，而是弘传此道。孔子不排斥当官，所以孔子是可仕则仕，可止则止，可久则久，可速则速。
陈果
故事里不再出现与你相关的画面，一个人的幸福怎么编。
周杰伦
月亮下面的金钱，从来没有使劳碌的人类有片刻的安静。
但丁
忧劳可以兴国，逸豫可以亡身，自然之理也。
欧阳修
所谓天下事岂能尽如人意，就表明了在时间的推移中，我们每每发现现实的自我永远是有缺陷的。它尽管追赶着理想的自我，但总是差一步。于是，我们若胆敢把往事来重提，哪一事不能令人懊丧追悔？懊丧追悔有什么用呢？时光不倒流，亡羊补牢并不能收回已失去的羊群。人生的历史不能重写也许是人间最大的憾事罢。
费孝通
困难、挫折在等待着你们，所以一定要有所遇见，要为未来的挑战做好准备。机会是给有准备的人，但是迎接你们的不仅仅是机会，还有很多挑战，所以要早做准备，让自己训练得更成熟，让自己的心智更成熟，这样当你面对困难的时候，你会临危不乱，这是一个成功者必须要锤炼的一种心智。要有信念，要有一颗平常的心，要有遇见。
王树国
我们思想的大小决定我们成就的大小。我们思想的大小决定我们成就的大小。这其中最重要的一条就是我们要看重自己，克服人类最大的弱点——自贬，千万不要廉价出卖自己。你们比你们想象中的还要伟大，所以，要将你们的思想扩大到你们真实的程度，绝不要看轻自己。
约翰·洛克菲勒
夕阳衔山，影漫东墙，一刚一柔的两个身影离开了墨绿色的绿椅，向病房大楼走去。 合欢树的一排排对生叶片，随着暮色的来临，悄悄地合拢了。
霍达
不论你遇到什么困难，都要相信自己有能力克服。
央视金句
一个基础得不能再基础的常识：对于食品来说，“东西要好吃，才能卖得好”。但很多品牌都想不明白，似乎觉得弄一些花里胡哨的概念就能让消费者掏钱。
小马宋
当你成功的时候，你说的所有话都是真理。
马云
做人要含蓄点，得过且过，不必斤斤计较，水清无鱼，人清无徒，谁又不跟谁一辈子，一些事放在心中算了。
亦舒
要想得到某件东西，最可靠的办法是，让自己配得上她。
查理·芒格
"The world is changed by your example, not by your opinion."
世界因你的榜样而改变，而不是因你的观点。
阿里·史密斯
预测未来的最好方法就是创造它。
The best way to predict the future is to invent it.
克莱夫·辛克莱
The terror of art is that you don't know where it will take you.
艺术的可怕之处在于你不知道它会把你带向何方。
菲利普·罗斯
The power of words lies in their ability to connect us to the deepest parts of ourselves.
文字的力量在于它们能够将我们与自己最深处的部分连接起来。
布里吉特·吉罗