激发对一门学科兴趣的最好方法是使其值得了解,这意味着要使知识可用。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
解释:人不博览群书,不了解古今,不能识别世间事物,不知道是与非,就像盲人看不到颜色 、聋人听不到声音、鼻塞的人闻不到花香一样啊。
The only way to tell the truth is to speak without persuasion.