类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
"Every word we write is a step towards understanding ourselves and the world around us."
我们写的每一个字都是朝着理解自己和周围世界迈出的一步。
莉迪·萨尔维尔名人名言哲理格言警句语录 莉迪·萨尔维尔
你是我今生唯一的定格，而我，只是多余的过客。
佚名名人名言哲理格言警句语录 佚名
天下第一等好事还是读书。
罗振宇名人名言哲理格言警句语录 罗振宇
作家的任务是照亮人类灵魂的阴影。
"The writer's task is to illuminate the shadows of the human soul."
雷娜特·施特劳斯名人名言哲理格言警句语录 雷娜特·施特劳斯
只有知道如何停止的人，才知道如何加快速度。
俞敏洪名人名言哲理格言警句语录 俞敏洪
把两个素昧平生的阿富汗人关在同一间屋子，不出十分钟，他们就能找到他们之间的亲戚关系。
卡勒德·胡赛尼名人名言哲理格言警句语录 卡勒德·胡赛尼
给企业定价的时候，主要考虑四个因素：第一是成长速度，第二是市盈率，第三是市场占有率，第四是管理层的质量。其中，她最看重管理层的质量。
徐新名人名言哲理格言警句语录 徐新
只要活着，人生总会有办法的。能吃饱，能睡好，有一份维持最低限度生活的工作，一定没问题。即使有什么不顺心，也不要太在意。
中村恒子名人名言哲理格言警句语录 中村恒子
和这个国家大多数有点想法的孩子一样，在我十来年的校园生涯里，几乎每一次尝试表达真情实感的时候，都会被那些智力、知识、思想和道德水平都明显有问题的教师们打击，通常的评语都是些"阴阳怪气"、"思想复杂"、"哗众取宠"、"不以为耻，反以为荣"、"满脑子谬论和歪理"。对于这样伤害感情的学校，我心中并没有存下多少值得回味的记忆，但刘老师对我的赏识和鼓励，却是一个弥足珍贵的例外，让我终生难忘。最终长大走进社会之后，我也是类似的遭遇和感受：尽管会碰到无穷无尽的混蛋和笨蛋，但总会有一些人，让你感觉到生命的温暖和满足，让你感慨生命的"不虚此行"。
罗永浩名人名言哲理格言警句语录 罗永浩
国家的功臣无需有荣耀的祖先。
伏尔泰名人名言哲理格言警句语录 伏尔泰
The true genius shudders at incompleteness — and usually prefers silence to saying something which is not everything it ought to be.
真正的天才在不完整面前会颤抖——通常宁愿保持沉默，也不愿说一些不完全符合它应该说的话。
爱伦·坡名人名言哲理格言警句语录 爱伦·坡
人类通常像狗，听到远处有狗吠，自己也吠叫一番。
伏尔泰名人名言哲理格言警句语录 伏尔泰
There are no solutions. There are only trade-offs.
没有解决方案。只有取舍选择。
托马斯·索维尔名人名言哲理格言警句语录 托马斯·索维尔
柳井正：这个世界上所有伟大的公司，都是因为解决了一个巨大的矛盾才有所成就。
樊登名人名言哲理格言警句语录 樊登
烽火连三月，家书抵万金。
杜甫名人名言哲理格言警句语录 杜甫
观其器而知其工之巧，观其发而知其人之知。
戴德名人名言哲理格言警句语录 戴德
如果不用语言和标签遮盖这个世界的话，另外一种深度就会回到你的生命中，事物会重新获得他们的新奇感和新鲜感。
埃克哈特·托利名人名言哲理格言警句语录 埃克哈特·托利
The study of bamboo and silk manuscripts opens a window to the intellectual world of ancient China.
简帛研究为我们打开了了解古代中国思想世界的窗口。
王子今名人名言哲理格言警句语录 王子今
我曾赴白天，伤在集市。在那儿，价值埋没于价格，连人也是一样。
史铁生名人名言哲理格言警句语录 史铁生