6. 最后的極限

　　OO之后如果FO，那么我們當(dāng)然要問(wèn)，F(xiàn)O之后又是什么？再往后哪？有沒(méi)有一個(gè)最后的極限？若有，極限何在？這是個(gè)很困難的問(wèn)題，不過(guò)還是讓我們繼續(xù)思考下去，看看能有些什么結(jié)果，盡管它可能會(huì)是十分愚蠢和幼稚。

　　我們知道，軟件的實(shí)質(zhì)是人們以計(jì)算機(jī)編程語(yǔ)言為橋梁，將客觀感知世界映射于計(jì)算機(jī)世界中去，以解決人們?cè)诳陀^感知世界中要解決的問(wèn)題。這里牽涉三個(gè)主要的范疇：

　　客觀感知世界--------計(jì)算機(jī)編程語(yǔ)言----------計(jì)算機(jī)世界

　　(1)計(jì)算機(jī)世界

　　在計(jì)算機(jī)世界中，可以想象的是，單位面積的一塊芯片上可以集成的晶體管數(shù)目總會(huì)有個(gè)上限，摩爾定律早晚要失效。另外，現(xiàn)在多數(shù)電腦采用的馮.諾依曼結(jié)構(gòu)也需要被突破。（如并行計(jì)算的研究）

　　(2)計(jì)算機(jī)編程語(yǔ)言

　　現(xiàn)在的計(jì)算機(jī)編程語(yǔ)言，都是某種類(lèi)型的形式語(yǔ)言。要解決一個(gè)問(wèn)題，首先我們必須為它構(gòu)造算法。也就是說(shuō)，對(duì)于沒(méi)有算法的問(wèn)題，我們是束手無(wú)策的。這類(lèi)問(wèn)題被成為是“不可計(jì)算的”。它們的解不能由圖靈機(jī)來(lái)產(chǎn)生。這是我們面臨的一個(gè)極限。

　　那么一個(gè)問(wèn)題有了算法，是不是就一定可以解決哪？很遺憾，答案是不。對(duì)于那些NP（非多項(xiàng)式）問(wèn)題，尤其是NP完備的問(wèn)題，盡管存在算法，我們?nèi)匀皇菬o(wú)法在多項(xiàng)式時(shí)間內(nèi)解決的。著名的“哈密頓線路問(wèn)題”和“旅行推銷(xiāo)員問(wèn)題”都屬于這類(lèi)問(wèn)題。它們的共同特征是，當(dāng)問(wèn)題的規(guī)模（或復(fù)雜度）線形增加時(shí)，解決該問(wèn)題所要化的時(shí)間將呈指數(shù)上升，以至于它們盡管理論上是可求解的，但實(shí)際上卻是不可能的。因?yàn)橐�花費(fèi)的時(shí)間可能已經(jīng)超過(guò)了宇宙的壽命。這也是我們面臨的一個(gè)極限。

　　還需要指出，現(xiàn)在的計(jì)算機(jī)語(yǔ)言作為形式語(yǔ)言的一種，也必然具有形式語(yǔ)言自身所有的局限性。數(shù)學(xué)的發(fā)展史上，曾經(jīng)有三次危機(jī)，第三次危機(jī)是有羅素的一個(gè)“佯謬”引發(fā)的悖論危機(jī)。為解決此危機(jī)，希爾伯特提出了宏偉的形式化規(guī)劃，企圖使數(shù)學(xué)一勞永逸地處于無(wú)可爭(zhēng)辯的安全基礎(chǔ)之上�？墒�，1931年奧地利25歲的天才數(shù)學(xué)邏輯學(xué)家歌德?tīng)柼岢隽艘粭l劃時(shí)代的定理，粉碎了希爾伯特形式化的美夢(mèng)。哥德?tīng)柖ɡ硐蛭覀冋故�，公理系統(tǒng)本身的協(xié)調(diào)性的陳述在被編碼成適當(dāng)?shù)乃阈g(shù)命題后，將成為一道這樣“不能決定的”不能決定的命題。想象一個(gè)表達(dá)式既不為真，也不為假，它的真假對(duì)一個(gè)形式系統(tǒng)（計(jì)算機(jī)）而言它是不可判定的。因此在這方面，哥德?tīng)柖ɡ硎俏覀兠媾R的又一個(gè)極限。

　　(3)客觀感知世界

　　現(xiàn)在讓我們假設(shè)軟件工程已經(jīng)發(fā)展到了這樣一個(gè)理想的境界，有一天我們實(shí)現(xiàn)了自然語(yǔ)言編程，是否就萬(wàn)事大吉了？換句話，自然語(yǔ)言是否能很好地描述、表達(dá)客觀感知世界？

　　維特根斯坦在《邏輯哲學(xué)論》里已經(jīng)指出了。

