The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
如果将来我们要做到系统地整合在线教学内容，并以最适合学生的方式有针对性地推送教育内容，那很可能我们需要学术体系结构的变革，而这类重大创新通常只能通过重量级团队才能有效完成。
克莱顿·克里斯坦森
中国历史上，共同创业的人大都逃不过“四同”的结局——同舟共济——同床异梦——同室操戈——同归于尽。
当年明月
消灭敌人，要靠朋友；消灭朋友，要靠朋友老婆；消灭朋友老婆，要靠上帝。
李敖
仕宦而至将相，富贵而归故乡。
欧阳修
允许万事万物穿过自己，接纳真实的自我。
墨多先生
天下之理，一而已矣。
天下的道理，归根结底只有一个。
姚鼐
历史是一面镜子，它不仅反映过去，也照亮未来。
孟宪实
当一个人有心事的时候，无论是笑容还是舞蹈，都会表现出一种强烈的夸张。
德川家康
不管怎么说，不怀希望、不求报答的爱情肯定比一切工于心计的引诱更能打动一个女人的心。
普希金
人生如棋，落子无悔。
金宇澄
在爱情中，我们寻找的不是捷径，而是深度。
In love we are not looking for shortcuts, but for depth.
迈克尔·翁达杰
大石拦路，勇者视为前进的阶梯，弱者视为前进的障碍。
普希金
卡拉旺先生一向过着标准的公务员生活；30年了，他天天早晨上班，走的是相同的路，在相同的时刻，相同的地点，看见相同的赶着去办公的人；每天晚上，他循着相同的路线回家，又遇见那些他亲眼看着苍老下去的相同的脸。
莫泊桑
他是王爷也好，是乞儿也好，我心中总是有了他。他是好人也罢，坏人也罢，我总是他的人了。
金庸
你的命运由你的选择塑造，而你的选择，由你的意识决定。
荣格
司法独立是法治国家的重要标志，必须得到全社会的尊重和维护。
高铭暄
La vida es una tragicomedia que se representa en un escenario inestable.
生活是一场在不稳定舞台上表演的悲喜剧。
卡米洛·何塞·塞拉
最大的风险是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。
The biggest risk is not taking any risk. In a world that's changing quickly, the only strategy that is guaranteed to fail is not taking risks.
戴维·麦克米伦
女人的晚来的爱情并不是紫红色的花朵，而是疯狂的，像道旁的迷人的野花。
米哈依尔·肖洛霍夫