The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
如果你成功以后，身边尽是假的朋友和真的敌人，不管怎样，还是要成功；你所做的善事明天就会被遗忘，不管怎样，还是要做善事；诚实与坦率使你容易受到欺骗和伤害，不管怎样，还是要诚实与坦率；人都会同情弱者，却只追随赢家，不管怎样，还是要为一些弱者奋斗；你耗费数年所建设的可能毁于一旦，不管怎样，还是要建设；如果你找到了平静和幸福，人们可能会嫉妒你，不管怎样，还是要快乐；
特蕾莎修女
完美的文章并不存在，就像完美的绝望并不存在一样。
村上春树
Every decision we make today about ocean resources will echo for decades to come.
我们今天关于海洋资源的每个决定都将在未来几十年产生影响。
莎拉·约翰逊
群众的选举权，不管是受到限制还是普遍给予，不管是在共和制还是在君主制之下，不管是在法国、比利时，德国，葡萄牙都是一样的。它所表达的，不过是一个种族无意识的向往和需要。当选者的一般意见都反映着种族的秉性，这种秉性从上一代人到下一代人不会有显著的变化。
古斯塔夫·勒庞
这个世界永恒不变的只有变化本身，变化催生创新，所以我们投资变化，而不投资于垄断所赚取的超额利润。垄断从基因角度来看并不能形成创新，只有不断拥抱创新，才能形成一种善意的价值创造，最终形成让蛋糕更大、开放共赢的局面。
张磊
家庭排列工作的核心是和解，尤其是孩子与父母的和解。每一个人都希望接受父母好的一面，而去抱怨父母不好的一面，这样的态度，这样的重复会让我们冻结固着在过去原生家庭的冲突当中。评判“好，坏”，会将一些人和事排除在我们的心灵之外，将我们更加牢固的和过去联接。而助人治疗工作的要点在于促进发展和成长，所以助人者需要时刻警醒，放下评判心。如果他和案主同样去评判分别，去指责愤怒，去要求补偿，去认同案主的“好坏”，那么他就阻碍了和解。
伯特·海灵格
革命无止境，倘使世上真有什么“止于至善”，这人间世便同时变了凝固的东西了。不过，中国经了许多战士的精神和血肉的培养，却的确长出了一点先前所没有的幸福的花果来，也还有逐渐生长的希望。倘若不像有，那是因为继续培养的人们少，而赏玩，攀折这花，摘食这果实的人们倒是太多的缘故。
鲁迅
人类的悲欢并不相通，但绝症病友之间可以。他们自己身处深渊，却会为身边的朋友存有被拯救的机会而欢呼雀跃。
蔡磊
古之立大事者，不惟有超世之材，亦必有坚忍不拨之志。
苏轼
繁华过眼，不过一瞬。
包天笑
“央企市营”并不复杂，就是植根“央企”的属性，提高“市营”的能力。
宋志平
我一向是相信进化论的，总以为将来必胜于过去，青年必胜于老人，对于青年，我敬重之不暇，往往给我十刀，我只还他一箭。然而后来我明白我倒是错了。这并非唯物史观的理论或革命文艺的作品蛊惑我的，我在广东，就目睹了同是青年，而分成两大阵营，或则投书告密，或则助官捕人的事实！我的思路因此轰毁，后来便时常用了怀疑的眼光去看青年，不再无条件的敬畏了。然而此后也还为初初上阵的青年们呐喊几声，不过也没有什么大帮助。
鲁迅
我控告您无视爱情，一味逃避，唯唯诺诺，我判决您终身孤独
弗朗索瓦丝·萨冈
中国社会有个通病，就是希望每个人都照一个模式发展，衡量每个人是否“成功”采用的也是一元化的标准：在学校看成绩，进入社会看名利。真正的成功应是多元化的。成功可能是你创造了新的财富或技术，可能是你为他人带来了快乐，可能是你在工作岗位上得到了别人的信任，也可能是你找到了回归自我、与世无争的生活方式。每个人的成功都是独一无二的。
李开复
认识到自己的思考方式和方法，并观察自己思考的过程。
李笑来
重力告诉物质如何运动，物质告诉重力如何弯曲。
约翰·惠勒
The biggest risk is not taking any risk.
最大的风险是不冒任何风险。
亚瑟小子
真正建立共产主义社会的任务正是要由青年担负。
列宁
你必须自己寻找解决之道，按本性去做，别无他法。如果自己找不到出路，那我觉得你也无法找到自己的圣灵。
赫尔曼·黑塞