科學(xué)Sciences導(dǎo)讀：讀完本公號(hào)操作系統(tǒng)、指令集、編譯器等技術(shù)科普文章，尤其是三名經(jīng)典編譯器作者、奠基人的簡(jiǎn)歷，大家會(huì)發(fā)現(xiàn)研究計(jì)算機(jī)科學(xué)，必須具備堅(jiān)實(shí)的數(shù)學(xué)、邏輯功底。為了討論數(shù)據(jù)簡(jiǎn)化哲學(xué)PhDS之?dāng)?shù)據(jù)操作系統(tǒng)DOS的可行性，我們先來(lái)聊聊計(jì)算機(jī)哲學(xué)。

西方哲學(xué)與人工智能、計(jì)算機(jī)(7260字)

目錄

A西方哲學(xué)與人工智能、計(jì)算機(jī)(7108字)

1 萊布尼茨之夢(mèng)和圖靈機(jī)

2 圖靈機(jī)到現(xiàn)代電子計(jì)算機(jī)

3 西方哲學(xué)與人工智能、計(jì)算機(jī)

4 數(shù)據(jù)簡(jiǎn)化哲學(xué)PhDS操作系統(tǒng)

參考文獻(xiàn)(721字)

Appx.數(shù)據(jù)簡(jiǎn)化DataSimp社區(qū)簡(jiǎn)介(835字)

A西方哲學(xué)與人工智能、計(jì)算機(jī)(7108字)

西方哲學(xué)與人工智能、計(jì)算機(jī)

文|秦隴紀(jì)，科學(xué)Sciences20181118Sun

哲學(xué)理論用到計(jì)算機(jī)里，最直接的就是做編譯器和編程語(yǔ)言涉及到邏輯推理及其完備性證明。從13世紀(jì)的Llull魯爾，最早想做機(jī)器推理，到真正發(fā)明計(jì)算機(jī)，萊布尼茨和圖靈帶來(lái)的兩個(gè)時(shí)間節(jié)點(diǎn)，完成了從夢(mèng)想到工程落地的偉大科技文明推進(jìn)。21世紀(jì)初大數(shù)據(jù)人工智能節(jié)點(diǎn)上，數(shù)據(jù)簡(jiǎn)化哲學(xué)繼續(xù)推進(jìn)人類智能在哲學(xué)理論到工程技術(shù)的實(shí)踐，涉及到許多復(fù)雜科技知識(shí)。

1 萊布尼茨之夢(mèng)和圖靈機(jī)

13世紀(jì)，西班牙馬略卡島哲學(xué)家與邏輯學(xué)家魯爾(RamonLlull,1232—1315)，試圖制造一臺(tái)機(jī)器來(lái)執(zhí)行自動(dòng)推理。受魯爾演算推理器思想影響，1666年，年僅20歲的萊布尼茲提出要尋求一種世界通用語(yǔ)言和一種普遍算法，不僅要能計(jì)算數(shù)值，還要能計(jì)算概念，一切論證的正確性都能夠歸結(jié)為某種計(jì)算，所有符號(hào)與詞語(yǔ)會(huì)導(dǎo)向推理，不正確要么是事實(shí)謬誤，要么是計(jì)算錯(cuò)誤。在他看來(lái)，哲學(xué)家間的爭(zhēng)議與會(huì)計(jì)師間的爭(zhēng)議可以是一樣的。有了這種語(yǔ)言與算法，當(dāng)哲學(xué)家間出現(xiàn)爭(zhēng)議時(shí)，不必浪費(fèi)口舌，大家拿出筆坐下來(lái)算一算即可。這就是數(shù)學(xué)史上著名的“萊布尼茲之夢(mèng)”。之后1843年的計(jì)算又取得一次飛躍，英國(guó)數(shù)學(xué)家愛達(dá)·勒芙蕾絲(Ada Lovelace)與查爾斯·巴貝奇(Charles Babbage)合作，寫了第一個(gè)計(jì)算機(jī)算法。(注1：巴貝奇發(fā)明了第一臺(tái)可編程計(jì)算機(jī)的理論。)

