类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
要有话说，方才说话。有什么话，说什么话；话怎么说，就怎么说。要说我自己的话，别说别人的话。是什么时代的人，说什么时代的话。
胡适
每一只蝴蝶都是花的鬼魂，回来寻找它前世的身。
张爱玲
人们通过每一个人追求他自己的、自觉期望的目的而创造自己的历史，却不管这种历史的结局如何，而这许多按不同方向活动的愿望及其对外部世界的各种各样影响所产生的结果，就是历史。
恩格斯
我很少凌晨两三点前睡觉，理论是，对年轻人来说，倘若有大事变，必定发生于深夜。
E・B・怀特
一个集会，即使所包含的成员品质极其低劣，但是他们也会表现得过分正经。
古斯塔夫·勒庞
时间是最厉害的杀手，人们遗忘，厌倦，变老，离去。她说，用历史的眼光看，我们之间其实没发生多少事。
珍妮特·温特森
有些人即使没有存心做坏事，可事实上事情仍会做错，引起不幸的后果。凡是粗心大意、看不出别人的好心好意，而且缺乏果断的人，都一样能害人。
简·奥斯汀
让这个女人与众不同的不是衣服，而是她眼睛后面的东西——是希望、信仰或信念。
塔拉·韦斯特弗
The future of livestock lies in balancing productivity with ethical responsibility.
畜牧业的未来在于平衡生产力与道德责任。
汉斯·维尔德斯
楼下一个男人病得要死，那间隔壁的一家唱着留声机；对面是弄孩子。楼上有两人狂笑；还有打牌声。河中的船上有女人哭着她死去的母亲。人类的悲欢并不相通，我只觉得他们吵闹。
鲁迅
勇敢里面有天才、力量和魔法。
歌德
万绿阴中，小亭避暑，八闼洞开，几簟皆绿。
陈继儒
一个人想和另一个人成为朋友，也不是件容易的事。
刘震云
成功的关键是在生活的各个方面不断成长——精神、情感、灵性以及身体。
The key to success is to keep growing in all areas of life - mental, emotional, spiritual, as well as physical.
罗恩·霍华德
找到自我，鉴定内心并且摸索着前进而不管前路如何。
赫尔曼·黑塞
沟通，别留下误会；牵手，别轻易放下。
泰戈尔
The only limit to our realization of tomorrow is our doubts of today.
实现明天理想的唯一障碍是今天的疑虑。
王健林
比赛输赢不重要，重要的是我们学到了什么。
梦泪
韩国人知道掌握高难度的学术理论意义重大，尤其在数学方面，他们从不走捷径。他们之所以取得优异的成绩，主要是归功于他们的勤劳而不是天赋。这种态度意味着所有学生都愿意付出努力，对国家来说，这种品质比黄金或者石油更可贵。
阿曼达·里普利