The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
"We accept the love we think we deserve."
我们接受自认为应得的爱。
莎拉·佩里
法治是人类文明进步的重要标志，是社会治理的基本方式。
李步云
记住人家的名字，而且很轻易地叫出来，等于给别人一个巧妙而有效的赞美。
卡耐基
我非常欣赏美国大法官霍姆斯所说的一段话，他说什么呢？他说法律的生命是经验而不是逻辑，作为法律人我们要学会逻辑推导，但是我们不要为逻辑推导所束缚了我们的常识，我们在逻辑之外还需要有我们的常识，作为普通人的常情常感，法律的生命是经验，而不是逻辑。
罗翔
And that's a lot of the reason why we care so much about our careers and indeed start caring so much about material goods. You know, we're often told that we live in very materialistic times, that we're all greedy people. I don't think we are particularly materialistic. I think we live in a society which has simply pegged certain emotional rewards to the acquisition of material goods. It's not the material goods we want;
这就是为什么我们如此在乎事业和成就，以及看重金钱和物质的原因。我们时常被告知我们处在一个物质挂帅的时代，我们都是贪婪的人。我并不认为我们特别看重物质，而是活在一个物质能带来大量情感反馈的时代。
阿兰·德波顿
技术最大的敌人是惯性。
The biggest enemy of technology is inertia.
王坚
聆听，是一种艺术，需要我们用心去感受和领悟。
阿川佐和子
奈飞的管理者应该与员工进行清晰而持续的沟通。”告诉员工：“这是我们现在面临的情况，那是我们需要去实现的目标。”管理者越是花更多的时间去详尽、透彻地沟通亟待完成的工作任务、面临的挑战以及竞争环境，那些政策、审批和激励措施就越不重要。
帕蒂·麦考德
云计算的竞争，最终是技术和服务的竞争。
张建锋
课程的丰富性决定着生命的丰富性，课程的卓越性决定着生命的卓越性。
朱永新
The soul is like an uninhabited world that comes to life only when God lays His head against us.
灵魂就像一个无人居住的世界，只有当上帝将头靠在我们身上时，它才会复苏。
托马斯·阿奎那
Leadership is about inspiring others to see the potential in what seems impossible.
领导力在于激励他人看到看似不可能的事情中的潜力。
让-马克·雅卡尔
高尚有高尚的代价，低下有低下的收益，清高有清高的寂寞，浑水摸鱼有浑水摸鱼的红火，智慧有智慧的痛苦，愚傻有愚傻的福气。
王蒙
与其根据你做了什么来评判自己，不如观察及欣赏你做对的事情。注意这样做给你的感觉有何不同。
菲利帕·佩里
努力是成功之母。
塞万提斯
我只是尽力做到最好，保持积极。
I'm just trying to be the best I can be and stay positive.
克里斯·布朗
如果我活得不好，那是因为我没有足够的时间去完成我的梦想。
米开朗基罗
如果她死了，我就不再关心她了。我觉得这是正常的，因为我很清楚，我死后，人们一定就会忘了我。他们本来跟我就没有关系。我甚至不能说这样想是无情无义的。
加缪
我对学习的定义是广义的。它包括从任何机构或者任何老师以外所得到的东西。它意味着获得这样一些知识和经历:帮助我们去对付生活赋予我们的挑战，寻找途径去加强我们自身的存在，以及为我们星球上的去芸众生的存在示找尽可能多的途径。换种方式说，学习的最高形式是让我们为这个世界的居民付出关爱，担负责任，并且给予我们将关爱转化成具体行动所必须的知识。
昂山素季