"

The λ-calculus is not merely a formalism but a language in which computations can be expressed.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
💬 推荐名言 20句推荐
我梦到自己在荒凉、贫瘠、破败的此岸，望向彼岸的七彩霓虹，闪烁星光。
阿蒂尔·兰波 阿蒂尔·兰波
法国象征主义诗歌运动中最著名的诗人之一
做一件事，无论大小，倘无恒心，是很不好的。而看一切太难，固然能使人无成，但若看得太容易，也能使事实无结果。
鲁迅 鲁迅
中国现代文学的奠基人之一
Punishment teaches fear, not responsibility.
伊莎贝尔·菲利亚扎 伊莎贝尔·菲利亚扎
法国著名儿童心理学家
不要害怕爱人。即使会因此悲伤，也不要不爱任何人。爱过一个人的记忆永远不会消失，它会永远温暖人心。
八木泽里志 八木泽里志
日本当代作家及编剧
它（濒死体验）并没有让我倾向于相信有来世。虽然……它略微削弱了我对来世不存在的信心。
阿尔弗雷德·艾耶尔 阿尔弗雷德·艾耶尔
英国哲学家
语言是通向人性的窗口。
史蒂芬·平克 史蒂芬·平克
语言与心智研究权威
专心致志于一行一业，不腻烦、不焦躁，埋头苦干，你的人生就会开出美丽的花，结出丰硕的果实。
稻盛和夫 稻盛和夫
日本最后一个“经营之神”
幸福就是重复。每天跟自己喜欢的人一起，通电话，旅行，重复一个承诺和梦想，听他第二十八次提起童年往事，每年的同一天和他庆祝生日，每年的情人节、圣诞节、除夕，也和他共度。甚至连吵架也是重复的，为了一些琐事吵架，然后冷战，疯狂思念对方，最后和好。
张小娴 张小娴
中国当代作家
负担完全缺失，人就会变得比空气还轻，就会飘起来，远离大地和地上的生命。
米兰·昆德拉 米兰·昆德拉
2020年获得卡夫卡文学奖
我们从不担心数字。在市场中，苹果将把注意力放在产品上，因为只有产品才能带来差异。投放广告对竞争来说必不可少；IBM公司的广告随处可见。可见，良好的公共关系能够让人们受益，这就是其中的道理。在这个行业中，你骗不了人，产品会自己说话。
史蒂夫·乔布斯 史蒂夫·乔布斯
美国苹果公司联合创始人
真正的自由不是随心所欲，而是能够主宰自己的内心。
苏菲·马丁 苏菲·马丁
环保家具设计倡导者
我要创建一个网站，让公众可以评估任何文章的核心真相，跟踪每位记者、编辑和出版物的可信度评分，或许它可能被称为Pravda。
埃隆·马斯克 埃隆·马斯克
企业家、工程师、发明家、慈善家
You should never start a company with the goal of getting rich. Your goal should be making something you believe in and a company that will last.
沃尔特·艾萨克森 沃尔特·艾萨克森
美国传记作家
林业创新意味着在经济增长和生态责任之间取得平衡。
大卫·米勒 大卫·米勒
林业机械化先驱
谎言善于冲刺，但真理却是一场长久的马拉松。真相终究会在法庭上赢得这场审判。
迈克尔·杰克逊 迈克尔·杰克逊
按照宗教的说法，上帝创造了人类。我只是一个向导，让他人能够展现出自己的能量。我没有创造任何东西，只是作为一个促进者激发出人们美好的东西。
温格 温格
法国著名足球教练
The art of film is the art of manipulating time and space.
罗曼·波兰斯基 罗曼·波兰斯基
深刻描绘人性黑暗面
最重要的是讲一个好故事。其他一切都是次要的。
罗兰·艾默里奇 罗兰·艾默里奇
德国导演、制片人、编剧
大雨在窗外倾泻着，海涛惊人地吼叫着，天宇充满了激昂的叫。但是道静什么也不知道。
杨沫 杨沫
中国当代女作家
科学没有国界，但科学家有祖国。
李振声 李振声
小麦遗传育种专家，培育高产小麦品种
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行