現(xiàn)代計(jì)算機(jī)時(shí)代(ModernComputing-Machine Era)始于艾倫·圖靈(Alan Turing)關(guān)于圖靈機(jī)的概念(conception of the Turing Machine)，三位貝爾實(shí)驗(yàn)室(Bell Labs)科學(xué)家發(fā)明晶體管(transistor)，使得現(xiàn)代計(jì)算成為可能并獲得1956年諾貝爾物理學(xué)獎(jiǎng)。之后幾十年，政府和軍方獨(dú)有計(jì)算技術(shù)；再后來(lái)學(xué)術(shù)機(jī)構(gòu)的史蒂夫·沃茲尼亞克(Steve Wozniak)為蘋果I型計(jì)算機(jī)(Apple-I)設(shè)計(jì)了電路板，使家用計(jì)算變得可行。圖靈提出一種用于判定機(jī)器是否具有智能的試驗(yàn)方法，即圖靈試驗(yàn)，至今每年都有試驗(yàn)比賽。而圖靈提出的著名的圖靈機(jī)模型，為現(xiàn)代計(jì)算機(jī)的邏輯工作方式奠定了基礎(chǔ)。

圖靈采取了這樣的一條道路，他首先分析了人的計(jì)算過(guò)程。通過(guò)丟掉非本質(zhì)的細(xì)節(jié)，將這些計(jì)算活動(dòng)局限在少數(shù)幾種極為簡(jiǎn)單的基本操作上。(邏輯簡(jiǎn)化法) 然后圖靈說(shuō)明人可以被一個(gè)能夠執(zhí)行這些基本操作的機(jī)器所替代。然后只要證明僅僅執(zhí)行那些基本操作的機(jī)器不可能判定一個(gè)給定的結(jié)論是否可以用弗雷格的規(guī)則從給定的前提中導(dǎo)出，這樣他就能夠下結(jié)論說(shuō)，判定問(wèn)題的算法是不存在的。作為副產(chǎn)品，他對(duì)計(jì)算過(guò)程的分析，產(chǎn)生了通用計(jì)算機(jī)的一個(gè)數(shù)學(xué)模型。

他觀察到：在計(jì)算的每一個(gè)階段，只有少數(shù)符號(hào)受到了注意。每一個(gè)階段所采取的行動(dòng)僅僅取決于受到注意的那些符號(hào)以及當(dāng)前的心靈狀態(tài)。然后他做出了如下抽象：計(jì)算通過(guò)在一條被劃分成方格的紙帶上寫下符號(hào)來(lái)進(jìn)行。執(zhí)行計(jì)算的人在每一步都只注意其中一個(gè)方格的符號(hào)。她的下一步將僅僅取決于這個(gè)符號(hào)和她的心靈狀態(tài)。她的下一步是這樣的：她在當(dāng)前注意的方格里寫下一個(gè)符號(hào)，然后將注意力轉(zhuǎn)向它左邊或者右邊的相鄰符號(hào)。

現(xiàn)在可以很容易看出，做這項(xiàng)工作的人可以用一個(gè)機(jī)器替代，紙帶在機(jī)器上來(lái)回移動(dòng)。關(guān)鍵之處在于圖靈對(duì)于計(jì)算概念的分析，通過(guò)某種算法程序可計(jì)算的任何東西都可以通過(guò)一臺(tái)圖靈機(jī)來(lái)計(jì)算。因此如果我們可以證明某些任務(wù)無(wú)法用圖靈機(jī)完成，那么我們就可以說(shuō)沒(méi)有任何算法可以完成這項(xiàng)任務(wù)。這就是圖靈證明判定問(wèn)題不存在算法的方法。

實(shí)際上一臺(tái)圖靈機(jī)可以用這樣的一個(gè)五元組來(lái)表示：當(dāng)機(jī)器處于狀態(tài)R，注視紙帶上的符號(hào)a時(shí)，它將用b來(lái)代替a，向右移動(dòng)一個(gè)方格，然后轉(zhuǎn)到狀態(tài)S。而一個(gè)具體的算法便可以由這些五元組表示的狀態(tài)轉(zhuǎn)換的集合組成的圖靈機(jī)來(lái)表示出來(lái)。R a:b -> S 或者R a:b <- S

