The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The night doesn't always bring answers, but it always brings the right questions.
夜晚并不总是带来答案，但它总是带来正确的问题。
塔哈尔·本·杰伦
生活中的每一天，命运都会在各个角落里期待着，每一天都很容易发生些什么事。
赫尔曼·黑塞
The decline of violence may be the most significant and least-appreciated development in the history of our species.
暴力的减少可能是我们物种历史上最重要却最不被重视的发展。
史蒂芬·平克
金玉何足守，美善何足珍。有名之毋见，无名之始沦。
郭之奇
真相是，每个作家都会创造自己的先驱。
The truth is, every writer creates his own precursors.
托马斯·曼
成功不是关于你的生活在别人看来如何。这是关于它对你的感觉。我们意识到，成功不是给人留下深刻印象，而是受到启发。
米歇尔·奥巴马
有时候我想问一个陌生人问他可不可以带我走我心里始终有这种隐藏的动机。
陆小曼
他须有丰富的心灵，有简朴生活的爱好，对于生财之道不大在心，这样的人，才有资格享受悠闲的生活。
林语堂
最难堕的胎，就是你我各怀鬼胎。
林振强
我有一个座右铭：”发现问题的人，并没有多少价值！“大多数人认为发现问题的人是公司里非常重要的一个角色：我就是那个发现问题的人！好吧，你是不错，但是你把问题解决了吗？公司需要的是热爱解决问题的人。
帕蒂·麦考德
以地事秦，譬犹抱薪而救火也，薪不尽，则火不止。
解释：割地给秦国（来求得暂时的安稳），就好像抱着木柴救火一样，木柴烧不不完，火就不会灭。
刘向
我来自那里。我来自这里。我不在那里，我也不在这里。
I am from there. I am from here. I am not there and I am not here.
穆罕默德·达维希
始终保持你的刀锋利，你的智慧更锋利，你的精神最锋利。
Always keep your knife sharp, your wits sharper, and your spirit sharpest.
贝尔·格里尔斯
渔艇迷烟，樵柯失径，妆点风霜厉。
文天祥
有价值的人将占有他应有的位置，而无价值的人将永远躲进小胡同，躲进他肮脏的小胡同。
陀思妥耶夫斯基
疯狂就像智慧，你知道的。你无法解释。就像智力一样。它向你袭来，灌满你，然后你就明白了。但是当它消失时，你就再也无法理解它了。
玛格丽特·杜拉斯
水利工作者要有高度的责任感，对人民负责，对历史负责。
张光斗
AGI可能是2年、5年或者10年，总之会在我们有生之年实现。至于路线图，即使在我们公司内部，也没有统一意见。但我们确实押注了三个方向：一是数学和代码，二是多模态，三是自然语言本身。数学和代码是AGI天然的试验场，有点像围棋，是一个封闭的、可验证的系统，有可能通过自我学习就能实现很高的智能。另一方面，多模态、参与到人类的真实世界里学习，对AGI也是必要的。我们对一切可能性都保持开放。
梁文锋
似乎习惯了等待，单纯的以为等待就会到来。
徐志摩