The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
陈帅佛的话说互联网上失败一定是自己造成的，要不就是脑子发热，要不就是脑子不热，太冷了。
马云
每天说一些喜悦的话，鼓舞自己不要悲伤；每天做一些利人的事，鼓舞自己融入群众；每天谈一些益智的事，鼓舞自己增长聪慧；每天凝视圣者的慈像，鼓舞自己增加内心的善美。
星云大师
四周的窗全开着，雨做了重重的帘子，那么灰重的掩压了世界，我们如此渴望着想看一看帘外的晴空，它总冷漠的不肯理睬我们盼望。而一个个希望是如此无助的否定掉了，除了无止境的等待之外，你发现没有其他的办法再见阳光。
三毛
宁可人负我，切莫我负人。
佚名
英国的哲学家伯特兰·罗素（Bertrand Russell）说：“很多人宁可死，也不愿意独立思考。”因为群体中的独立思考等同于用自己的意识去对抗天性，用思想去对峙身体。
李善友
人家叫你走，高高兴兴也是走，怨气冲天也是走，天下无不散之筵席，不如恭敬从命，欣然引退，免得惹人憎厌。
亦舒
自主创新常被误认为是单打独斗搞创新，实际上自主创新不是自己创新、封闭创新，而是要协同创新、开放创新。我们要坚持自主创新和开放创新的辩证统一，运用合二为一的智慧，加大协同创新力度，突破创新主体间的壁垒，实现互相融合、互补共赢。
宋志平
经常性的训练会使大脑中受到训练挑战的区域发生改变。大脑通过自身重新布线的方式来适应这些挑战，增强其执行那些挑战所需功能的能力。
安德斯·埃里克森
Sustainability isn't an option; it's a responsibility we owe to future generations.
可持续发展不是一种选择，而是我们对后代的责任。
詹姆斯·卡特
Loneliness is the starting point of thought.
孤独是思考的起点。
凯尔泰斯·伊姆雷
Music has the power to heal and bring people together.
音乐有治愈和团结人们的力量。
莎拉·布莱曼
有些失败忘记了，有些失败习惯了，有些失败已经挽回了，但是却不能因此而将失败的印记抹去。或许应该说，失败才是我们活着的证明。
渡航
在经济增长下行的同时，更出现了人们并不想看到的经济结构转型，那就是金融、互联网和房地产对实体经济的挤出效应。
郑永年
The most important skill to learn is how to learn.
最重要的技能是学会如何学习。
蒂姆·费里斯
人的自信是建立在底线上的。一个人只有守住底线，才能获得成功的自我与成功的人生。
冯骥才
当有一天，你发现周围的人变得客气了，不是他们善良了，也不是素质提高了，而是你的实力变强了。
鲁迅
Love is the most intense form of attention.
爱是最强烈的关注形式。
奥尔罕·帕慕克
她的平淡，更使鸿渐恐惧，觉得这是爱情超热烈的安稳，仿佛飓风后的海洋波平浪静，而底下随时潜伏着汹涌翻腾的力量。
钱钟书
管理出效益，细节定成败。
Management brings benefits, details determine success or failure.
陈奋健