The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
有的人虽然已经故去，但只要有人还在怀念他，他就还会像从前一样幸福的活着。
莫里斯·梅特林克
说我脑袋坏了我觉得不一定，从辩证法的角度讲，谷底就是爬升到起点。在谷底的时候，最需要支持。我肯定不是救世主，我只是一个有责任感和热情没有完全泯灭的企业家。中国足球的滑坡是一个十多年的过程，想两三年就重新上去也不容易。我觉得足球能不能上去，我觉得不在现在这一批，而在于以后。
王健林
我们都在日复一日地发生变化，通过缓慢而无意识的进化，赢得了不可避免的时间法则，现在它不再抹去昨天在人类心灵神秘桌子上写下的东西。
格拉齐亚·黛莱达
人的一生就是体道，悟道，最后得道的过程。
佚名
"The books that the world calls immoral are books that show the world its own shame."
世界称之为不道德的书籍，是那些揭示了世界自身羞耻的书籍。
杰弗里·尤金尼德斯
中国AI不可能永远处在跟随的位置！
梁文锋
爱是一切的关键。
Love is the key to everything.
宇多田光
一个人如果不是真正有道德，就不可能真正有智慧。精明和智慧是十分不一样的两件事。精明的人是精细思考他自我利益的人；智慧的人是精细思考他人利益的人。
雪莱
真正的教师必是读书爱好者：这是我校集体生活的一条金科玉律，而且已成为传统。
苏霍姆林斯基
学习不是被动接受，而是主动探索。
埃隆·马斯克
人事就是这样子，自己造囚笼，关着自己，自己也做上帝，自己来崇拜，生存真是一种可怜的事情。
沈从文
人们好为人师的困扰均源于人际关系的冲突。
欧文·亚隆
每一次失败都是为了更好的归来。
猫神
没有烤架，地狱是别人的。他们可以通过灌输你而让你失去理智。
让-保尔·萨特
The greatest battles are not fought with weapons, but with ideas.
最伟大的战斗不是用武器进行的，而是用思想进行的。
安·莱基
国家之强，以得人为强。
曾国藩
只有心里最干净的人才能把情欲表达的如此完美。
梅兰芳
如果不是处于丰田汽车公司濒临倒闭的困境之中，或者说如果没有当时日本经济不景气的社会背景，根本不可能产生所谓的丰田生产方式，更不可能在全球生产管理界独树一帜。
大野耐一
投资的目标是盈利还是实现某种社会理想，其间的平衡必须把握。
张磊