The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
膜拜是种动力，恐惧是种压力。权力，本质上是一种影响力，一种让别人自愿接受你的影响的能力。
刘润
微笑和痛哭，但这些所占分量很少，更多的是想哭又要故作坚强，忍着不出声。
欧·亨利
唯一名副其实的自由，是以我们自己的方式追求自己的利益，只要我们不试图剥夺他人的利益，或阻碍他们获得利益的努力。
约翰·穆勒
书写生活，就是要尽可能地接近现实，而不是发明或创造。
安妮·埃尔诺
通常来讲，我这个人处事冷静，头脑清楚，即使是胡闹也需征得自己的同意。只要理智尚存，我就无所畏惧。
廖一梅
知识不是一个静态的概念，而是一个动态的发现过程。
埃德蒙德·胡塞尔
做好销售的最佳前提，是真正相信你所销售的产品。
萨姆·奥尔特曼
辜负你的人自有人收拾。老天爷的算法比你精确，你吃的亏都会变成隐藏福利，做的恶都会变成反向暴击，保持善良，就像定期存款，利息早晚到账。
豆豆
耐心是达成伟大事业的秘诀。
Patience is the key to achieving great endeavors.
西塞罗
你就这样静坐在草地上，离我稍远的地方。我用眼角瞅着你，你什么话也别说。语言是误会的根源。但是，每天，你可以坐得离我近一些。
安托万·德·圣-埃克苏佩里
幸福的门不是朝里而让你能够拼命撞向它来将之推开的，它是朝外开的，因此你没什么可做的。
克尔凯郭尔
当一个人独自坐在公园的长椅上，在日落时让嘴角露出一丝微笑，他孤独的形象似乎值得同情，然而谁又能体会到他此刻的美妙旅程？他正坐在回忆的马车里，他的生活重新开始了，而且这一次的生活是他自己精心挑选的。
余华
平心静心不欺心何等放心！
周希陶
围绕太阳公转了90圈以后，我没有遗憾，也没有更多的野心了。
亚瑟·查理斯·克拉克
上帝欲其灭亡，必使其先疯狂！我希望我现在不是疯狂的，或是我已疯狂而不自知的时候，有朋友能提醒我一声！难道我也是想的一套做的却是另一套？这是我目前最应该深思的一个问题！难道年纪大了，喜欢静静坐着，什么不想！什么都不做！也觉得蛮舒服，一点无聊的感觉都没有！行情在我生活中已经不是第一位的了！不过这种状况更有利于我的交易，万物都是辩证的！
葛卫东
许多痛苦都源自我们太把自己当回事。
阿兰·德波顿
易輶攸畏，属耳垣墙。
周兴嗣
我渐渐明白，世间最可厌恶的事莫如一张生气的脸;世间最下流的事莫如把生气的脸摆给旁人看，这比打骂还难受。
胡适
我们天花乱坠、其乐无穷地大谈自己时，却从未考虑过，也给那些听我们说话的人一点儿乐趣。
拉罗什富科