"

The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： 函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
💬 推荐名言 19句推荐
You can't change the past, but you can learn from it.
佚名 佚名
制度必须与人事相配合。
钱穆 钱穆
中国现代历史学家、思想家、教育家
头脑是我的一切，身体只是一个附件。
柯南道尔 柯南道尔
凡榨，榨水木也，古之名柞也。
宋应星 宋应星
《天工开物》作者
为人善良和正直才是最光荣。
卢梭 卢梭
启蒙运动代表人物之一
在德军进军莱茵兰之后的二十四小时，是我一生中最紧张的时刻，我不止一次地跪下来祈求神显灵，保佑德国。结果我的祈求灵验了，我要消灭法兰西，夺回因为 1919 年凡尔赛条约，失去的国家、土地，以及应有的尊严。
阿道夫·希特勒 阿道夫·希特勒
第二次世界大战的发动者
大事起于难，小事起于易。
诸葛亮 诸葛亮
中国古代杰出的政治家
保持真诚。行正事，无愧于心。认准对的事，坚持到底。
T.S.艾略特 T.S.艾略特
现代诗歌革新者
逢场作戏和终身不渝之间的区别只在于逢场作戏稍微长一些。
王尔德 王尔德
英国作家、诗人、散文家
一个人有优越感，离倒霉就不远了。
刘慈欣 刘慈欣
获第73届世界科幻大会颁发的雨果奖最佳长篇小说奖
在世间千万人亿万人，有一些人却实在不适合被宠爱。
阿来 阿来
《尘埃落定》作者
只要有做好事的心愿，就会走出一条路来。
曾仕强 曾仕强
中国式管理之父
A true king is neither a husband nor a father; he considers his throne and nothing else.
皮埃尔·高乃依 皮埃尔·高乃依
古典主义戏剧奠基人
我喜欢镜头前做娘娘的孙俪，我更喜欢私底下做娘的自己。
孙俪 孙俪
我们很多人没有办法向父母表达我们的爱，现在有经济能力了，又说不出来“爱”这个字，只好拼命地买东西给父母。可是我们每一个人真正需要的，就是一个人跟我们好好地处在当下而已。你什么事都不用做，什么话都不用说，什么礼物都不用给，你甚至只要握着他的手，或者陪着他，让他感觉到你的存在，你整个人是在这里的，就足够了。
张德芬 张德芬
女作家
你会很惊讶地发现：这世界上有很多事情是能够不必做的，而且也无关紧要。如果你的答案是：“不做这些事也没有什么影响。”你要毫不客气地删掉这些不必做的事情。应当学者说“不”，不管你是用很委婉的方式还是严词以对，总之要说“不”。
彼得·德鲁克 彼得·德鲁克
现代管理学之父
23．鸡蛋从外部打破是食物，从内部打破是生命 人来自外部力量是压力，内在的迸发是成长。
海明威 海明威
20世纪最著名的小说家之一
我们现在的生活里，往往只怅惘着过去，忧虑着将来，将工夫都费去了，将眼前应该做的事都丢下了，又添了以后怅惘的资料。这真是自寻烦恼。
俞平伯 俞平伯
与胡适并称“新红学派”的创始人
看来，做个中国人已经有了骄傲的资本了。
李银河 李银河
中国社会科学院社会学研究所研究员
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行