The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
柏拉图说：“我们一直寻找的，却是原本自己早已拥有的。我们总是东张西望，唯独漏了自己想要的，这就是我们至今难以如愿以偿的原因。”
顾及
哀乐不同而不远，吉凶相反而相袭。
王勃
黑夜总是激起官感丰富的想象，以梦幻甜蜜的毒汁使希望紊乱。
斯蒂芬·茨威格
Success in the energy sector requires a balance of innovation and responsibility.
在能源行业取得成功需要创新与责任的平衡。
琳达·库克
原来有些东西，没有就是没有，不行就是不行；原来愚蠢，并不那么好笑，失望，并不那么好笑。
麦兜
Think globally, act locally.
全球化思考，本地化行动。
吴欣鸿
过去从未真正过去，它徘徊在我们生活的角落。
The past is never really past; it lingers in the corners of our lives.
乔恩·麦格雷戈
The beauty of mathematics lies in its simplicity and depth.
数学之美在于它的简洁与深度。
让-皮埃尔·塞尔
几米说：想你的时候，你会不会也刚好正在想我。
几米
人是无常多变的，好运也是。
拿破仑
岁月如梭，时光荏苒，我们常常在追逐中错过了自己。
余秀华
任何经历本身并不是成功或者失败的原因。我们并非因为自身经历中的刺激——所谓的心理创伤——而痛苦，事实上我们会从经历中发现符合自己目的的因素。决定我们自身的不是过去的经历，而是我们自己赋予经历的意义。
岸见一郎
与其结交可靠的朋友，不如自己结交朋友可靠。
王尔德
我觉得人类共同的追求目标就是幸福、快乐。人是生活在人群里，人就要学会关心、爱和付出。
李连杰
我觉得人有梦想从什么时候开始都不算太晚。
毕淑敏
现在我必须记下的失望（因为我温和地想把我的故事逐渐表现为贯穿在我的幸福中的持续不断的冒险和恐惧）丝毫不应当影响那片具有抒情、史诗、悲剧的色彩但却绝对没有田园牧歌情调的美国荒野。那些荒野美丽非凡，令人心碎，它们那种天真纯朴、默默无闻的柔顺品质是我那表面光洁、像玩具一样鲜亮的瑞士村庄和受到详尽无遗地赞誉的阿尔卑斯山所不具备的。
弗拉基米尔·纳博科夫
我觉得提高公众科学素养的任务非常重，所以我要做直播，一方面是因为我必须找到一个简便的、可持续的商业模式，让攻克渐冻症的事业能够持续下去，持续为之输血；另一方面，我想把这个直播间做成科学直播间，讲科学，普及科学，让所有人都注重科学，热爱科学，在全社会形成更好的科学氛围。
蔡磊
我们唯一能够逃避的就是逃避本身。
弗兰兹·卡夫卡
大概每个人都得在临死前，因为再没有可以失去的，在生命最后的时刻才活在当下，讲出最想讲的，最敢讲的话。
阿来