圖靈將對(duì)角線方法應(yīng)用于這種情況，得到了圖靈機(jī)不能解決的問(wèn)題，由此推出了判定問(wèn)題的不可解性。與哥德尓類似，圖靈采用了對(duì)角線方法也對(duì)圖靈機(jī)通過(guò)自然數(shù)進(jìn)行了編碼。

圖靈機(jī)本身可以是自然數(shù)編碼表示，這樣它也作為自身的輸入。實(shí)際上有些輸入會(huì)使圖靈機(jī)停止下來(lái)，另一些則不會(huì)。這樣一臺(tái)圖靈機(jī)就具有一些停機(jī)集合。如果我們考慮把一臺(tái)圖靈機(jī)的停機(jī)集合組成了一個(gè)包裹，并且認(rèn)為那臺(tái)機(jī)器的碼數(shù)就是這個(gè)包裹的標(biāo)簽。對(duì)角線方法允許我們構(gòu)造出一個(gè)與圖靈機(jī)的任何停機(jī)集合都不同的自然數(shù)集合，我們稱之為D。方法是這樣的，我們考慮把圖靈機(jī)的編碼作為自身的輸入，如果它的編碼數(shù)不屬于自身的停機(jī)集合，那么我們就把它加入D。而集合D則不是任何圖靈機(jī)的停機(jī)集合。

然后考慮這樣一個(gè)問(wèn)題：找到一種算法，判定一個(gè)給定的自然數(shù)是否屬于集合D。

這就是一個(gè)不可解問(wèn)題的例子。首先如果存在這樣的一個(gè)算法，我們就能找到這樣的一個(gè)圖靈機(jī)，但是我可以改造一下這個(gè)圖靈機(jī)，把以下兩個(gè)五元組加入到這個(gè)圖靈機(jī)：F 0:口->F 和F 口:口-> F。對(duì)于這個(gè)新的改進(jìn)的圖靈機(jī)來(lái)說(shuō)，如果輸入的數(shù)屬于D那么那么機(jī)器就會(huì)像以前一樣運(yùn)轉(zhuǎn)，并輸出1而告終，如果輸入的數(shù)不屬于D，那這臺(tái)機(jī)器將永遠(yuǎn)向右移動(dòng)。這樣我們就找到了一臺(tái)圖靈機(jī)它的停機(jī)集合剛好就是D。于是與我們的對(duì)角線方法矛盾。所以并不存在這樣的一個(gè)算法。由此可知判斷問(wèn)題在算法上是不可解的。

為驗(yàn)證自己工作的有效性，圖靈又提出了通用機(jī)模型，通用機(jī)包含了圖靈機(jī)代碼以及待處理的數(shù)據(jù)。而這剛好對(duì)應(yīng)著我們今天的機(jī)器，程序與數(shù)據(jù)的概念。也為存儲(chǔ)程序計(jì)算機(jī)提供了一個(gè)模型。正是圖靈在證明判定問(wèn)題的不可解性是，對(duì)計(jì)算概念的分析以及對(duì)通用機(jī)的發(fā)現(xiàn)促使了計(jì)算機(jī)的產(chǎn)生。1950年，圖靈又發(fā)表了他的經(jīng)典論文《計(jì)算機(jī)與智能》，提出了著名的圖靈測(cè)試來(lái)測(cè)試計(jì)算機(jī)是否具有智能。(注2：1954年6月7日，圖靈不滿當(dāng)局因同性戀而禁科研，無(wú)法忍受被孤立，而咬了一個(gè)浸過(guò)氰化物的蘋果，結(jié)束了自己的生命。一代天才命殞世俗。)

2 圖靈機(jī)到現(xiàn)代電子計(jì)算機(jī)

