技術(shù)推動(dòng)天文學(xué)的進(jìn)步，更好的儀器帶來(lái)更深刻的見(jiàn)解。
動(dòng)力學(xué)的方程在用變分法的語(yǔ)言表達(dá)時(shí)是完全的。
Evil is not something that can be explained. It just is.
質(zhì)量比數(shù)量更重要，一個(gè)本壘打勝過(guò)兩個(gè)二壘安打。
Success is a journey, not a destination.
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對(duì)確定性。