The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
坚志者，功名之枉也。
葛洪
人们的沟通模式会被分成四种主要类型，分别是：控制型、表现型、谨慎型和温和型。为方便记忆，我们可以用四个动物形象——老虎、孔雀、猫头鹰和考拉来标注他们。
李天田
如果你不能承受失败，就不要做创新者。
杰夫·贝索斯
社会是一泥坑，我们得站在高地上。
巴尔扎克
我爱你，关你什么事，千怪万怪，也怪不到你身上去。
张爱玲
我不喜欢依赖任何人，我有很强的自尊心。
I don’t like to depend on anyone else. I have a lot of pride.
碧昂丝
婚姻就像金色的鸟笼，在外面的想进去，在里面的却想出来。
罗素
公众在任何时候任何地方都是一样的：又聪明又愚蠢，又和善又残酷——这要依当时的心情而定。它永远是一群羊，需要好牧人看羊狗；牧人和狗把它领到那儿去，它就永远跟着走。
契诃夫
她知道自己在很早以前就已死去，现在不过跟幽灵一样，孤独的人生也不过是一场戏。死神站在她身旁，那张脸竟然跟时隔多年再次重逢的亲戚一样熟悉。
韩江
The function of the writer is to disturb the sleep of the world.
作家的职责是扰乱世界的睡眠。
爱德华·阿尔比
狂热者并不是真会坚持原则的人。他拥抱一项大业，主要并非由于它正确神圣，而是因为他亟需有所依附。这种感情上要有所依附的需要，往往会把他拥抱的任何大业转化为神圣伟业。
埃里克·霍弗
采矿技术的创新不是为了取代人，而是为了让他们能够更好、更安全地完成工作。
Innovation in mining technology isn't about replacing people, but about empowering them to do their jobs better and safer.
迈克尔·戴维斯
你要像一个病人似的忍耐，又像一个康复者似的自信。
赖内·马利亚·里尔克
You don't have to be a rock star to want to change the world.
你不需要成为摇滚明星才能改变世界。
波诺
经济的关键是适度的竞争，而不是垄断。
The great object of all regulations is to secure the utmost quantity of useful produce.
大卫·李嘉图
法律应该建立在正义和公平的原则上。
亚里士多德
为市井草莽之臣，早输国课；作泉石烟霞之主，日远俗情。
陈继儒
我经常是受命于危难之际，但是通过我的迅雷不及掩耳的手段和铁血作风，常常化险为夷，踏荆棘如坦途。
巴顿
数学是提出正确问题然后找到答案的艺术。
Mathematics is the art of asking the right questions and then finding their answers.
丹尼斯·苏利文