圖靈是計(jì)算機(jī)科學(xué)當(dāng)之無(wú)愧的奠基人，他的通用機(jī)思想延續(xù)至今，人們?yōu)槠湓O(shè)立“圖靈獎(jiǎng)”已經(jīng)是計(jì)算機(jī)領(lǐng)域最高榮譽(yù)。其后1945年，格蕾絲·穆雷·霍珀(Grace Murray Hopper)提出并實(shí)現(xiàn)世界首個(gè)編譯器，將計(jì)算機(jī)從紙帶輸入和數(shù)值計(jì)算范圍解放出來(lái)，馮·諾依曼(John von Neumann)在共同討論基礎(chǔ)上起草“存儲(chǔ)程序通用電子計(jì)算機(jī)方案”EDVAC(Electronic Discrete Variable Automatic Computer)采用存儲(chǔ)程序以及二進(jìn)制編碼等確定的計(jì)算機(jī)結(jié)構(gòu)，至今仍為電子計(jì)算機(jī)設(shè)計(jì)者所遵循。1946年發(fā)明電子計(jì)算機(jī)，開啟現(xiàn)代電子計(jì)算機(jī)新紀(jì)元，極大促進(jìn)了科學(xué)技術(shù)的進(jìn)步。1972年，約翰·科克(John Cocke)進(jìn)一步提出編譯器優(yōu)化，1977年，大衛(wèi)·卡克(David J. Kuck)提出矢量化Parafrase編譯系統(tǒng)，都推進(jìn)了計(jì)算機(jī)科學(xué)的發(fā)展。

圖1 馮·諾依曼在世界上第一臺(tái)計(jì)算機(jī)旁

匈牙利籍的布達(dá)佩斯大學(xué)數(shù)學(xué)博士馮·諾依曼(John von Neumann，1903~1957)在1940年后，轉(zhuǎn)向應(yīng)用數(shù)學(xué)。之后，他對(duì)世界上第一臺(tái)電子計(jì)算機(jī)ENIAC(電子數(shù)字積分計(jì)算機(jī))的設(shè)計(jì)提出過(guò)建議。1945年3月，在共同討論基礎(chǔ)上起草全新的“存儲(chǔ)程序通用電子計(jì)算機(jī)方案”EDVAC(ElectronicDiscrete Variable Automatic Computer)對(duì)后來(lái)計(jì)算機(jī)的設(shè)計(jì)有決定性的影響，特別是確定計(jì)算機(jī)的結(jié)構(gòu)，采用存儲(chǔ)程序以及二進(jìn)制編碼等，至今仍為電子計(jì)算機(jī)設(shè)計(jì)者所遵循。1946年，馮·諾依曼開始研究程序編制問(wèn)題，他是現(xiàn)代數(shù)值分析——計(jì)算數(shù)學(xué)的締造者之一。他首先研究線性代數(shù)和算術(shù)的數(shù)值計(jì)算，后來(lái)著重研究非線性微分方程的離散化以及穩(wěn)定問(wèn)題，并給出誤差的估計(jì)。他協(xié)助發(fā)展了一些算法，特別是蒙特卡羅方法。40年代末，他開始研究自動(dòng)機(jī)理論，研究一般邏輯理論以及自復(fù)制系統(tǒng)。在生命的最后時(shí)刻他深入比較天然自動(dòng)機(jī)與人工自動(dòng)機(jī)。他逝世后其未完成的手稿在1958年以《計(jì)算機(jī)與人腦》為名出版。馮·諾伊曼的主要著作收集在《馮·諾伊曼全集》(6卷，1961)中。他的精髓貢獻(xiàn)是兩點(diǎn)：二進(jìn)制思想與程序內(nèi)存思想，后人稱為“計(jì)算機(jī)之父”和“博弈論之父”。

3 西方哲學(xué)與人工智能、計(jì)算機(jī)

