类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理名人名言哲理格言警句语录 邹崇理
教育不是为生活做准备；教育就是生活本身。
杜威
人就像寒冬里的刺猬，互相靠得太近，会觉得刺痛；彼此离得太远，却又会感觉寒冷；人是必须保持适当的距离过活。
叔本华
我们大多数人之所以无法实现渴望，就在于我们往往以某些条件来限制它们。不要限制你的渴望，当它在你心中生起时，接受它、感谢它，直到你的感激之情已经满溢到就像渴望已经实现一样。然后，平静地去做你该做的事。
内维尔·戈达德
生在某一种文化中的人，未必知道那个文化是什么，像水中的鱼，他不能跳出水去看清楚那是什么水。那能够客观的来观察的旁人，又因为生活在这种文化以外，就极难咂摸到它的滋味，而往往因一点胭脂，断定他美，或几个麻斑而断定他丑。
老舍
当你解决一个数学问题时，你不仅得到了答案，还理解了为什么这是答案。
When you solve a mathematical problem, you don't just get the answer - you understand why it's the answer.
安德鲁·怀尔斯
任你是佯装的咆哮，任你是虚伪的平静，任你掠走过去的一切，一切的过去。这个世界上有沉沦的痛苦，也有苏醒的欢欣。
舒婷
总之这是最后的眼睛，是对白昼表示怀疑而对黑夜素有期盼的眼睛。
史铁生
苍苔浊酒林中静，碧水春风野外昏。
杜甫
沉默可以是一种保护，但也可能是一种监狱。
佚名
譬道之在天下，犹川谷之于江海。
老子
很多时候能否做好，关键在于愿不愿意去努力，有了奋斗的热情，就会找到方法，有了方法就会带来结果！周一，加油！
莎士比亚
我们不做跟随者，我们要做定义者。
李想
"Words are the voice of the heart."
语言是心灵的声音。
塔哈尔·本·杰伦
愚人总会发现有更愚的人钦佩他。
萧伯纳
与员工沟通，消除管理中的警察角色，不要一味企图抓住下属的小辫子。
杰克·韦尔奇
人生，早年玩的时候总觉得有大把的时间，可是真正需要时间的时候却发现，时间这东西挣不来，而且特别不禁花销。
李玫瑾
当一个人学会一套象征体系，并且有能力加以运用时，他就在心灵之中建造了一个随时与他同在、自给自足的世界。
米哈里·契克森米哈赖
当某一动物，某一种族或某一个体失去其他种种本能时，当它选择以及当它偏爱对它不利的东西时，便称它为堕落。
尼采
人，不经过长夜的痛哭，是永远不可能了解人生的。
三毛