The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The challenge of the future is not just to store more data, but to make sense of it.
未来的挑战不仅仅是存储更多的数据，而是理解这些数据。
詹姆斯·格雷
人生有无数的岔道，在分歧的路口，多半摆着诱惑。我们常常被物质的光怪陆离耀花了眼睛。需要在漆黑的静夜想一想，想想我们与生俱来的理想，想想我们将要迈步的台阶，距我们最终的目标是近还是远？眼睛当然是有用的。但有时闭上眼睛的时候，我们才能更好地倾听心灵的回答。
毕淑敏
哲学家是智慧的爱好者，他不是仅爱智慧的一部分，而是爱它的全部。
柏拉图
水，能够无视重压而前行。它流过篱笆、流过基底而毫无褪色。它永不分离，没有分裂结帮的派性，在任何情况下都是平等互助的，可以在地球表面的任何物体上流动。
李小龙
人是导管，快乐流过，悲伤也流过。
詹姆斯·乔伊斯
Invention is the mother of necessity.
发明是需求之母。
罗伯特·梅特卡夫
这是一个卖笑的社会。除非能够找到高贵的职业，而高贵的职业需要高贵的学历支持，高贵的学历需要金钱，始终兜回来。
亦舒
人生处处是机会，当机会来临时，你是否已经整装待发地在迎接它？
张伯苓
人们或许还不知道，人寿命的缩短与思想的虚耗是成正比。
达尔文
家长的耐心，是孩子最好的榜样。
李玫瑾
正是这个自在让人不习惯，浑身又不自在起来。
刘震云
莫说彼此邂逅在寂寞的异国他乡。就算是相逢在拥挤的人流中，也能一眼认出谁是你命中注定的那个人，这就是所谓的感觉。
林徽因
I like pressure. I think pressure is a privilege.
我喜欢压力，我认为压力是一种特权。
诺瓦克·德约科维奇
生活中有两种悲剧，一种是没有得到你想要的，另一种是得到了你想要的。
毛姆
每一个人都是一个王国的君主。
梭罗
提醒自己快死了，是我在人生中面临重大决定时，所用过最重要的方法。因为几乎每件事－所有外界期望、所有的名声、所有对困窘或失败的恐惧－在面对死亡时，都消失了，只有最真实重要的东西才会留下。
Remembering that I'll be dead soon is the most important tool I've ever encountered to help me make the big choices in life. Because almost everything - all external expectations, all pride, all fear of embarrassment or failure - these things just fall away in the face of death, leaving only what is truly important.
史蒂夫·乔布斯
如果你不能向他人展现自己，也就不能向自己展现自己。
乔丹·彼得森
人若能够耐得住寂寞，就能够少受许多痛苦和少出许多洋相。
张小娴
不要以为有了这个就会有那个。不要以为有了名声就有了信誉。不要以为有了成就就有了幸福。不要以为有了权力就有了威望。不要以为这件事做好了下一件事也一定做得好。不要用幻想的肥皂泡欺骗自己，不要去追逐梦里的影子，不要听书掉泪、顾影自怜，不要把自己的大好的生命、大好的青春纠缠在那像一锅粥、一锅稀糨糊一样的虚情假意里，不要以为朦胧而又有一点儿美丽的言辞能够化粗俗为高尚，把渺小点缀成了不起，不要让傻唧唧的情感弄瞎自己的眼，不要把狗屎当成黄金，更不要相信那天花乱坠下面的卑琐，脉脉含情下面的低级，趁着你们年轻，在生活里站稳脚跟吧，真正的幸福只属于站得稳的人。
王蒙