The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
你必须强迫自己去考虑相反的论点，尤其是当他们挑战你最爱的观点时。
查理·芒格
我站在这里，别无选择。
马丁·路德
当他垂垂老时，他可以回乡了，山河依在，春天依旧，只是父母的坟，在太深的草里，老年僵硬的膝盖，无法跪拜。乡里，已无故人。
龙应台
A good programmer is someone who always looks both ways before crossing a one-way street.
一个好的程序员是在穿过单行道前会两边都看的人。
克里斯汀·尼加德
Success has no absolute meaning. Success is to be the best of yourself and present the best you.
成功没有绝对的意义，成功就是做最好的自己，并把最好的你呈现出来。
李开复
企业应该秉持为投资人省钱的节约原则，把钱真正投到技术和装备上，而绝不应该在非经营性项目上多花一分钱。
宋志平
我那时什么也不懂！我应该根据她的行为，而不是根据她的话来判断她。她香气四溢，让我的生活更加芬芳多彩，我真不该离开她的…我早该猜到，在她那可笑的伎俩后面是缱绻柔情啊。花朵是如此的天真无邪！可是，我毕竟是太年轻了，不知该如何去爱她。
安托万·德·圣-埃克苏佩里
我不知道我与西恩在将来是不是会幸福，可能不会幸福——肯定不会幸福——从但是幸福不幸福并不是我们负得了责任的事。
梵高
星河尽涵水，俯仰迷上下。
韩愈
预测未来的最好方法就是去创造它。
"The best way to predict the future is to invent it."
约翰·斯卡尔齐
世界上的事情永远不是绝对的，结果完全因人而异。苦难对于天才是一块垫脚石对能干的人是一笔财富，对弱者是万丈深渊。
巴尔扎克
资源领域的真正领导力意味着在当下取得成果的同时要看到几十年后的未来。
True leadership in resources means seeing decades ahead while delivering results today.
伊恩·克雷布
外面的世界很精彩，我的世界很平常。
汪曾祺
所谓穷，无非是指不置办家产，自食其力，自食其力是没有保障的，不仅病不得，老不得，也没有自由支配自己的时间，干自己喜欢或专长的事。
杨绛
倘使儿童或少年的心灵是敞开的，那它就是一条清澈的小河，这条小河映出洁净而晴朗的天空；如果是闭塞的心灵，那它就是黑暗的深渊，蝙蝠和蟾蜍就会在这个深渊中做巢。
别林斯基
面对一切都要强硬！
阿道夫·希特勒
问题在于用事实证明有理，没事实，有理也不值一文。
罗曼·罗兰
当我们有了自己的孩子时，我们可以拒绝成为曾经的父母，不让自己走上熟悉却可怕的路，将这些家庭教育中的创伤终结在我们这一代。你有权利也有能力拒绝成为他们那样的人。
理微尘
The most important thing in the Olympic Games is not winning but taking part; the essential thing in life is not conquering but fighting well.
奥运会上最重要的不是胜利，而是参与；人生中最重要的不是征服，而是奋力拼搏。
皮埃尔·德·顾拜旦