计算理论的美在于其抽象和概括的能力，将具体问题转化为通用解决方案。
对我们森林最大的威胁不是伐木，而是漠不关心。
Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.
No wise pilot, no matter how great his talent and experience, fails to use his checklist..
没有正义的自由是暴政。
Agriculture is the foundation of civilization, and we must treat it with the respect it deserves.