The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
纯真无辜的信任之心，难道真是罪恶之源吗？
太宰治
言语须是含蓄而有余意。
二程
即使是家中珍藏的宝物，每过一阵也得拿出来，让别人赏玩品评，然后自己才会重新发现它的价值。
张爱玲
Difficulties mastered are opportunities won
克服困难就是赢得机遇。
丘吉尔
世界上来路便是归途，归途也成来路。
冰心
真正的美，是美在它本身能显出奕奕的神采。爱好时髦是一种不良的风尚，因为她的容貌是不因她爱好时髦而改变的。
卢梭
反对的意见在两方面对于我都有益，一方面是使我知道自己的错误，一方面是多数人看到的比一个人看到的更明白。
笛卡尔
我们天生容易受理论的愚弄。但理论诞生又消亡，而经验却总能经受时间的考验。
塔勒布
艺术创作需要的是清醒的心灵。药物作用下完成的作品，经常缺少杰作应有的复杂性——它往往显得肤浅而自我陶醉。
米哈里·契克森米哈赖
生死有命，没有人能要求多活一秒钟。
拿破仑
管理层不应该提拔害怕其手下强过自己的人。
彼得·德鲁克
不相信任何人和相信任何人，同样都是错误的。
塞内加
做一件事把眼光放到未来三年，和你同台竞技的人就很多，但能放到未来七年，和你同台竞争的人就很少了，因为很少有公司愿意做那么长远的打算。
杰夫·贝索斯
开始时，我们不能装大牌，因为没钱。我们曾搞游击营销，现在还搞一点。但随着我们变成行业老大，我们得改变自己的文化，变得更有计划性。
菲尔·奈特
经典作品是这样一些书，它们带着以前的解释的特殊气氛走向我们，背后拖着它们经过文化或多种文化（或只是多种语言和风俗习惯）时留下的足迹。
伊塔洛·卡尔维诺
正确的教育方法是一把精美的刻刀，错误的教育方法就是一柄锄头！
尹建莉
未来利润继续增长的可能性越高，投资者愿意承受的市盈率也就越高。
菲利普·费雪
强迫行为会加重问题。
弗兰克·拉马涅尔
They throw their shadows before them who carry their lantern on their back.
把灯笼背在背上的人，有黑影遮住前路。
泰戈尔