Charity:a thing that begins at home,and usually stays there.
計算的力量不僅在于解決問題，還在于其解決問題的優(yōu)雅和效率。
成為一個藝術(shù)家就是要不斷地質(zhì)疑。
Nothing just happens, it's all part of a plan.
"Don’t try to make life a mathematics problem with yourself in the center and everything coming out equal. When you’re good, bad things can still happen. And if you’re bad, you can still be lucky."
模型檢查是驗證硬件和軟件系統(tǒng)正確性的強大工具。
A whole stack of memories never equal one little hope.
錢不說話，它咒罵。
科學(xué)是迷信的解藥。
數(shù)學(xué)中最偉大的發(fā)現(xiàn)是那些統(tǒng)一看似無關(guān)思想的發(fā)現(xiàn)。