西方哲學(xué)走向普世，是在14世紀(jì)中葉至16世紀(jì)歐洲文藝復(fù)興(意大利語(yǔ)Rinascimento，由ri-“重新”和nascere“出生”構(gòu)成)思想文化運(yùn)動(dòng)，歐洲從黑暗中世紀(jì)教權(quán)獨(dú)裁，走向世俗社會(huì)的200年。那個(gè)時(shí)代，百姓思想禁錮得到解放，有了人權(quán)和自由。得益于數(shù)學(xué)領(lǐng)域大發(fā)展帶動(dòng)人文哲學(xué)，數(shù)學(xué)等歐洲學(xué)術(shù)討論空前繁榮，就連打官司，都講證據(jù)、道理、推理，常有爭(zhēng)辯。期間，哲學(xué)家會(huì)寫下來(lái)記錄證據(jù)并做推理，后來(lái)魯爾到萊布尼茲就想著是不是能形式化后做機(jī)器推理。魯爾的貢獻(xiàn)是提出一個(gè)演算推理器，到萊布尼茨則提出了通用語(yǔ)言算法推理之夢(mèng)。不過(guò)，當(dāng)時(shí)邏輯語(yǔ)言都沒(méi)出現(xiàn)，描述不同人講的事情和道理都不可行，何談推理機(jī)器？只能是空想的夢(mèng)了。

解決這個(gè)問(wèn)題的是布爾，用“與或非”等符號(hào)把邏輯變成了布爾代數(shù)，以及弗雷格，用形式句法描述符號(hào)推理，羅素的形式邏輯推動(dòng)數(shù)理邏輯龐大的系統(tǒng)，也是分析哲學(xué)的基礎(chǔ)。到圖靈說(shuō)明人可以被一個(gè)能夠執(zhí)行某些基本操作的機(jī)器所替代，用弗雷格的規(guī)則從給定前提中導(dǎo)出，分析計(jì)算過(guò)程而提出通用計(jì)算機(jī)的數(shù)學(xué)模型——對(duì)通用機(jī)的發(fā)現(xiàn)促使了計(jì)算機(jī)的產(chǎn)生。空想到理論劃時(shí)代的突破，關(guān)鍵一步是圖靈把羅素的形式邏輯數(shù)學(xué)化到圖靈機(jī)，使得哲學(xué)理論到數(shù)學(xué)模型落地。

羅素的形式邏輯變成分析哲學(xué)的基礎(chǔ)，得益于有康德的三大批判。伊曼努爾·康德一生對(duì)知識(shí)的探索以1770年為標(biāo)志分為前期研究自然科學(xué)和后期研究哲學(xué)兩個(gè)階段。前期的主要成果有1755年發(fā)表《自然通史和天體論》提出太陽(yáng)系起源的星云假說(shuō)。后期從1781年開始的9年里出版一系列涉及領(lǐng)域廣闊、有獨(dú)創(chuàng)性的偉大著作，給當(dāng)時(shí)的哲學(xué)思想帶來(lái)了一場(chǎng)革命。批判時(shí)期著作又分理論哲學(xué)和實(shí)踐哲學(xué)的著作。理論哲學(xué)著作有《純粹理性批判》和它的簡(jiǎn)寫本《未來(lái)形而上學(xué)導(dǎo)論》；實(shí)踐哲學(xué)著作有《道德的形而上學(xué)基礎(chǔ)》、《實(shí)踐理性批判》、《完全在理性范圍內(nèi)的宗教》和《道德形而上學(xué)》等。他的《判斷力批判》是一部?jī)?nèi)容特殊的著作，其中關(guān)于審美判斷和目的性判斷的論述可以解釋為聯(lián)系理論理性與實(shí)踐理性的媒介，也可解釋為前兩部批判的補(bǔ)充。康德提出“三大批判”——《純粹理性批判》(1781年)和《實(shí)踐理性批判》(1788年)以及《判斷力批判》(1790年)的出版，標(biāo)志著康德哲學(xué)體系的完成。

《純粹理性批判》要回答問(wèn)題：我們能知道什么？康德回答：我們只能知道自然科學(xué)讓我們認(rèn)識(shí)到的東西，哲學(xué)除幫助我們澄清使知識(shí)成為可能的必要條件，就沒(méi)有什么更多用處。

