canonical

    數(shù)學(xué)上的有效性與物理中的有效性是不同的，例如對(duì)于密碼學(xué)問題，如果通過(guò)窮舉法破解密碼成功時(shí)，經(jīng)過(guò)這些密碼加密的數(shù)據(jù)已經(jīng)過(guò)了有效期限，此時(shí)我們?cè)跀?shù)學(xué)上定義窮舉法不是一種有效的破解方法。但是物理層面上我們說(shuō)只要一種方法比另一種方法能夠更快的解決問題，我們就說(shuō)第一種方法比第二種方法有效，而無(wú)論密碼被破解的時(shí)候該密碼是否已經(jīng)過(guò)了有效期限。

    我所表述的論題并不是說(shuō)特定的領(lǐng)域結(jié)構(gòu)無(wú)法在某個(gè)特定的通用語(yǔ)言中有效實(shí)現(xiàn)。我想很多人對(duì)我的話語(yǔ)都有些誤解。
如果我們認(rèn)為一種通用語(yǔ)言是比較穩(wěn)定的,則它一般選擇只內(nèi)置一些通用的不帶有領(lǐng)域特定含義的概念. 而缺乏領(lǐng)域知識(shí),或者說(shuō)因?yàn)橥ㄓ谜Z(yǔ)言故意的摒棄領(lǐng)域依賴, 它在處理領(lǐng)域相關(guān)的問題的時(shí)候并不是有效的.這種有效性不是數(shù)學(xué)含義上的,而是可以進(jìn)行物理度量的.
現(xiàn)在ErLang對(duì)通信領(lǐng)域具有良好的支持，你可以說(shuō)它對(duì)于通信領(lǐng)域的結(jié)構(gòu)是有效的。但是顯然在ErLang中編寫界面就不如面向?qū)ο笳Z(yǔ)言得心應(yīng)手。在ErLang中實(shí)現(xiàn)界面結(jié)構(gòu)的時(shí)候，它對(duì)于界面結(jié)構(gòu)的表述就不是那么符合我們直觀的，對(duì)我們的實(shí)現(xiàn)過(guò)程來(lái)說(shuō)就不是那么經(jīng)濟(jì)的。因此在界面結(jié)構(gòu)的實(shí)現(xiàn)上，目前我們可以說(shuō)ErLang相對(duì)于面向?qū)ο笳Z(yǔ)言而言就是不那么有效的。也許你會(huì)說(shuō)ErLang做XX發(fā)展之后怎見得就更差。但是如果允許引入未來(lái)這一具有無(wú)限可能性的因子，我們基本上無(wú)法針對(duì)現(xiàn)實(shí)的情況作出判斷。例如我們目前并無(wú)法證明廣義相對(duì)論相對(duì)于牛頓力學(xué)是更加精確的，如果允許在太陽(yáng)星系中增加越來(lái)越多的隱蔽的攝動(dòng)星體的話。按照庫(kù)恩的科學(xué)革命論，每一個(gè)科學(xué)時(shí)代都具有著自己的科學(xué)范式，它總是具有著充分的自我辯護(hù)能力。范式的更新意味著格式塔的崩潰。回顧歷史，哥白尼剛提出日心說(shuō)的時(shí)候，并不是在計(jì)算精度，計(jì)算簡(jiǎn)潔性上真的遠(yuǎn)勝托勒密的地心說(shuō)，只是日心說(shuō)的哲學(xué)隱喻撼動(dòng)了人心。

    我說(shuō)實(shí)際上現(xiàn)在的通用語(yǔ)言也是無(wú)法有效承載Domain Specific Structure的，這并不是意指在通用語(yǔ)言中無(wú)法針對(duì)特定應(yīng)用作出特定擴(kuò)展來(lái)支持特定的結(jié)構(gòu)，而是說(shuō)Domain Specific Structure是任意多的，作為通用語(yǔ)言它不應(yīng)該把越來(lái)越多的結(jié)構(gòu)內(nèi)置在語(yǔ)言中(這不是很多人對(duì)ruby的希冀嗎)，這么做對(duì)它來(lái)說(shuō)首先是不經(jīng)濟(jì)的。同時(shí)某些特殊的結(jié)構(gòu)在一定的場(chǎng)景下是有用的，但是把它抽象出來(lái)擴(kuò)展到通用領(lǐng)域的時(shí)候，會(huì)出現(xiàn)有效性的喪失。例如現(xiàn)在我的系統(tǒng)中只需要10個(gè)相互依賴的線程，如果我們定死了10這個(gè)數(shù)字，顯然我們可以發(fā)展一種這個(gè)領(lǐng)域特有的高效的一些算法結(jié)構(gòu)。而抽象到通用語(yǔ)言中的時(shí)候，顯然我們只能假設(shè)線程數(shù)是任意大，或者是充分大的，而無(wú)法充分利用10這一領(lǐng)域信息，因此在這個(gè)意義上我說(shuō)通用語(yǔ)言不是有效的。

    傳統(tǒng)上數(shù)學(xué)使用的一種逼近范式是：當(dāng)n趨于無(wú)窮大的時(shí)候，偏差趨于無(wú)窮小?，F(xiàn)在物理學(xué)對(duì)數(shù)學(xué)的一種常見要求卻是：當(dāng)n限定在有限數(shù)量范圍的時(shí)候（例如10以內(nèi)），我們?nèi)绾尾拍鼙M量減少偏差。這要求對(duì)小樣本數(shù)學(xué)進(jìn)行深入的研究，它所具有的物理內(nèi)涵也是不同的。

    在物理的視角下，我們所關(guān)心的不是世界在終極的意義上能否分解為函數(shù)的復(fù)合，不是要導(dǎo)向一種宗教式的頂禮膜拜，而是強(qiáng)調(diào)要尊重自己所直接感受到的，充分利用我們因?yàn)樵谶@個(gè)世界上存在而獲得的直觀意象，發(fā)掘自己的直覺，這樣我們才能在無(wú)限復(fù)雜的世界上借助有限的信息做出選擇。