The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
Faith is the great cop-out, the great excuse to evade the need to think and evaluate evidence. Faith is belief in spite of, even perhaps because of, the lack of evidence.
信仰是伟大的逃避，是逃避思考和评估证据需要的伟大借口。信仰是在缺乏证据的情况下，甚至可能是因为缺乏证据而相信。
理查德·道金斯
是故凡大国之所以不攻小国者，积委多，城郭修，上下调和。
王尔德
投资中最大的风险不是价格的波动，而是本金的永久性损失。
邱国鹭
心灵太渴望快乐所以当他得不到的时候它就得自己制造快乐。当面对太残酷的现在的时候它就必须回到过去生活。过去的幸福时光仍留下些许的记忆它们的光芒在未来的时间里仍将长久的照耀着。
罗曼·罗兰
当爱情轻敲肩膀时，连平日对诗情画意都不屑一顾的男人，都会变成诗人。
柏拉图
我们都在寻找自己的故事，但有时候，故事也在寻找我们。
佚名
命运如同手中的掌纹，虽然曲折，但始终掌握在自己手中。
宅猪
如果你看了很多书，千万别告诉别人，告诉别人别人就会不断考你。
马云
我们能产生的最伟大的东西就是品格。其他一切都可以从我们身上夺走，但不能夺走我们的性格。
亨利·福特
The architect must design for the senses, not just the eyes.
建筑师必须为感官设计，而不仅仅是眼睛。
保罗·门德斯·达·洛查
了解你的员工是什么样的，确保他们出色地完成工作。
瑞·达利欧
在年龄开始走下坡路的时候，几乎所有的人都热衷于向人述说自己的身体、精神是从哪感觉衰退的。
拉罗什富科
最成功的企业是那些能够快速适应变化，同时忠于其核心价值观的企业。
The most successful businesses are those that adapt quickly to change while staying true to their core values.
约翰·威廉姆斯
如果一位母亲能够从孩子出生那天起就尊重自己和孩子，那她根本无须教会孩子尊重，孩子便会认真对待自己和他人。但是如果一位母亲当初并没有从自己的母亲那儿获得尊重，她会设法借助教育的手段从孩子身上获得这些。
爱丽丝·米勒
历史无暇记住一个人的苦难，因为多数人的利益和欲望才是历史的主人。
史铁生
追根究底，一直向深层探索下去，我们就能够发现，人类蒙受的一切苦难，都可以追溯到一个事实——那就是在银河的历史上，几乎没有任何人能够了解他人的心思。
艾萨克·阿西莫夫
道德的形成不是个体性的，而是关联性的。性格不是通过坐在房间里思考是非的区别、通过自身的意志力来培养的。性格，从我们的承诺中显现出来。如果你想把性格灌输给别人，就教他们如何做出承诺——童年时的临时性承诺，青年时期的临时性承诺，成年后的永久性承诺。承诺，是道德养成的学校。
戴维·布鲁克斯
这世上凡是人群聚集的地方，谈论的话题无外乎三个：拐弯抹角的炫耀自己，添油加醋的贬低别人，相互窥探的搬弄是非。
加西亚·马尔克斯
天薄我以福，吾厚吾德以迓之；天劳我以形，吾逸吾心以补之；天危我以遇，吾享吾道以通之；天苦我以境，吾乐吾神以畅之。
上天安排我福分浅薄，我就培养高尚道德去迎接它；上天安排我身体劳顿，我就修炼精神安逸去弥补它；上天安排我遭遇艰危，我就努力实现政治理想去沟通它；上天安排我境况困苦，我就力求精神愉快去疏导它。
金兰生