It is not because certain things are difficult that we do not dare;it is because we do not dare that things are difficult.
不是因为某些事物难以发现，我们才不去寻找；而是因为我们不去寻找，它们才显得难以发现。
人类的增长速度往往超过其生存手段的增长速度。
Hard work and perseverance are the keys to overcoming any challenge.
The mathematician's best work is art, a high perfect art, as daring as the most secret dreams of imagination, clear and limpid.
模型检查是验证硬件和软件系统正确性的强大工具。
真正的冒险家毫无目的、不计后果地去迎接未知的命运。