"

The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： λ演算的基本概念是函数，被视为一种对应规则。
💬 推荐名言 19句推荐
我们的古人又造出了一种难到可怕的一块一块的文字；但我还并不十分怨恨，因为我觉得他们倒并不是故意的。然而，许多人却不能借此说话了，加以古训所筑成的高墙，更使他们连想也不敢想。现在我们所能听到的不过是几个圣人之徒的意见和道理，为了他们自己；至于百姓，却就默默的生长，萎黄，枯死了，像压在大石底下的草一样，已经有四千年！
鲁迅 鲁迅
中国现代文学的奠基人之一
别以为认真沉默的人就没不满，那样会看错人。
加藤谛三 加藤谛三
日本当代最著名的心理学家
生命是一步一个脚印的旅程，不是一场赛跑。
卡耐基 卡耐基
美国现代成人教育之父
历史不仅仅是关于过去；它是关于理解现在和塑造未来。
杰拉尔丁·布鲁克斯 杰拉尔丁·布鲁克斯
小说《马奇》
死是此在刚一存在就承担起来的去存在的方式。
马丁·海德格尔 马丁·海德格尔
德国哲学家
境界有大小，不以是而分优劣。“细雨鱼儿出，微风燕子斜”，何遽不若“落日照大旗，马鸣风萧萧”？“宝帘闲挂小银钩”，何遽不若“雾失楼台，月迷津渡”也？
王国维 王国维
中国近代学者
互联网天然具备开发、联通、共享、透明等特征，它最大的意义就是通过先进技术让人类走出封闭的自我空间，进入一个人、机、物全面互联的新世界。
宋志平 宋志平
中国企业改革与发展研究会首席专家
许三观举目四望，天空是从很远处的泥土里升起来的，天空红彤彤的越来越高，把远处的田野也映亮了，使庄稼变得像西红柿那样通红一片，还有横在那里的河流和爬过去的小路，那些树木，那些茅屋和池塘，那些从屋顶歪歪曲曲声升上去去的炊烟，它们都红了。
余华 余华
获得中华图书特殊贡献奖
每样东西都会杀死别的东西，只不过方式不同罢了。
海明威 海明威
20世纪最著名的小说家之一
Women have a much better time than men in this world. There are far more things forbidden to them.
王尔德 王尔德
英国作家、诗人、散文家
绿槐高柳咽新蝉。
苏轼 苏轼
“唐宋八大家”之一
真有血性的人，绝不曲意求得别人的重视，也不怕别人忽视。
霍达 霍达
《穆斯林的葬礼》作者
生活中不一定有爱情，但爱情一定有生活。
亦舒 亦舒
中国香港作家
创新不是发明创造，而是对现有事物的重新组合。
傅盛 傅盛
猎豹移动董事长兼CEO
性是心之体，天是性之原。尽心即是尽性。
王阳明 王阳明
明代杰出的思想家
地方财政的可持续性依赖于合理的财权与事权划分，以及科学的转移支付制度。
杨灿明 杨灿明
财政税收理论与政策研究专家
Simplicity is not the absence of complexity, but the resolution of it.
槙文彦 槙文彦
新陈代谢派代表
渴望自由的灵魂越是可以在那儿痛享自由，那儿的美便越是弥漫得浓厚，在相反的地方美变得稀薄。进一步说，美的浓厚还是稀薄，决定于人的精神地坚强还是孱弱，不屈还是奴化，纯净还是污秽，生长创造还是干枯萎缩，不分处所。
史铁生 史铁生
新时期中国最优秀的作家之一
惊起却回头，有恨无人省。
苏轼 苏轼
“唐宋八大家”之一
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行