canonical

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

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

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

    傳統(tǒng)上數(shù)學(xué)使用的一種逼近范式是：當(dāng)n趨于無窮大的時(shí)候，偏差趨于無窮小?，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ā)掘自己的直覺，這樣我們才能在無限復(fù)雜的世界上借助有限的信息做出選擇。