"

The λ-calculus is, in essence, a purely abstract theory of functions.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： λ演算本质上是一种纯粹抽象的函数理论。
💬 推荐名言 20句推荐
人生的主要任务是诞生自己。
埃里克·霍弗 埃里克·霍弗
美国哲学家
自由不是你想做什么就做什么，而是你不想做什么就可以不做什么。
佚名 佚名
对于强大的，有负载能力的精神而言，存在着许多沉重之物。这精神包含一种令人肃然起敬的东西：它的强大要求负载沉重，甚至最沉重之物。
尼采 尼采
在哲学史上占有重要地位
凡是好名和好利的人，只有在遵循知识和推理的引导下，方能得到真正的快乐。
柏拉图 柏拉图
整个西方文化中最伟大的哲学家和思想家之一
我完全不认为我的作品可爱。
奈良美智 奈良美智
叛逆儿童形象创作者
Consciousness cannot be accounted for in physical terms. For consciousness is absolutely fundamental.
埃尔温·薛定谔 埃尔温·薛定谔
量子力学奠基人之一
我们活着不能与草木同腐，不能醉生梦死，枉度人生，要有所作为！
方志敏 方志敏
杰出的农民运动领袖
无体之一以况自然也，不用之一以况道也。
邵雍 邵雍
北宋哲学家
真理需要谎言大军的保护。
约瑟夫·斯大林 约瑟夫·斯大林
推动苏联工业化和农业集体化
不管在什么地方，都是疯狂为新思想开辟道路，打破古老习惯和迷信的成规……一切生来不能忍受某种道德枷锁和注定创造新律法者，如果尚未真疯，除让自己变疯或装疯外，别无他法。
尼采 尼采
在哲学史上占有重要地位
人们是通过负向方法寻求成功的，这也是进化过程的选择：下棋高手通常通过不输棋而取胜；人们通过避免破产而致富（尤其是当别人破产时）；宗教大多制定了许多禁忌；生活的经验主要是关于我们应该避开什么事。
塔勒布 塔勒布
被誉为“黑天鹅之父”
头一天就这样过去了。当保尔迈着大步走回家的时候,他觉得自己也是一个心安理得的休息的人了,他现在也在挣钱,谁也不能再说他是个吃闲饭的人了。
奥斯特洛夫斯基 奥斯特洛夫斯基
《钢铁是怎样炼成的》作者
我们只有活过一遍之后才会明白，可是那时候剩下的感觉只有一种，名叫后悔。
八月长安 八月长安
中国青春文学作家
自然界是一个整体，我们必须从整体上去认识它。
李四光 李四光
中国科学院院士、地质学家
人的一生，是不断寻求解脱痛苦的过程。
叔本华 叔本华
唯意志论的创始人和主要代表之一
Meeting energy demand while reducing emissions is the defining challenge of our time.
达伦·伍兹 达伦·伍兹
埃克森美孚CEO，推动低碳能源转型
Nature， to be commanded， must be obeyed.
培根 培根
英国文艺复兴时期散文家、哲学家
受人滴水之恩，须当涌泉相报。
谚语 谚语
广泛流传于民间的简洁而富有教育意义的语句
一个人对人民的服务不一定要站在大会上演讲或是做什么惊天动地的大事业，随时随地，点点滴滴的把自己知道的、想到的告诉人家，无形中就是替国家播种、施肥、垦植！
傅雷 傅雷
中国民主促进会（民进）的重要缔造者之一
中国式管理是中国式现代化的一部分，我们过去学的是西方管理，后来学过日式管理，今天到了中国式管理的时代。我们应该担负起这样一个责任，要让中国式管理在世界舞台上绽放风采。
宋志平 宋志平
中国企业改革与发展研究会首席专家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行