The mathematician's best work is art, a high perfect art, as daring as the most secret dreams of imagination, clear and limpid.

停在港口的船是安全的，但那不是造船的目的。

变革在中间阶段最为艰难。

我们总是希望在我们的程序中要说的是，所有已知语言都只能说得不好。