The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
虽然我准备好成仁了，但这事赶晚不赶早。
丘吉尔
在傍晚，光明与夜色交替的神秘时刻，生活正从一种境界或状态向另一种境界过渡.啊，那即将来临的夜色，给予劳累一天的人们多少希望和允诺！一切旧的希望总是日复一日在这个时刻复苏.
西奥多·德莱塞
欲求长生者，必欲积善立功，慈心于物，恕己及人。
葛洪
夜投佛寺上高阁，星月掩映云曈昽。
韩愈
All I can do is be me, whoever that is.
我能做的就是做我自己，不管那是谁。
鲍勃·迪伦
我自然不满足，但又没有勇气刨根问底。无需说，自己没有那个权利。我在两人面前同时表现出来的，一是来自教育，来自必须注意自己品格这一教育的自尊，一是背叛这种自尊的私欲。
夏目漱石
摆脱了奴役和罪恶的束缚，摆脱了庸俗和野蛮，生命就显得有生气了。
马克吐温
自私不是按自己意愿生活，而是要求别人按你的意愿生活。
奥斯卡·王尔德
我要用利剑一样的说话刺痛她的心，可是绝不伤害她身体上一根毛发。无论在言语上给她多么严厉的谴责，在行动上却要做的丝毫不让人家指摘。
莎士比亚
爱会让人牵肠挂肚，也会让人妒忌生恨。每个人都有一段刻在灵魂里的往事，或许是前世，或许是今生。
加西亚·马尔克斯
其实我已经生活完全不能自理了，连手机屏幕都点不了，但我现在每天还要工作16个小时，这是一种常态，过去我也是这样，我40岁之前都是单身，工作二十年，基本没有休过年假，甚至连结婚都没有休过婚假，我也是这样一个执着和拼搏的人。
蔡磊
The world is full of pain, but art can heal it.
世界充满痛苦，但艺术可以治愈它。
草间弥生
你必须有深渊的眼睛，才能凝视深渊。
You must have the eyes of an abyss to gaze into the abyss.
克尔凯郭尔
竞争性接触会分化关系，但是合作性接触会让我们对对方的好感增加。
卫蓝
所有人类的错误都是不耐烦，过早地中断有条不紊的程序，对表面问题进行明显的围栏。
All human errors are impatience, a premature breaking off of methodical procedure, an apparent fencing-in of what is apparently at issue.
弗兰兹·卡夫卡
人生无非是一趟主观的旅程。
李一诺
爱情应当使人的力量和感觉更丰富起来，并且爱情的确在使人丰富起来。
马卡连柯
通过对话和交流，我们能够更好地理解他人，减少误解。
普罗泰戈拉
她感觉到自己的身体重得反常，越来越成为这种陌生的自我意识的牺牲品。对于胜利的热烈渴望，也驱使她要战胜那个过去的自我。
拉斯诺霍尔卡伊·拉斯洛