柏拉圖以來(lái)，康德把這個(gè)問(wèn)題徹底給顛倒了。此前，人們讓認(rèn)識(shí)向外部事物看齊，而康德說(shuō)，如果我們顛倒一下，讓事物向我們的認(rèn)識(shí)看齊，該會(huì)如何？康德把這一思維方法與哥白尼的“日心說(shuō)”相比較：哥白尼以前，人們認(rèn)為一切星球圍著我們地球轉(zhuǎn)，哥白尼卻說(shuō)，我們地球是在圍著其它星球轉(zhuǎn)。國(guó)內(nèi)有教授提出“思維科學(xué)”提出新的研究范式，要對(duì)無(wú)法直接觀測(cè)的思維、智能做出研究范式。這有可能推翻康德純理性哲學(xué)說(shuō)的自然科學(xué)外不可認(rèn)知，將會(huì)是自1900年以來(lái)西方哲學(xué)停滯不前的突破。

《實(shí)踐理性批判》是康德的前一部著作《純粹理性批判》的歸宿和目的。所謂“實(shí)踐理性”，是指實(shí)踐主體的意志，對(duì)于實(shí)踐理性的“批判”，就是要考察那規(guī)定道德行為的“意志”的本質(zhì)以及它們遵循的原則。全書包括“純粹實(shí)踐理性的原理論”和“純粹實(shí)踐理性的方法論”兩大部分。該書的重要理論意義在于，它把人的主體性問(wèn)題突出出來(lái)，強(qiáng)調(diào)了人格的尊嚴(yán)與崇高，表現(xiàn)了強(qiáng)烈的人本主義精神。

《判斷力批判》要回答的問(wèn)題是：我們可以抱有什么希望？康德給出的答案是：如果要真正能做到有道德，我就必須假設(shè)有上帝的存在，假設(shè)生命結(jié)束后并不是一切都結(jié)束了。“判斷力批判”中，康德關(guān)心的問(wèn)題還有人類精神活動(dòng)的目的、意義和作用方式，包括人的美學(xué)鑒賞能力和幻想能力。

康德雖然使用批判，但他卻建立起一套完整哲學(xué)理論。他自稱發(fā)動(dòng)了一場(chǎng)哲學(xué)領(lǐng)域內(nèi)的哥白尼革命。在其所處時(shí)代，歐洲哲學(xué)思想主要有兩種重要理論：由洛克、休謨等人發(fā)展出來(lái)的經(jīng)驗(yàn)主義，以及笛卡兒等人的理性主義。經(jīng)驗(yàn)主義者認(rèn)為人類對(duì)世界的認(rèn)識(shí)與知識(shí)來(lái)源于人的經(jīng)驗(yàn)，而理性主義者則認(rèn)為人類的知識(shí)來(lái)自于人自身的理性。而康德則在一定程度上接合了兩者的觀點(diǎn)。康德指出知識(shí)是人類同時(shí)透過(guò)感官與理性得到的。經(jīng)驗(yàn)對(duì)知識(shí)的產(chǎn)生是必要的，但不是唯一的要素。把經(jīng)驗(yàn)轉(zhuǎn)換為知識(shí)，就需要理性(康德與亞里士多德一樣，將這種理性稱為“范疇”)，而理性則是天賦的。人類通過(guò)范疇的框架來(lái)獲得外界的經(jīng)驗(yàn)，沒(méi)有范疇就無(wú)法感知世界。因此范疇與經(jīng)驗(yàn)一樣，是獲得知識(shí)的必要條件。但人類的范疇中也有一些可以改變?nèi)祟悓?duì)世界的觀念的因素，他意識(shí)到，事物本身與人所看到的事物是不同的，人永遠(yuǎn)無(wú)法確知事物的真正面貌。

康德帶來(lái)了哲學(xué)上的哥白尼式轉(zhuǎn)變。他指出，不是事物在影響人，而是人在影響事物。是我們?nèi)嗽跇?gòu)造現(xiàn)實(shí)世界，在認(rèn)識(shí)事物的過(guò)程中，人比事物本身更重要?？档律踔琳J(rèn)為，我們其實(shí)根本不可能認(rèn)識(shí)到事物的真性，我們只能認(rèn)識(shí)事物的表象?？档碌闹摂嗑褪牵?/span>人為自然界立法。他的這一論斷與現(xiàn)代量子力學(xué)有著共同之處：事物的特性與觀察者有關(guān)。

