不断学习，不断成长。
解决数学问题的过程往往比解决方案本身更重要。
定义属于下定义的人，而不属于被定义的人。
One ought never to turn one's back on a threatened danger and try to run away from it. If you do that, you will double the danger. But if you meet it promptly and without flinching, you will reduce the danger by half.
Death is the only truly serious philosophical problem.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."