The true spirit of delight, the exaltation, the sense of being more than Man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as in poetry.

化学的故事是人类探索理解世界的故事。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

最好的报复就是巨大的成功。