The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
没有什么比保持头脑清醒和自己真实坚持理想，更重要的事情了。
塞尔玛·拉格洛夫
对于三十岁以后的人来说，十年八年不过是指缝间的事，而对于年轻人而言，三年五年就可以是一生一世。
张爱玲
打翻了牛奶，哭也没用，因为宇宙间的一切力量都在处心积虑要把牛奶打翻。
毛姆
想维护尊严，死是最简单的手段。如何热烈饱满地保持自我，才是更艰深的。
汪曾祺
伟大的代价就是责任。
丘吉尔
做人就像是一家客栈，每个早晨，都是一位新来的客人。
鲁米
生命中不可承受的轻。
梁静茹
尊重别人，让别人感觉他很重要！
卡耐基
紫阳花的颜色会随着土壤的酸碱度而变，我们的感情也如此微妙。
渡边淳一
一个自身美好的主题对于艺术家毫无启示，它缺乏缺陷。
奥斯卡·王尔德
两个人同时犯了错，站出来承担的那一方叫宽容，另一方欠下的债，早晚都要还。
杜月笙
让成功持续的所谓“干法”，最重要一点就是“无私”，就是抱着无私之心去
稻盛和夫
人不能两次走进同一条河流。
赫拉克利特
数学家最好的工作往往来自于在别人看不到联系的地方发现联系。
A mathematician's best work often comes from seeing connections where others see none.
丹尼斯·苏利文
一颗星星，它没有名字却有光，有温暖，一颗又一颗，整个夜空都为之灿烂了。谁也不掩盖谁，谁也不妨碍别人的存在，相反的，彼此互相辉映，每一个是集体中的一分子。
臧克家
行走江湖，最忌心浮气躁，沉住气，保持两秒距离，瞻前顾后，礼让最紧要。使出真功夫，方为大师傅。
成龙
要发出光芒，必须忍受燃烧。
"What is to give light must endure burning."
大卫·阿尔蒙德
真是就是无法醒来
王小波
在很大程度上，我们如何理解世界取决于我们的直觉、我们的个性、我们感知世界的方式，以及一系列基础性的社会动机。
艾略特·阿伦森