每日文摘
"
类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理
🏷️ 标签：
逻辑
证明
可以
语言
💬 推荐名言
20句推荐
世风之狡诈多端，到底忠厚人颠扑不破；末俗以繁华相尚，始觉冷淡处趣味弥长。
王永彬
清代学者
婴之家俗，闲处从容不谈议，则疏；出不相扬美，入不相削行，则不与；通国事无论，骄士慢知者，则不朝也。此三者，婴之家俗，今子是无一焉。故婴非特食馈之长也，是以辞。
晏子
春秋时期齐国著名政治家、思想家、外交家
你要配得上你的野心，这个世界还没有疯狂到会奖励一大群才不配位的人。
查理·芒格
美国投资家
吾本来此土，传法救迷情。一花开五叶，结果自然成。
达摩祖师
禅宗的创始人
世界就是一本女人的书。
卢梭
启蒙运动代表人物之一
人生不过是一个行走的影子，一个在舞台上指手画脚的拙劣的伶人，登场片刻，就在无声无臭中悄然退下；它是一个愚人所讲的故事，充满着喧哗和骚动，却找不到一点意义。
莎士比亚
人类文学奥林匹斯山上的宙斯
Though the Chinese should adore APL, it's FORTRAN they put their money on.
艾伦·佩利
第一届图灵奖得主
心生则种种法生，心灭则种种法灭。
释迦牟尼
在交往中，人面对的是部分和人群，而在独处时，人面对的是整体和万物之源。
托尔斯泰
俄国批判现实主义作家
因天下之力，以生天下之财；取天下之财，以供天下之费。
王安石
中国北宋政治家、文学家、思想家、改革家
Architecture should be quiet and background, not shouting for attention.
安妮·拉卡顿和让-菲利普·瓦萨尔
可持续设计先驱
如果说我看得远，那是因为我站在巨人们的肩上。
牛顿
英国科学家
死亡并非一种始终存在的可能，而是一个迫近的现实。
加西亚·马尔克斯
《百年孤独》作者
The behavior of an individual is determined not by his racial affiliation, but by the character of his ancestry and his cultural environment.
弗朗茨·博厄斯
现代人类学之父，文化相对论提出者
My buildings are incomplete without the presence of people.
安藤忠雄
最具影响力的世界建筑大师之一
真正的朋友是那些在你困难时伸出援手的人。
叔本华
唯意志论的创始人和主要代表之一
佛学叫这个世界“娑婆世界”，译为“堪忍”，说我们这个世界是缺陷的世界。也说这个世界是缺陷的，让你有钱就不给你学问，有学问就没有钱；给你子孙满堂，就不给你别样了，所以总是有缺陷不圆满的。
南怀瑾
中国国学大师、施承志弟子
通过干干净净地赚钱让人相信干干净净地赚钱是可能的，通过实现理想让人相信实现理想是可能的，通过改变世界让人相信改变世界是可能的，即使是在中国。
罗永浩
企业家、演说家
幸福不是偶然的，而是选择的结果。
阿瑟·C.布鲁克斯
哈佛商学院教授
与海为邻 ，住在无尽蓝的隔壁 ，却无壁可隔 ，一无所有 ，却拥有一切。
余光中
自称“江南人”
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
