1、什么是軟件開發(fā)?
軟件開發(fā)的過程就是人們使用各種計算機語言將人們關(guān)心的現(xiàn)實世界映射到計算機世界的過程；
現(xiàn)在的計算機的數(shù)學(xué)理論基礎(chǔ)是由計算機的開山鼻祖，大名鼎鼎的圖靈于1937年提出的圖靈機模型。 隨后不到十年，電子計算機就誕生了(1945)。(埃尼亞克)
我們都知道，它當(dāng)時的主要任務(wù)之一就是用于導(dǎo)彈彈道軌跡的計算。當(dāng)時的軟件開發(fā)(如果可以稱之為軟件開發(fā)的話)與現(xiàn)在的大不相同。為了算一道題，要有人 事先把完成加減乘除等各類運算的部件像搭積木那樣搭起來，如果換一道題，則要把這些部件分解開來，根據(jù)新的要求重新搭建，效率極低(與現(xiàn)在比)。
現(xiàn)代電子計算機的體系結(jié)構(gòu)及實際計算模型來自馮.諾依曼的思想。 1946年他和他的同事們發(fā)現(xiàn)了埃尼亞克的缺陷，發(fā)表了一份報告，提出了程序放入內(nèi)存，順序執(zhí)行的思想，這樣，當(dāng)算一道新題時就只需采取改變計算機中的程序的“軟”的方法。
英國的科學(xué)家維爾克斯實現(xiàn)了馮.諾依曼的思想，領(lǐng)導(dǎo)研制了“艾克薩克”，在技術(shù)上比埃尼亞克來了個大的飛躍。
因此，現(xiàn)在的計算機通常被稱為馮.諾依曼計算機。
軟件開發(fā)的歷史也從此正式開始。
早期程序員們使用機器語言來進(jìn)行編程運算；隨著編譯技術(shù)的出現(xiàn)，人們設(shè)計了許多更高級別的語言；這些語言擺脫了機器語言繁瑣的細(xì)節(jié)，更接近于人的自然語 言，迅速流行開來。 據(jù)統(tǒng)計，全世界的高級語言起碼有幾千種，但從可計算性的角度看，它們的計算能力都等價于圖靈機。 已經(jīng)證明，一個計算機語言，只要除了賦值語句之外，還包括順序語句，條件語句和循環(huán)語句，它的計算能力即相當(dāng)于圖靈機。 這里當(dāng)然要排除其他技術(shù)因素的影響，如程序長度，變量個數(shù)，數(shù)據(jù)精度等。
由于圖靈機的想法是把問題轉(zhuǎn)化為一步一步按規(guī)則執(zhí)行的機械求解 過程，各種計算機語言也不過都是某種形式語言，因此軟件開發(fā)的過程實質(zhì)上就是程序員們對客觀世界問題域的形式化的過程。 程序員們先建立問題的模型(形式化)，再用計算機語言加以合適的表達(dá)，最后再輸入計算機里進(jìn)行計算。
2 從 PO(面向過程)到OO(面向?qū)ο?
從上一節(jié)的論述我們知道:
軟件開發(fā)的過程就是人們使用各種計算機語言將人們關(guān)心的現(xiàn)實世界(問題域)映射到計算機世界的過程；如下圖:
現(xiàn)實世界問題域 → 建立模型(借助某種建模思想) → 編程實現(xiàn)(借助某種編程語言) → 計算機世界執(zhí)行求解
在談?wù)揙O之前，先讓我們回顧一下高級語言的歷史。
最早的高級語言大約誕生于1945年，是德國人楚譯為他的Z-4計算機設(shè)計的Plan Calcul，比第一臺電子計算機還早幾個月；在電子計算機上實現(xiàn)的第一個高級語言是美國尤尼法克公司于1952年研制成功的Short Code；而真正得到推廣使用，至今仍在流行的第一個高級語言是美國的計算機科學(xué)家巴科斯設(shè)計，并于1956年首先在IBM公司的計算機上實現(xiàn)的 FORTRAN語言。
早期的高級語言主要是應(yīng)用于科學(xué)和工程計算，其代表作有FORTRAN和ALGOL60。計算機進(jìn)入商業(yè)和行政管 理領(lǐng)域以后，出現(xiàn)了COBOL和 RPG等便于商界使用的語言。近年來，這類語言和數(shù)據(jù)庫技術(shù)，圖形界面技術(shù)(可視化編程)，面向?qū)ο蟮乃枷爰癛AD(Rapid Application Devolopment)的概念相結(jié)合，形成了一批更方便使用的所謂第四代語言(4GL)，如Powerbuilder，Delphi，VB等。
前一類應(yīng)用于科學(xué)和工程計算的大型語言相對來說更為基礎(chǔ)，因而也更為靈活，應(yīng)用范圍更為廣泛。 在FORTRAN，BASIC(學(xué)習(xí)型)之后，自70年代以來，模塊特征更明顯，簡單易用，可靠性強的PASCAL異軍突起，在世界范圍內(nèi)廣泛流行。 但進(jìn)入80年代以后，它的地位又逐漸為更實用的C語言替代。 到現(xiàn)在，C語言的地位已相當(dāng)于一種“高級匯編語言”了。
80年代后期，面向?qū)ο蟮恼Z言開始浮出水面，C++借助使用C語言的龐大程序員隊伍，一舉建立了面向?qū)ο笳Z言的老大地位。從而OO的思想正式統(tǒng)治了整個軟件開發(fā)界。C++的流行甚至使得美國軍方從80年開始大力扶植的Ada語言還未及推廣便胎死腹中了。
90年代以后，計算機世界更是發(fā)生了天翻地覆的變化，原先的單機平臺讓位于WEB，“網(wǎng)絡(luò)就是計算機”，新的語言不僅要是OO的，Visual的，更要是基于WEB的。 Java語言借INTERNET的東風(fēng)，橫空出世，一夜紅遍天下，變化之快令人瞠目結(jié)舌。
上述這些變化，表面是不同的編程工具在城頭變幻大王旗，但其背后反映的卻是一種更為深刻的認(rèn)識論的改變，即你是用何種觀點來認(rèn)識這個世界的？ 在PO中，程序員們分析了問題域之后，得到一個PO的模型，其中常見的詞語是變量，函數(shù)，過程等；
PO: 現(xiàn)實世界 → 流程圖(變量，函數(shù)) → PO語言 → 執(zhí)行求解
在OO中，程序員們先得到一個OO的模型，其中常見的詞語是類，對象，方法，消息等；
OO: 現(xiàn)實世界 → 類圖(對象，方法) → OO語言 → 執(zhí)行求解
我們可以看到:
PO更接近于計算機世界的物理實現(xiàn)；OO則更符合于人們的認(rèn)識習(xí)慣；
如果說，軟件危機的根源在于人們認(rèn)識表達(dá)的過程(不斷反復(fù)，逐步深化)和馮.諾依曼計算機的實現(xiàn)過程(順序執(zhí)行)之間存在巨大鴻溝的話，那么從PO到OO意味這這鴻溝在逐漸縮小；
OO作為一種思想及編程語言，為軟件開發(fā)的整個過程——從分析設(shè)計到coding——提供了一個完整解決方案。 OO堪稱是軟件發(fā)展取得的里程碑式的偉大成就，人們無不為之喝彩！
一提到OO，我們將會聯(lián)想到C++，smalltalk，simula，聯(lián)想到Use Case，ROSE，Mr Jacboson 以及Rational公司，但卻很少有人會提及維特跟斯坦(Wittgenstein)。 然而，正是這位充滿傳奇色彩的哲學(xué)家，不僅第一次清楚地表達(dá)了OO的思想，更進(jìn)一步提及了OO以后的事情，及其最后的極限所在。
在目前這個變幻莫測的時代重溫并認(rèn)真思考一下這位先哲的思想，或許能使我們更加清醒，更明確前方道路的漫長。
3 維特跟斯坦(Wittgenstein)與OO
維特跟斯坦是本世紀(jì)乃至人類哲學(xué)史上最偉大的哲學(xué)家之一。 他生前只于1922年出版了一本著作——《邏輯哲學(xué)論》(Tractatus Logico-Philosophicus)。在該書中，他闡述了一種世界觀，或者說一種認(rèn)識世界的觀點，這種觀點，在六七十年后的今天，終于由一種哲學(xué)思想沉淀到技術(shù)的層面上來，成為計算機業(yè)界的寵兒，這就是“OO”，Object-Oriented，面向?qū)ο螅蛭锛?dǎo)向(港臺用語)。
讓我們先扯得遠(yuǎn)點兒，(可能扯得確實遠(yuǎn)了點)，先談?wù)勥@個人，再談他 《邏輯哲學(xué)論》一書中的 OO 思想。
對西方哲學(xué)感興趣的朋友都知道，在西方哲學(xué)史上發(fā)生過兩次深刻的轉(zhuǎn)向。 一次是由“本體論”向“認(rèn)識論”的轉(zhuǎn)向；另一次是由“認(rèn)識論”到“方法論”的轉(zhuǎn)向。
古希臘羅馬時代的西方哲學(xué)，被稱為“本體論”的時代，那時哲學(xué)家們最關(guān)心的是世界的本源問題，即世界是由什么組成的？世界的本質(zhì)是什么？等等這些探究世界根本的問題。 從泰勒斯的“萬物皆水”到“四元素”說，“原子論”，再到伯拉圖的“絕對理念”，都對這一問題提出了各自的見解。
基督教借助信仰的影響力量(猶太教傳統(tǒng))和世俗的政治專制力量(羅馬傳統(tǒng))，以上帝這一概念對此問題作出終結(jié)性回答，持異議者將有生命危險，布魯諾即因此被燒死。當(dāng)然，基督教也出了幾個杰出的哲學(xué)家，他們繼承了希臘的理性傳統(tǒng)，混合了圣經(jīng)的思想，構(gòu)造了宏偉的基督教哲學(xué)體系。他們的代表人物是奧古斯丁和托馬斯.阿奎拿。 阿奎拿曾提出了證明上帝存在的五種方法(希臘理性傳統(tǒng)) 。
中世紀(jì)之后，隨著文藝復(fù)興運動的興起，人們開始從上帝的陰影下走出，發(fā)現(xiàn)了自身的作用，即人的價值。以笛卡爾的“我思故我在”為標(biāo)志，哲學(xué)開始了由“本體論”向“認(rèn)識論”的轉(zhuǎn)變；這一時期哲學(xué)關(guān)心的是人的認(rèn)識的問題，具體的流派以各自側(cè)重的不同常分為 “唯理論”和“經(jīng)驗論”，前者注重理論演繹，以笛卡爾等人為代表；后者則注重感覺和經(jīng)驗，代表人物是洛克，培根等。
科學(xué)其實就是融合了“唯理論”和“經(jīng)驗論”的長處而發(fā)展壯大的。 既強調(diào)試驗和觀察，運用歸納法，也重視利用數(shù)學(xué)和邏輯從歸納的結(jié)果出發(fā)，構(gòu)造理論框架，演繹出新的科學(xué)定理。
到了康德以后，尤其是本世紀(jì)初，哲學(xué)的核心問題開始由“認(rèn)識論”轉(zhuǎn)向“方法論”，哲學(xué)關(guān)心的核心問題是認(rèn)識如何實現(xiàn)的問題。這一時期，哲學(xué)家們開始認(rèn)識到語言對于人的認(rèn)識的特殊地位，他們紛紛從研究語言出發(fā)來研究哲學(xué)。 其中甚至有些人極端的認(rèn)為以前的所有哲學(xué)問題不過是語言的問題而已。哲學(xué)的這次轉(zhuǎn)向有時也被稱為是“語言的轉(zhuǎn)向” ，新的哲學(xué)觀點被冠以“語言哲學(xué)”或“分析哲學(xué)”的名稱。
“語言哲學(xué)” 的發(fā)展經(jīng)歷了兩個階段，或者說可以被進(jìn)一步分為兩個學(xué)派：“邏輯分析派”和“日常語言派”。維特跟斯坦的引人矚目之處在于：他在前期持邏輯分析的觀點，后期則持日常語言的觀點。
總結(jié)一下上面論述的要點，現(xiàn)在我們知道:
西方哲學(xué)的發(fā)展，經(jīng)歷了兩次變革，一次是認(rèn)識論轉(zhuǎn)向；一次是語言轉(zhuǎn)向；第一次轉(zhuǎn)向使哲學(xué)的基礎(chǔ)從本體論和形而上學(xué)變?yōu)檎J(rèn)識論，從研究超驗的存在物轉(zhuǎn)到研究認(rèn)識的主體和主客體關(guān)系；第二次轉(zhuǎn)向把對主客體的關(guān)系的研究變成了對主體間的交流和傳達(dá)問題的研究。把對主體的研究從觀念和思想的領(lǐng)域轉(zhuǎn)到了語言的領(lǐng)域 (語句及其意義)；這兩次轉(zhuǎn)向的代表人物分別是笛卡爾和維特跟斯坦。
下面是維特跟斯坦(Wittgenstein)的小傳。
維特跟斯坦1889年生于維也納。青年時期的教育首先使他成為一名航空專業(yè)工科研究生，1908-1911，曼徹斯特。23歲時他到著名的劍橋大學(xué)學(xué)習(xí)哲學(xué)，成為羅素的學(xué)生。據(jù)說維特跟斯坦當(dāng)時正為自己未來的發(fā)展方向感到迷茫，工科還是哲學(xué)？一天晚上他帶著自己的一些手稿(雜感之類的東西)來找羅素，要羅素讀一下，然后判斷自己是否是學(xué)哲學(xué)的料，如果不行的話，就準(zhǔn)備卷鋪蓋走人。 羅素拿起他的手稿，只看了頭一句話，就堅決地對他說，你不學(xué)哲學(xué)太可惜了之類的話。維特跟斯坦這才堅定了投身哲學(xué)的決心。
在第一次世界大戰(zhàn)期間(1914-1918)，維特跟斯坦參加奧地利軍隊，后來被俘。正是在這段時間里，他完成了自己的成名作，《邏輯哲學(xué)論》(Tractatus Logico-Philosophicus)。該書于1922年以英文出版，是他生前出版的唯一的一本著作。
在這本書中，維特跟斯坦闡述了自己的"邏輯原子論"的哲學(xué)觀點，成為該學(xué)派的代表人物之一。 其他著名的“邏輯原子主義者”包括羅素，懷海特，弗雷格等。該書的出版開創(chuàng)了哲學(xué)研究的新方向。
完成這本書后，維特跟斯坦認(rèn)為自己已經(jīng)解決了所有的哲學(xué)問題，于是他就真的放棄了哲學(xué)，先是作了一個花匠，后來作了一名小學(xué)教師。 需要說明的是，他家很富有，但他主動放棄了對巨額遺產(chǎn)的繼承權(quán)，自愿過一種樸素簡單的生活。
大約10年的時間，維特跟斯坦脫離了哲學(xué)界。但后來，他對自己在《邏輯哲學(xué)論》中表述的哲學(xué)的可靠性產(chǎn)生了深深的懷疑。于是，在1929年他重新返回劍橋，成為三一學(xué)院的老師。1939 年他得到了教授的職稱。但在第二次世界大戰(zhàn)期間，他卻以一名醫(yī)生的身份為軍隊服務(wù)。1947年維特跟斯坦從劍橋退休，定居于愛爾蘭。這一時期他對哲學(xué)的思考形成了他后期的哲學(xué)思想。1949年他去了趟美國，當(dāng)年回來時不幸身患癌癥，1951年在牛津與世長辭。
死后，他后期的思考被整理出版，《哲學(xué)研究》(Philosophical Investigations)，《關(guān)于確定性》(On Certainty) 等等，開創(chuàng)了語言哲學(xué)研究的另一個新的方向。
以上我羅里羅唆，主要是介紹了維特跟斯坦在哲學(xué)史上的地位，及其頗具傳奇色彩的一生。興之所至，請大家見諒。
下面我們進(jìn)入主題，談一談《邏輯哲學(xué)論》 及其中表述的OO思想。
4. OO之后是什么？
一、 從軟件工程的發(fā)展歷史來看
1969年NATO會議之后，“軟件危機”成為人們關(guān)注的焦點。為迎接軟件危機的挑戰(zhàn)，人們進(jìn)行了不懈的努力。這些努力大致上是沿著兩個方向同時進(jìn)行的。一是從管理的角度，希望實現(xiàn)軟件開發(fā)過程的工程化。這方面最為著名的成果就是提出了大家都很熟悉的“瀑布式”生命周期模型。它是在60年代末“軟件危機”后出現(xiàn)的第一個生命周期模型。如下所示。
分析 → 設(shè)計 → 編碼 → 測試 → 維護(hù)
后來，又有人針對該模型的不足，提出了快速原型法、螺旋模型、噴泉模型等對“瀑布式”生命周期模型進(jìn)行補充。現(xiàn)在，它們在軟件開發(fā)的實踐中被廣泛采用。
這方面的努力，還使人們認(rèn)識到了文檔的標(biāo)準(zhǔn)以及開發(fā)者之間、開發(fā)者與用戶之間的交流方式的重要性。一些重要文檔格式的標(biāo)準(zhǔn)被確定下來，包括變量、符號的命名規(guī)則以及原代碼的規(guī)范格式。
值得一提的是，在開發(fā)者之間、開發(fā)者與用戶之間的交流方式這方面，由于Internet的出現(xiàn)提供了一種全新的交流手段，也產(chǎn)生了一種基于 Internet的全新的開發(fā)方式，即OSS(Open Source Software)。其代表作有Linux(操作系統(tǒng))，Apeche(web server)，Sendmail(Mail server)等。OSS是一種極有前途的開發(fā)方式，借Internet發(fā)展的大潮，它勢必會對整個軟件開發(fā)模型產(chǎn)生難以估量的影響。近期的IEEE軟件工程專刊將為次出一期專題特刊。1999年1月份也將舉行關(guān)于Linux/OSS的國際研討會。各家計算機公司紛紛對此作出反應(yīng)，微軟也意識到了來自 OSS的巨大威脅，在8月底提出了一份內(nèi)部保密的文件，專門提出了自己的應(yīng)對策略，可謂是山雨欲來風(fēng)滿樓。有興趣者請對此保持關(guān)注。
軟件工程發(fā)展的第二個方向，側(cè)重與對軟件開發(fā)過程中分析、設(shè)計的方法的研究。這方面的第一個重要成果就是在70年代風(fēng)靡一時的結(jié)構(gòu)化開發(fā)方法，即PO（面向過程的開發(fā)或結(jié)構(gòu)話方法）。 PO是人們在用計算機世界來表達(dá)現(xiàn)實世界時，追求過程話、模塊化、封裝以及更高的抽象的結(jié)果。人們用計算機來映射現(xiàn)實世界時，最低層的實現(xiàn)無非是靠數(shù)字電路技術(shù)產(chǎn)生的高電平與低電平信號。用數(shù)學(xué)的語言來表示，就是像 010101000010111 這樣的二進(jìn)制串。這樣的抽象層次是極低的，遠(yuǎn)離了自然語言，對一般人是不可理解的。人們把這些二進(jìn)制串分塊定義，提出了字節(jié)、ASCII碼這樣的更高抽象層次的概念，使之對應(yīng)于自然語言的一個個字母。在此基礎(chǔ)再借助某種形式語言，抽象出變量、表達(dá)式、運算、語句等概念。在這個層面上，一般經(jīng)過訓(xùn)練的程序員已經(jīng)可以比較不那么痛苦地進(jìn)行軟件開發(fā)了。下一步的抽象就產(chǎn)生了PO。在PO中，人們關(guān)注的是如何用函數(shù)和過程來實現(xiàn)對現(xiàn)實世界的模擬，將其映射到計算機世界之中。 OO是這種抽象層次不斷提高的過程的自然發(fā)展結(jié)果，它采用類和對象的概念，把變量以及對變量進(jìn)行操作的函數(shù)和過程封裝在一起，用這種更高一級的抽象來表達(dá)客觀世界。通常，一個對象包含一些屬性和方法，它對應(yīng)于自然語言中一個有意義的名詞，描述了現(xiàn)實世界中的一個物體（物理實體）或概念（抽象實體）。這個抽象層次如下圖所示：
計算機世界中的抽象層次
＊XO(X?-Oriented） 最高的抽象層次
＊OO(對象、類)
＊PO(過程、函數(shù)、變量)
＊變量、運算、表達(dá)式、語句
＊字節(jié)(4位、8位、16位、32位、64位)
＊二進(jìn)制串 0101011110001 最低的抽象層次
從上圖及以上的討論我們知道，軟件工程的發(fā)展歷史就是人們不斷追求更高的抽象、封裝和模塊化的歷史。OO當(dāng)然不會是歷史的終結(jié)。盡管不能精確得到OO之后是什么，我們至少可以推知，OO之后的XO，必然將是比OO更高一級的抽象。它所依賴的核心概念必然高于并包容對象這一概念。正如對象高于并包容了函數(shù)和變量一樣。
二、 從維特根斯坦在《邏輯哲學(xué)論》一書中的思想來看
前面我們已經(jīng)知道，維特根斯坦在《邏輯哲學(xué)論》 一書中提出了如下思想：
＊世界可以分解為事實 ( The world divides into facts.)
＊事實是由原子事實(atomic facts)組成的。
＊一個原子事實是多個對象(objects)的組合。
＊對象是簡單的(基本的) The Object is simple。
＊對象形成了世界的基礎(chǔ)。
即： 世界---事實----原子事實----對象這樣一個從整體到局部、從抽象到具體的認(rèn)識之鏈。在這個層次中，對象作為最基本的模塊，構(gòu)成了整個認(rèn)識大廈的基石。對象通過相互之間的復(fù)雜的關(guān)聯(lián)構(gòu)成了整個世界。這個觀點也是面向?qū)ο罄碚摰幕?/span>
上一段我們通過對計算機世界的分析得出，OO之后的發(fā)展，必將產(chǎn)生比OO更高一級的抽象的概念用于編程。按照維特根斯坦的思想可以很自然地得出結(jié)論：這個概念就是事實(FACT)。即面向?qū)ο笾笫敲嫦蚴聦崳琌O之后是FO（Fact-Oriented）。那么，什么是事實(fact)？讓我們再次重溫一下維特根斯坦的觀點。
首先，世界是所有事實的總和。世界可以分解為事實。任一事實或者為真，或者不為真。（即事實應(yīng)返回一個布爾變量，或為TRUE，或為FALSE）
其次，那些為真的事實，是由原子事實(atomic facts)組成的。
原子事實和簡單對象的關(guān)系是這樣的：一個原子事實是多個對象(object)的組合。在原子事實中，對象以某種確定的方式相連。原子事實中對象相互連接的方式即是原子事實的結(jié)構(gòu)。 也就是說，原子事實是有結(jié)構(gòu)的，這種結(jié)構(gòu)被維特根斯坦看作是現(xiàn)實世界的模式(form)。
這里，維特根斯坦提出了幾個重要的概念：事實(fact)、原子事實(atomic fact)和模式(form)。
如果我們以上的推理過程正確的話，我們將得出一個結(jié)論：面向?qū)ο?OO)之后是面向事實(FO)，在面向事實(FO)的分析、設(shè)計和編程中，我們將主要圍繞事實(fact)、原子事實(atomic fact)和模式(form)這些基本概念來組織我們的軟件開發(fā)活動。在人們認(rèn)識世界的層次結(jié)構(gòu)中，這些概念是比對象(object)和類(class) 更高一級的抽象。
5. 最后的極限
OO之后如果FO，那么我們當(dāng)然要問，F(xiàn)O之后又是什么？再往后哪？有沒有一個最后的極限？若有，極限何在？這是個很困難的問題，不過還是讓我們繼續(xù)思考下去，看看能有些什么結(jié)果，盡管它可能會是十分愚蠢和幼稚。
我們知道，軟件的實質(zhì)是人們以計算機編程語言為橋梁，將客觀感知世界映射于計算機世界中去，以解決人們在客觀感知世界中要解決的問題。這里牽涉三個主要的范疇：
客觀感知世界--------計算機編程語言----------計算機世界
(1)計算機世界
在計算機世界中，可以想象的是，單位面積的一塊芯片上可以集成的晶體管數(shù)目總會有個上限，摩爾定律早晚要失效。另外，現(xiàn)在多數(shù)電腦采用的馮.諾依曼結(jié)構(gòu)也需要被突破。（如并行計算的研究）
(2)計算機編程語言
現(xiàn)在的計算機編程語言，都是某種類型的形式語言。要解決一個問題，首先我們必須為它構(gòu)造算法。也就是說，對于沒有算法的問題，我們是束手無策的。這類問題被成為是“不可計算的”。它們的解不能由圖靈機來產(chǎn)生。這是我們面臨的一個極限。
那么一個問題有了算法，是不是就一定可以解決哪？很遺憾，答案是不。對于那些NP（非多項式）問題，尤其是NP完備的問題，盡管存在算法，我們?nèi)匀皇菬o法在多項式時間內(nèi)解決的。著名的“哈密頓線路問題”和“旅行推銷員問題”都屬于這類問題。它們的共同特征是，當(dāng)問題的規(guī)模（或復(fù)雜度）線形增加時，解決該問題所要化的時間將呈指數(shù)上升，以至于它們盡管理論上是可求解的，但實際上卻是不可能的。因為要花費的時間可能已經(jīng)超過了宇宙的壽命。這也是我們面臨的一個極限。
還需要指出，現(xiàn)在的計算機語言作為形式語言的一種，也必然具有形式語言自身所有的局限性。數(shù)學(xué)的發(fā)展史上，曾經(jīng)有三次危機，第三次危機是有羅素的一個“佯謬”引發(fā)的悖論危機。為解決此危機，希爾伯特提出了宏偉的形式化規(guī)劃，企圖使數(shù)學(xué)一勞永逸地處于無可爭辯的安全基礎(chǔ)之上。可是，1931年奧地利25歲的天才數(shù)學(xué)邏輯學(xué)家歌德爾提出了一條劃時代的定理，粉碎了希爾伯特形式化的美夢。哥德爾定理向我們展示，公理系統(tǒng)本身的協(xié)調(diào)性的陳述在被編碼成適當(dāng)?shù)乃阈g(shù)命題后，將成為一道這樣“不能決定的”不能決定的命題。想象一個表達(dá)式既不為真，也不為假，它的真假對一個形式系統(tǒng)（計算機）而言它是不可判定的。因此在這方面，哥德爾定理是我們面臨的又一個極限。
(3)客觀感知世界
現(xiàn)在讓我們假設(shè)軟件工程已經(jīng)發(fā)展到了這樣一個理想的境界，有一天我們實現(xiàn)了自然語言編程，是否就萬事大吉了？換句話，自然語言是否能很好地描述、表達(dá)客觀感知世界？ 維特根斯坦在《邏輯哲學(xué)論》里已經(jīng)指出了。
＊世界的意義必定存在于世界之外；
＊顯然倫理學(xué)是無法表述的。 倫理學(xué)是超越現(xiàn)實的；
＊實際上存在著不可表達(dá)的東西；這顯示了它的存在；它是神秘的。
（見《邏輯哲學(xué)論》第六節(jié)）
也就是說，外部世界中存在一些我們可以感知卻無法用語言來表達(dá)的東西。
他接著說：
“對于那些不可言說的，必須保持沉默。”（Whereof one cannot speak，thereof one must be silent）
這句話，成為我們最后的極限。
在討論完這三個范疇中我們將面臨的主要問題后，我們最后來討論一下人的主觀世界對軟件及軟件開發(fā)的影響。
6. 極限之外的空間
世界可以分為主觀想象世界和客觀可感知世界，或者說是內(nèi)世界和外世界。其中，主觀想象世界是計算機從未涉足的空間。這是屬于我們個人的私有空間，充斥著我們自己離奇古怪的幻想和起伏不定的情緒。它具有極大的跳躍性和不確定性，常常以直覺、想象的方式進(jìn)行著自己的活動。它們通常是語言所不能表達(dá)的。
盡管這個內(nèi)世界是如此的復(fù)雜、混亂、難以捉摸，但它卻是我們與生俱來的一部分。我們就是這樣的人。
就是這樣的人從事著軟件開發(fā)的工作。
這樣的人開發(fā)出來的軟件究竟在多大程度上是對客觀世界不折不扣的映射？還是這個映射過程已經(jīng)被扭曲或摻雜了？軟件開發(fā)者的這個主觀想象世界，他們的歡樂、沮喪、奇想、恐懼、希望等等，究竟是怎樣影響著軟件開發(fā)的質(zhì)量？
人們是要用計算機來復(fù)制整個世界？還是來復(fù)制人本身？
人們是在扮演上帝的角色嗎？
這樣的問題我實在不知該如何去解答，甚至覺得根本無從下手。
如果你還有足夠的耐心讀到這里，請你也來想一想，希望它們不會使你頭疼。 :)
最后，我將引用我從網(wǎng)上偶爾發(fā)現(xiàn)的一篇文章中的話作為結(jié)束語：
“自以為是的立法者(人類)犯下了一個大錯，以為自己能定義整個軟件開發(fā)過程。他們既不了解其開始也不了解其結(jié)果。學(xué)術(shù)界試了一下，然后就知難而退了。商業(yè)界則對其毫無辦法。大型軟件開發(fā)商們斥巨資來制造代碼，明明想要扮演上帝的角色，卻還裝作自己是人類的公仆。所有人都在盯著鏡子里的自己。計算機卻在一旁偷偷的笑。”