　�。�世界的意義必定存在于世界之外；
　　＊顯然倫理學(xué)是無(wú)法表述的。 倫理學(xué)是超越現(xiàn)實(shí)的；
　�。獙�(shí)際上存在著不可表達(dá)的東西；這顯示了它的存在；它是神秘的。
　　（見(jiàn)《邏輯哲學(xué)論》第六節(jié)）

　　也就是說(shuō)，外部世界中存在一些我們可以感知卻無(wú)法用語(yǔ)言來(lái)表達(dá)的東西。

　　他接著說(shuō)：
　　“對(duì)于那些不可言說(shuō)的，必須保持沉默�！保╓hereof one cannot speak，thereof one must be silent）

　　這句話，成為我們最后的極限。

　　在討論完這三個(gè)范疇中我們將面臨的主要問(wèn)題后，我們最后來(lái)討論一下人的主觀世界對(duì)軟件及軟件開(kāi)發(fā)的影響。


7. 極限之外的空間

　　世界可以分為主觀想象世界和客觀可感知世界，或者說(shuō)是內(nèi)世界和外世界。其中，主觀想象世界是計(jì)算機(jī)從未涉足的空間。這是屬于我們個(gè)人的私有空間，充斥著我們自己離奇古怪的幻想和起伏不定的情緒。它具有極大的跳躍性和不確定性，常常以直覺(jué)、想象的方式進(jìn)行著自己的活動(dòng)。它們通常是語(yǔ)言所不能表達(dá)的。

　　盡管這個(gè)內(nèi)世界是如此的復(fù)雜、混亂、難以捉摸，但它卻是我們與生俱來(lái)的一部分。

　　我們就是這樣的人。

　　就是這樣的人從事著軟件開(kāi)發(fā)的工作。

　　這樣的人開(kāi)發(fā)出來(lái)的軟件究竟在多大程度上是對(duì)客觀世界不折不扣的映射？還是這個(gè)映射過(guò)程已經(jīng)被扭曲或摻雜了？軟件開(kāi)發(fā)者的這個(gè)主觀想象世界，他們的歡樂(lè)、沮喪、奇想、恐懼、希望等等，究竟是怎樣影響著軟件開(kāi)發(fā)的質(zhì)量？

　　人們是要用計(jì)算機(jī)來(lái)復(fù)制整個(gè)世界？還是來(lái)復(fù)制人本身？
　　人們是在扮演上帝的角色嗎？

　　這樣的問(wèn)題我實(shí)在不知該如何去解答，甚至覺(jué)得根本無(wú)從下手。

　　如果你還有足夠的耐心讀到這里，請(qǐng)你也來(lái)想一想，希望它們不會(huì)使你頭疼。

　　:)

　　最后，我將引用我從網(wǎng)上偶爾發(fā)現(xiàn)的一篇文章中的話作為結(jié)束語(yǔ)：

　　“自以為是的立法者(人類(lèi))犯下了一個(gè)大錯(cuò)，以為自己能定義整個(gè)軟件開(kāi)發(fā)過(guò)程。他們既不了解其開(kāi)始也不了解其結(jié)果。學(xué)術(shù)界試了一下，然后就知難而退了。商業(yè)界則對(duì)其毫無(wú)辦法。大型軟件開(kāi)發(fā)商們斥巨資來(lái)制造代碼，明明想要扮演上帝的角色，卻還裝作自己是人類(lèi)的公仆。所有人都在盯著鏡子里的自己。計(jì)算機(jī)卻在一旁偷偷的笑�！�

　　“ The self-righteous，legalists have made a big mistake in thinking they can define the software development process. They understand neither its beginnings or its consequences. The academic community tried it briefly and then gave up. The business community never cracked the code. The giant software houses are pouring enormous energy into process of creating code，playing God，and pretending to be servants of mankind. All are looking at themselves in the mirror. The computer is laughing back.”

----《完》----

--------------------------------------------------------------------------------

后記：
　　大概4月份的時(shí)候，開(kāi)始寫(xiě)這個(gè)題目，一口氣寫(xiě)了4篇，貼到水母清華的軟工板上。后來(lái)主要因?yàn)閼�，就停了下�?lái)。多虧有幾位網(wǎng)友來(lái)信催促和鼓勵(lì)，才使我有機(jī)會(huì)逼自己坐下來(lái)完成最后的3篇。這里特向他們表示感謝！ 尤其要感謝seraph和xiaobo。

　　看屏幕上的字的確是件累人的事，所以如果你竟然有耐性看到了這里，我一定要向你表示佩服了。 :)

　　最后說(shuō)明，本文不是一個(gè)正式版，只是一個(gè)學(xué)習(xí)和思考的心得體會(huì)，行文倉(cāng)促，也沒(méi)有仔對(duì)照細(xì)修改。文中的錯(cuò)誤和不恰當(dāng)?shù)姆�譯均由我全部負(fù)責(zé)，歡迎指正。


-----------------------------------------------------------

AKA的waterbird
1998年10月7日0點(diǎn)29分