形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對(duì)確定性。
天才就像金子：必須從礦藏中開(kāi)采出來(lái)。
數(shù)學(xué)的真正力量在于它能夠揭示宇宙混沌中隱藏的模式和結(jié)構(gòu)。
I'm very competitive and ambitious, but I don't have a desire to be number one. I just want to do really interesting work and push myself.
勞動(dòng)力市場(chǎng)在不斷演變，我們的模型應(yīng)反映這一點(diǎn)。
"Writing is a way of thinking, a way of understanding the world."