The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
Great truths are even more simple than I thought they were....
伟大的真理比我想象的还简单。
查尔斯·舒尔茨
对幼儿来说，妈妈的声音是具有特殊意义的参照物。
蒙台梭利
A poet can service everything but a misprint.
诗人可以拯救一切除了印刷错误。
奥斯卡·王尔德
像我这样的女人，总是以一个难题的形式出现在感情里。
陆小曼
要始终记得自己是一个可以不断生长的人，要始终对生活、生命有敬畏，有期待，有相信，有开创。世界是流动的，不是为任何一个人设计的，它无时无刻不在变化。
梁永安
嫉妒你的快乐，它并不是因为我。
陈绮贞
两秒钟。
马云
人类清醒的一个独特之处就在于自我意识。我们不仅能观察外部世界，也见证着自己的内心世界。
弗雷德·考夫曼
一曰慎独而心安。
曾国藩
When he looked into her dark eyes， and saw that her lips were poised between a laugh and silence， he learned the most important part of the language that all the world spoke—the language that everyone on earth was capable of understanding in their heart. It was love.
当他凝视她的黑眼睛，看着她的嘴唇在笑与沉默之间徘徊时，他学到了世界上所有人都能理解的语言——那是爱。
保罗·科埃略
重赏之下，必有勇夫。
司马光
不畏惧被人讨厌，而是勇往直前，不随波逐流，而是激流勇进，这才是对人而言的自由。
岸见一郎
悔悟是去病之药，然以改之为贵。
解析：悔悟虽好，但改正更重要。
王阳明
存在即是被感知。
乔治·贝克莱
灵魂肯定是一种承载重量的物质，它离去了，人体反而沉重。
毕淑敏
站在风口上，猪都能飞起来
雷军
心正自然邪不扰，身端怎有恶来欺。
冯梦龙
资本市场的本性不可能出现很多赢家，赢的只是少数。
巴菲特
The art of film is the art of manipulating time and space.
电影的艺术是操纵时间和空间的艺术。
罗曼·波兰斯基