"

The development of formal systems has revolutionized our understanding of mathematics.

戴纳·斯科特 戴纳·斯科特
💡 解读： 形式系统的发展彻底改变了我们对数学的理解。
💬 推荐名言 20句推荐
爱一个人并不意味着要占有他，也许只是为了看到他幸福。
张爱玲 张爱玲
中国近现代史上的20位杰出女性
In looking for someone to hire， you look for three qualities: integrity， intelligence， and energy. But the most important is integrity because if they don't have that， the other two qualities， intelligence and energy， are going to kill you.
巴菲特 巴菲特
被誉为“股神”
高尔夫是一项以英寸计的游戏。最重要的是你两耳之间的六英寸。
泰格·伍兹 泰格·伍兹
高尔夫球史上最伟大球员之一
我的艺术应当只为贫苦的人造福。啊，多么幸福的时刻啊！当我能接近这地步时，我该多么幸福啊！
贝多芬 贝多芬
维也纳古典乐派代表人物之一
晚霞将褪去，早月像一枚淡淡的吻痕。
简媜 简媜
中国台湾实力派女作家
技术创新是企业发展的根本动力，没有创新就没有未来。
方运舟 方运舟
合众新能源创始人，电动汽车技术专家
生活是那么强大，它时常在悲伤里剪辑出欢乐来。
余华 余华
获得中华图书特殊贡献奖
坚持和决心是无所不能的。
唐纳德·布伦 唐纳德·布伦
房地产大亨
宽性宽怀过几年，人死人生在眼前。随高随下随缘过，或长或短莫埋怨。自有自无休叹息，家贫家富总由天。平生衣䘵随缘度，一日清闲一日仙。
兰陵笑笑生 兰陵笑笑生
让死者有那不朽的名，但让生者有那不朽的爱。
伏尔泰 伏尔泰
法兰西思想之王
发呆这件事，如果做得好，就是深沉。
尼采 尼采
在哲学史上占有重要地位
The biggest risk is not taking any risk at all.
伊恩·格雷 伊恩·格雷
BP塑料业务前负责人
你曾经只有句号那么大。时间不长，你就成了滚来滚去的一个多细胞球——很像池塘里的水藻。水流有力地冲刷着你。然后你长大了，变成了海绵、变成了腔肠动物，全身就一根直肠子。吃就是你的生活内容。你渐渐长出了感觉外界的脊髓神经；慢慢添上了用以呼吸和咀嚼的腮颌。你又长出了用以游动和转向的尾巴。你不是鱼，而是一个扮演着鱼类胚胎角色的人类胚胎。你在每一个动物胚胎的幽灵中潜入潜出，重新扮演了为抵达终点而必须放弃的种种可能的角色。进化，就是对选择的屈从。要成长为新的物种，就要历经所有你不会再扮演的角色。
凯文·凯利 凯文·凯利
《连线》杂志创始主编
宽容不是弱者的表现，而是强者的品质。
弗兰克·卡普里奥 弗兰克·卡普里奥
首席市政法官
I am not interested in reality. I am interested in what lies beyond it.
草间弥生 草间弥生
前卫艺术代表人物
Cloud computing is like electricity, it will become the infrastructure of society in the future.
王坚 王坚
阿里云创始人，云计算技术领军者
现代财政制度的核心是建立全面规范、公开透明的预算制度。
马海涛 马海涛
财政理论与政府预算研究专家
假如生命是乏味的，我怕有来生！假如生命是有趣的，今生已是满足的了。
冰心 冰心
被誉为“文坛祖母”
在未来的商业世界里，用户体验不再是锦上添花的东西，而是安身立命的根本。你提供的产品或服务，要是不能在每一个细节处给用户带来超出预期的感受，那用户随时都可能抛弃你，转身投入到那些更懂他们、更能让他们舒心的竞品怀抱中去。因为如今信息传播太快了，用户的选择太多了，好与不好，转眼间就能传遍四方。
罗振宇 罗振宇
“得到app”创始人
The Langlands correspondence is not just a theorem but a guiding principle for future discoveries.
罗伯特·朗兰兹 罗伯特·朗兰兹
朗兰兹纲领的创立
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行