從[德]萊布尼茨的符號(hào)系統(tǒng)夢(mèng)、[英]布爾把邏輯變成代數(shù)、[德]弗雷格發(fā)明形式句法、[德]康托爾對(duì)無(wú)限的探索、[德]大衛(wèi)希爾伯特的營(yíng)救、[捷克]哥德爾完備性定理、[英]圖靈構(gòu)想的通用計(jì)算機(jī)，到[美]第一批通用計(jì)算機(jī)的誕生，一批計(jì)算機(jī)科學(xué)家在系列哲學(xué)思想和數(shù)學(xué)理論的探索中，不斷推進(jìn)人類智能在哲學(xué)理論到工程技術(shù)的實(shí)踐。從13世紀(jì)算起的800年來(lái)，中國(guó)人是缺席的，至今仍不能認(rèn)識(shí)西方哲學(xué)及科學(xué)的精髓和價(jià)值所在。中國(guó)傳統(tǒng)陰陽(yáng)思想基礎(chǔ)發(fā)展起來(lái)的文明體系繁衍的各種思想理論，遠(yuǎn)如道德經(jīng)近至王陽(yáng)明，都集中在了平衡人際管理的社會(huì)穩(wěn)定、吃住行等生存活動(dòng)檔次。讓人誤以為東西方文明互為補(bǔ)充？老有國(guó)人拿中國(guó)沒(méi)有OS和CPU核心技術(shù)說(shuō)事，但卻沒(méi)有具體行動(dòng)。而專家領(lǐng)導(dǎo)只會(huì)推卸責(zé)任，說(shuō)啥“沒(méi)有生態(tài)”，好像不是無(wú)能而是不屑，讓人看著心煩且生氣。

4 數(shù)據(jù)簡(jiǎn)化哲學(xué)PhDS操作系統(tǒng)

軟硬件系統(tǒng)，總的來(lái)說(shuō)編譯器、文件系統(tǒng)、調(diào)度等算簡(jiǎn)單的，難的是指令集和機(jī)器碼的設(shè)計(jì)。對(duì)編譯器來(lái)說(shuō)，語(yǔ)句是層層往下編譯的，直到機(jī)器碼，中間有很多層，如何優(yōu)化是大有學(xué)問(wèn)的。編譯器解釋高級(jí)語(yǔ)言到機(jī)器碼，期間程序邏輯分解到機(jī)器碼指令。編譯器設(shè)計(jì)實(shí)現(xiàn)中，需要數(shù)理邏輯基礎(chǔ)，集合論、模型論、證明論、命題演算、遞歸論和公理化等這些哲學(xué)、數(shù)學(xué)方法都要應(yīng)用進(jìn)去。其中，模型、證明等完備性問(wèn)題，只要范圍劃定，不難處理。編譯器里面對(duì)遞歸等復(fù)雜邏輯的分解比較重要，否則沒(méi)法指令化。

計(jì)算機(jī)系統(tǒng)內(nèi)部架構(gòu)已經(jīng)五十年沒(méi)變了。現(xiàn)在又到了一個(gè)機(jī)遇點(diǎn)上?，F(xiàn)在美國(guó)七八十歲的老一代程序員及其門徒，又在想著優(yōu)化計(jì)算機(jī)架構(gòu)。從哲學(xué)角度來(lái)說(shuō)，康德的著名論斷：人為自然界立法，與現(xiàn)代量子力學(xué)有著共同之處：事物的特性與觀察者有關(guān)。從量子計(jì)算機(jī)角度來(lái)說(shuō)，量子計(jì)算技術(shù)的推動(dòng)，使得計(jì)算機(jī)架構(gòu)必須作出調(diào)整。從智能角度來(lái)說(shuō)，無(wú)法觀測(cè)的思維、智能，必須要有新的研究范式，使之可以被觀測(cè)。從數(shù)據(jù)角度來(lái)說(shuō)，萬(wàn)物皆可數(shù)據(jù)化思考。“人類對(duì)世界的認(rèn)知，不論自身還是萬(wàn)物，皆可數(shù)據(jù)化思考并形成可描述、表達(dá)、記錄的數(shù)據(jù)資源。倘若無(wú)法數(shù)據(jù)化，則亦無(wú)文字化、可視化等具體媒介數(shù)據(jù)。”(2018，秦隴紀(jì)) 時(shí)代呼喚自1900年以來(lái)西方哲學(xué)停滯不前的突破。

