The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
我们曾试图抓住彼此，却发现自己越抓越紧，越容易失去。
渡边淳一
时间，就是轮回的生存本身。
三岛由纪夫
容易，能容则易。
李彦宏
这个时代真的不需要变化吗？现在连操作系统都在变，行业远没有得到充分竞争。我相信乔布斯发明了新手机时代，但还有很多新的东西会出现
雷军
The greatest stories are those that reveal the complexity of human nature.
最伟大的故事是那些揭示人性复杂性的故事。
哈维尔·马里亚斯
The liabilities are always percent good.It's the assets you have to worry about.
负债总是百分之百的好。你要担心的是资产。
查理·芒格
忠于自己和你的愿景。
Stay true to yourself and your vision.
亚瑟小子
旧的和新的，往往有极其相同之点——如：个人主义者和社会主义者往往都反对资产阶级，保守者和改革者往往都主张为人生的艺术，都讳言黑暗，棒喝主义者和共产主义者都厌恶人道主义等。
鲁迅
有限制的自由，才是生而为人真正的自由。
顾及
想先看到结果再行动的人，往往无法看到结果。
周岭
人的任务，就是意识到从潜意识中努力向上涌出的内容。
荣格
在过去，大家都是平日穿寻常的衣服，周末才盛装；如今正好相反。
塔勒布
The rise of China is the most significant geopolitical event of the 21st century.
中国的崛起是21世纪最重要的地缘政治事件。
弗朗西斯·福山
我们与粉丝之间的纽带是真正特别的。
The bond we share with our fans is something truly special.
西城男孩
农民不是落后生产力的代表，而是现代农业最重要的实践者。《新农业革命》
张华
从大楼门厅里传出她爽朗的笑声，我恨不得揪住她的笑声，像揪住变色龙吐出的长舌，把她从大楼里扽出来。
莫言
强者之路，注定孤独，但孤独却能让一个人变得更加强大。
天蚕土豆
生命有数百种形式，而我们每个人只能体验一种。羡慕别人的幸福，那是一种幻想，即使得到也不会享受到祝福。
安德烈·纪德
人间送小暖：己心妩媚，则世间妩媚；己心温暖，则世间温暖。
汪曾祺