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.
时间是我们唯一真正的敌人,也是我们永远无法击败的敌人。
计算理论的美在于其抽象和概括的能力,将具体问题转化为通用解决方案。
A book is a dream that you hold in your hand.