圖2 數(shù)據(jù)簡(jiǎn)化哲學(xué)PhDS

秦隴紀(jì)1991年在蘋果2型(Apple-II)臺(tái)式機(jī)學(xué)習(xí)Basic編程、作圖、音樂(lè)等程序，初一即接觸模擬電路、計(jì)算機(jī)編程等實(shí)驗(yàn)，后學(xué)習(xí)數(shù)學(xué)應(yīng)用/計(jì)算機(jī)應(yīng)用/教育技術(shù)等專業(yè)，28年來(lái)斷斷續(xù)續(xù)在計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域不斷學(xué)習(xí)。2005年后，幾度試圖寫一個(gè)以數(shù)據(jù)資源為核心的操作系統(tǒng)，卻止步于修改簡(jiǎn)單開源命令行引導(dǎo)系統(tǒng)，原因在于空有雄心壯志卻無(wú)實(shí)驗(yàn)環(huán)境和科研平臺(tái)而止步。這其中就涉及到指令集、編譯器、資源調(diào)度、圖形可視化、文件系統(tǒng)、通信等基礎(chǔ)知識(shí)。2010年全球首創(chuàng)提出數(shù)據(jù)簡(jiǎn)化概念及技術(shù)以來(lái)，秦隴紀(jì)致力于數(shù)據(jù)資源為核心的操作系統(tǒng)研究，簡(jiǎn)化CPU邏輯過(guò)程、強(qiáng)化數(shù)據(jù)權(quán)限管理；并以《數(shù)據(jù)資源概論》三步曲、數(shù)據(jù)資源操作系統(tǒng)、數(shù)據(jù)簡(jiǎn)化技術(shù)、數(shù)據(jù)傳輸與存儲(chǔ)的網(wǎng)格系統(tǒng)為目標(biāo)而學(xué)習(xí)、掌握相關(guān)科學(xué)原理與工程技術(shù)。

秦隴紀(jì)各種編程語(yǔ)言尚可，擅長(zhǎng)流程設(shè)計(jì)、邏輯和空間思維，無(wú)窮小到可導(dǎo)可微的基礎(chǔ)也有點(diǎn)，持久興趣在數(shù)據(jù)OS和文本簡(jiǎn)化。若哪位教授在指令集編譯器、CS架構(gòu)、OS資源調(diào)度、CPU通訊等方向有研究，作者很想跟著學(xué)習(xí)(實(shí)操+讀博)；屬于一坐一整天，經(jīng)常邊讀資料、邊總結(jié)，偶爾調(diào)試開發(fā)環(huán)境平臺(tái)、運(yùn)行開源代碼。(注3：如果辦公環(huán)境合格——網(wǎng)速快、可以訪問(wèn)各種學(xué)界業(yè)界論文和代碼資源，臺(tái)式機(jī)性能優(yōu)秀、有橫豎雙屏；團(tuán)隊(duì)務(wù)實(shí)可加秦隴紀(jì)QQ847829136溝通。)

希望大家一起努力，夯實(shí)基礎(chǔ)科技知識(shí)。切勿計(jì)算機(jī)基礎(chǔ)科技一樣都沒(méi)掌握，但會(huì)修改開源代碼，就幻想著直接奔向人工智能、腦智能等空中閣樓，步入產(chǎn)業(yè)界。如若教科研體系IT業(yè)者都不做基礎(chǔ)技術(shù)實(shí)驗(yàn)，卻拿博士、教授或總工頭銜長(zhǎng)年累月出席各種活動(dòng)、熱衷于灌水論文，那終究如夢(mèng)幻泡影，永遠(yuǎn)無(wú)法理解CS，在歷史長(zhǎng)河中毫無(wú)價(jià)值、白白浪費(fèi)了一生機(jī)遇。