The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
人生最大的笑话就是：拼命寻找自己，而自己从未丢失。
蔡志忠名人名言哲理格言警句语录 蔡志忠
起点和终点互为邻居。在练习乐谱时，你可以从最低音唱到最高音，但此时人们会发现，最高音就在最低音的附近。
李小龙名人名言哲理格言警句语录 李小龙
明日，是一个不能逃避的东西，我没有退路。有谁，在这个世界上不是孤独的生，高度的死？
三毛名人名言哲理格言警句语录 三毛
Whether you come from a council estate or a country estate, your success will be determined by your own confidence and fortitude.
无论你来自市城市还是乡村，你的成功将取决于你自己的信心和坚定。
米歇尔·奥巴马名人名言哲理格言警句语录 米歇尔·奥巴马
风筝的命运掌握在风筝线的手里，无论风筝飞得多高，最终还是会落在拿着风筝线的人手里。
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼
首先，善良是人与人的关系的善，是利他倾向的情感品质：移情，同情，助人，善意，温柔，宽容，关心，友善，仁慈与爱。这些品质将人们在情感上联系在一起，故称之为亲社会动机。所以从善的领域上讲，从价值倾向性上看，善良是道德的善。
严开宏名人名言哲理格言警句语录 严开宏
我这时看到，一旦白人开始变成一个暴君，他就毁了自己的自由。他成了一个空虚的，装模作样的木头人，常见的白人老爷的角色。因为正是他的统治使得他一辈子要尽力镇住“土著”，因此在每一次紧急时刻，他非得做“土著”期望他做的事不可。他戴着面具，日子长了以后，他的脸按照面具长了起来----
乔治·奥威尔名人名言哲理格言警句语录 乔治·奥威尔
You can either be a victim of your past or a pioneer of your future.
你可以成为过去的受害者，也可以成为未来的开拓者。
德雷克名人名言哲理格言警句语录 德雷克
海色残阳影断霓，寒涛日夜女郎祠。翠钿尘网上蛛丝。澄海楼高空极目，望夫石在且留题。六王如梦祖龙非。
纳兰性德名人名言哲理格言警句语录 纳兰性德
我所渴望的美，是永恒与生命；谁知它们竟水火不容。永恒的美，奇光异彩，却无感无情；生命的美，千变万化，却终为灰烬。
顾城名人名言哲理格言警句语录 顾城
人没有什么了不起的，但是也没有什么比人更了不起的了，这关键是要看你为你的同胞以及祖国作出了怎样的贡献。
约翰·洛克菲勒名人名言哲理格言警句语录 约翰·洛克菲勒
预测未来的最好方式就是创造它。
The best way to predict the future is to invent it.
卡洛斯·富恩特斯名人名言哲理格言警句语录 卡洛斯·富恩特斯
永远不要在电话中回应恳求或求婚。迫切性是一种伪装。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利
追求数学知识是一场永无止境的冒险，充满了挑战、惊喜和解决不可解问题的满足感。
The pursuit of mathematical knowledge is a never-ending adventure, filled with challenges, surprises, and the satisfaction of solving the unsolvable.
丹尼尔·斯皮尔曼名人名言哲理格言警句语录 丹尼尔·斯皮尔曼
Never stop questioning—that’s where progress begins.
永远不要停止提问——进步就从那里开始。
莫滕·梅尔达尔名人名言哲理格言警句语录 莫滕·梅尔达尔
程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
约翰·霍普克罗夫特名人名言哲理格言警句语录 约翰·霍普克罗夫特
我们耽误时光，好比白昼点灯一样。
莎士比亚名人名言哲理格言警句语录 莎士比亚
机事不密，反为所害。
罗贯中名人名言哲理格言警句语录 罗贯中
购买最新的家乡或地区的旅游指南。每年扮演一次游客，你会学到很多东西。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利