我經(jīng)常發(fā)現(xiàn)代碼里面充次著一些“畫蛇添足”的想法，尤其是MM寫的代碼，這好像就是因?yàn)樗伎纪Ａ粼诒砻妫荒苌钊氲绞挛锏谋举|(zhì)造成的。因?yàn)樗齻冊诳紤]問題的時候會將80%的精力放在表面，而用20%的精力來思考低層的實(shí)現(xiàn)。奧薩姆剃刀可以解決這個問題。
奧卡姆剃刀（Occam's Razor, Ockham's
Razor），又稱“奧康的剃刀”，是由14世紀(jì)邏輯學(xué)家、圣方濟(jì)各會修士奧卡姆的威廉（William of
Occam，約1285年至1349年）提出。奧卡姆（Ockham）在英格蘭的薩里郡，那是他出生的地方。他在《箴言書注》2卷15題說“切勿浪費(fèi)較多
東西去做用較少的東西同樣可以做好的事情。”
這個原理稱為“如無必要，勿增實(shí)體”（Entities should not be multiplied unnecessarily）。有時為了顯示其權(quán)威性，人們也使用它原始的拉丁文形式：
Pluralitas non est ponenda sine necessitate.
Frustra fit per plura quod potest fieri per pauciora.
Entia non sunt multiplicanda praeter necessitatem.
事實(shí)上，只有前兩種形式見于他現(xiàn)存的著作中，而第三種形式則由后來的一位學(xué)者撰寫。威廉使用這個原理證明了許多結(jié)論，包括“通過思辨不能得出上帝存在的結(jié)論”。這使他不受羅馬教皇的歡迎。
許多科學(xué)家接受或者（獨(dú)立的）提出了奧卡姆剃刀原理，例如萊布尼茲的“不可觀測事物的同一性原理”和牛頓提出的一個原則：如果某一原因既真又足以解釋自然事物的特性，則我們不應(yīng)當(dāng)接受比這更多的原因。
對于科學(xué)家，這一原理最常見的形式是：
當(dāng)你有兩個處于競爭地位的理論能得出同樣的結(jié)論，那么簡單的那個更好。
在物理學(xué)中我們使用奧卡姆剃刀切掉形而上學(xué)的概念。愛因斯坦的狹義相對論與洛侖茲的理論就是一個范例。洛侖茲的理論認(rèn)為在以太中運(yùn)動的尺收縮、鐘
變慢。愛因斯坦關(guān)于空—時變換的方程與洛侖茲方程在鐘慢尺短效應(yīng)上一致，但是愛因斯坦和龐加萊認(rèn)為以太不能根據(jù)洛侖茲和麥克斯韋方程組檢測到。根據(jù)奧卡姆
剃刀，以太就被排除了。
這一原理也被用來證明量子力學(xué)的不確定性。海森堡從光的量子本性和測量效應(yīng)中推出了不確定原理。
史蒂芬·霍金在他的《時間簡史》中解釋說：我們?nèi)匀豢梢韵胂瘢瑢τ谝恍┏匀坏纳铮嬖谝唤M完全地決定事件的定律，它們能夠觀測宇宙現(xiàn)在的狀態(tài)
而不必干擾它。然而，我們?nèi)祟悓τ谶@樣的宇宙模型并沒有太大的興趣。看來，最好是采用稱為奧卡姆剃刀的原理，將理論中不能被觀測到的所有特征都割除掉。
但是“不能確定以太的存在”和“以太的不存在”都不能僅僅根據(jù)奧卡姆剃刀推出。它可以區(qū)分兩個能做出同樣結(jié)論的理論，但是不能區(qū)分其他可能做出不同結(jié)論的理論。實(shí)驗(yàn)的證據(jù)仍然是必需的，并且奧卡姆本人支持經(jīng)驗(yàn)主義，而不是反對。
厄恩斯特·馬赫提倡奧卡姆剃刀的一個版本，他稱作“經(jīng)濟(jì)原理”，表述為：“科學(xué)家應(yīng)該使用最簡單的手段達(dá)到他們的結(jié)論，并排除一切不能被認(rèn)識到的
事物”。把它引入哲學(xué)就形成了實(shí)證主義哲學(xué)，即認(rèn)為某物存在但無法觀測與根本不存在是一碼事。馬赫影響了愛因斯坦關(guān)于時空不是絕對的論述，但是他（馬赫）
也把實(shí)證主義應(yīng)用到分子的概念。馬赫和他的追隨者認(rèn)為分子是形而上學(xué)的概念，因?yàn)樗鼈兲《荒鼙恢苯犹綔y到。這種主張不顧分子論在解釋化學(xué)反應(yīng)和熱力學(xué)
上的成功。具有諷刺意味的是，當(dāng)使用經(jīng)濟(jì)原理拋棄了以太和絕對參照系的時候，愛因斯坦幾乎同時發(fā)表了一篇關(guān)于布朗運(yùn)動的論文，它證實(shí)了分子的實(shí)在性，這就
打擊了實(shí)證主義的使用。這個故事意味著，我們不能盲目使用奧卡姆剃刀。正如愛因斯坦在他的《自傳筆記》中寫道：
即使是大膽而天才的學(xué)者也會因?yàn)檎軐W(xué)上的偏見而妨礙他認(rèn)清事實(shí)，這是一個很有趣的例子。
人們常常引用奧卡姆剃刀的一個強(qiáng)形式，敘述如下：
如果你有兩個原理，它們都能解釋觀測到的事實(shí)，那么你應(yīng)該使用簡單的那個，直到發(fā)現(xiàn)更多的證據(jù)。 對于現(xiàn)象最簡單的解釋往往比較復(fù)雜的解釋更正確。 如果你有兩個類似的解決方案，選擇最簡單的。 需要最少假設(shè)的解釋最有可能是正確的。
……或者以這種自我肯定的形式出現(xiàn)：
讓事情保持簡單！
注意到這個原理是如何在上述形式中被加強(qiáng)的。嚴(yán)格的說，它們應(yīng)該被稱為吝嗇定律，或者稱為樸素原則。最開始的時候我們使用奧卡姆剃刀區(qū)分能夠做出
相似結(jié)論的理論。現(xiàn)在我們試圖選擇做出不同結(jié)論的理論。這不是奧卡姆剃刀的本意。我們不用檢驗(yàn)這些結(jié)論嗎？顯然最終不是這樣，除非我們處于理論的早期階
段，并且還沒有為實(shí)驗(yàn)做好準(zhǔn)備。我們只是為理論的發(fā)展尋求一種指導(dǎo)。
這個原理最早至少能追溯到亞里士多德的“自然界選擇最短的道路”。亞里士多德在相信實(shí)驗(yàn)和觀測并無必要上走得太遠(yuǎn)。樸素原理是一個啟發(fā)式的經(jīng)驗(yàn)規(guī)
則，但是有些人引用它，仿佛它是一條物理學(xué)公理。它不是。它在哲學(xué)和粒子物理中使用的很好，但是在宇宙學(xué)和心理學(xué)中就不是特別好，這些領(lǐng)域中的事務(wù)往往比
你想象的還要復(fù)雜。或許引用莎士比亞的一句話要勝過引用奧卡姆剃刀：“天地之大, 赫瑞修, 比你所能夢想到的多出更多”
樸素是主觀的，宇宙并不總是像我們認(rèn)為的那樣簡單。成功的理論往往涉及到對稱、美與簡單。1939年保羅·狄拉克寫道：
研究者在把自然法則轉(zhuǎn)變?yōu)閿?shù)學(xué)形式的時候，應(yīng)該為數(shù)學(xué)的美而努力。對于簡單和美的需求往往是等價的，然而當(dāng)它們發(fā)生沖突的時候，后者應(yīng)該優(yōu)先。
吝嗇原理不能取代洞察力、邏輯和科學(xué)方法。永遠(yuǎn)也不能依靠它創(chuàng)造或者維護(hù)一個理論。作為正確性的判別方法，只有邏輯上的連貫性和實(shí)驗(yàn)的證據(jù)才是絕
對的。狄拉克的理論很成功，他構(gòu)造了電子的相對論場方程，并用它預(yù)言了正電子。但是他并沒有主張物理學(xué)僅僅應(yīng)該基于數(shù)學(xué)的美。他完全贊同實(shí)驗(yàn)檢驗(yàn)的必要
性。
最后的結(jié)論來自愛因斯坦，他本身也是一位格言大師。他警告說：
“萬事萬物應(yīng)該盡量簡單，而不是更簡單。”
作為著名的唯名論者，奧卡姆以此反對實(shí)在論，認(rèn)為沒有必要在個別事物之外設(shè)立普遍的實(shí)體，因?yàn)檫@些實(shí)體既無邏輯自明性，又缺乏經(jīng)驗(yàn)證據(jù)。
這一觀點(diǎn)促進(jìn)了經(jīng)驗(yàn)科學(xué)擺脫神學(xué)的束縛，并為后來的邏輯經(jīng)驗(yàn)主義，特別是外延論者所重視。