类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
在人生中的清醒时刻，在悲哀及丧失的暗影之下，人们最接近他们的真我。
海明威
爱情使一个人变得更强大，同时也使他变得更渺小。
毛姆
要想实现梦想的话，一定要自信勇敢，也要像AHC一样踏实坚定地走好每一步，在追寻美的道路上坚持不懈。
杨超越
心胸是我在生活中想要达到的最低目标。某件事有悖于我的心胸，我就认为它不值得一做；某个人有悖于我的心胸，我就觉得他不值得一交；某种生活有悖于我的心胸，我就会以为它不值得一过。
王小波
最好的水产养殖实践是那些不留痕迹的实践。
The best practices in aquaculture are those that leave no footprint behind.
张炜
忍一时风平浪静，退一步海阔天空。
周润发
孩子都希望忠于父母的任何一方，在父母之间受到拉扯会使孩子左右为难。如果父母相互配合，沟通良好，而且孩子在父母离异后仍与双方定期密切地接触，孩子以后的生活会和往常一样，性格也不会变得忧郁或好斗。只要父母之间有明确、积极的沟通，未同住的家长和孩子的亲子关系也会比较融洽。如果父母离异后，其中一方（通常是父亲）渐行渐远，孩子就会感到痛苦、愤怒、忧郁或自卑。
菲利帕·佩里
哪里有爱，哪里就没有恐惧。
桑迪普·马赫什瓦里
由于太阳上也有黑点，世界上的事更不可能没有缺陷。
车尔尼雪夫斯基
The only impossible journey is the one you never begin.
唯一不可能的旅程是你从未开始的旅程。
瑞奇·马丁
Make it a rule never to give a child a book you would not read yourself.
让这成为一个准则：永远不要给孩子一本你自己不愿意读的书。
查尔斯·金斯莱
预测未来的最好方法就是创造未来。
The best way to predict the future is to create it.
安德鲁·麦肯齐
"It is easier to imagine the end of the world than the end of capitalism."
想象世界末日比想象资本主义的终结更容易。
马克·费舍尔
历史是一面镜子，它可以使人明白过去，也使人了解未来。
吴晗
要想获得一种见解，首先就需要劳动，自己的劳动，自己的首创精神，自己的实践。
陀思妥耶夫斯基
人世间的事情莫过于此，用一个瞬间来喜欢一样东西，然后用多年的时间来慢慢拷问自己为什么会喜欢这样东西。
韩寒
最好的报复就是继续前进，放下过去。
The best revenge is just moving on and getting over it.
德雷克
大自然既然在人间造成不同程度的强弱，也常用破釜沉舟的斗争，使弱者不亚于强者。
孟德斯鸠
在你过去的生活中，你伤害过谁，也早已忘记了，可是被你伤害的那个人却永远不会忘记你。他决不会记住你的优点，而是记住你对他的伤害。
卡耐基