從心靈種種到人工智能心智分類

1、從心靈種種到人工智能心智分類我們的心靈在很多方面與動(dòng)物雷同，在很多方面又迥然不同。 丹尼爾丹尼特心靈為何何物？心靈哲學(xué)學(xué)的起源源心靈哲學(xué)學(xué)的分類類心腦同一一論：意意識(shí)可能能轉(zhuǎn)移嗎嗎？靈魂魂（精神神）可能能附體嗎嗎？人工智能能的歷史史心智分類類對(duì)自由意意志的思思考人工智能能的未來來猜想人工智能能如何超超越人類類？它們們的智能能能夠達(dá)達(dá)到怎樣樣的水平平？能夠夠預(yù)測(cè)遙遙遠(yuǎn)的未未來嗎？我們?nèi)绾魏斡尤巳斯ぶ悄苣軙r(shí)代？通過對(duì)本本課程的的學(xué)習(xí)，你或許許可以解解答以下下一些問問題：這個(gè)世界界是真實(shí)實(shí)的嗎？我們可可能活在在虛擬世世界里嗎嗎？意識(shí)是不不是有可可能從一一具身體體傳到另另外一具具身體？智能是不不是只

2、有有人腦這這一種單單一的實(shí)實(shí)現(xiàn)形式式，可能能存在其其他形式式的智能能嗎？比比如說，硅基生生命體？人工智能能是不是是可能產(chǎn)產(chǎn)生自我我意識(shí)？甚至威威脅到人人類？智慧從何何而來，它的終終點(diǎn)又在在哪里？心靈為何何物？笛卡爾在在17世世紀(jì)拋出出了這樣樣的問題題我們真的的能夠知知道別人人的心思思嗎？女女人有可可能了解解男人的的感覺嗎嗎？嬰兒兒在分娩娩過程中中的體驗(yàn)驗(yàn)如何？胎兒在在子宮內(nèi)內(nèi)如果有有體驗(yàn)的的話，是是什么樣樣的呢？非人類類的心靈靈又如何何呢？馬馬在想些些什么？禿鷲吃吃了腐尸尸為什么么不會(huì)嘔嘔吐？當(dāng)當(dāng)魚的嘴嘴唇被魚魚鉤鉤住住的時(shí)候候，它會(huì)會(huì)不會(huì)像像你的嘴嘴唇被鉤鉤住那樣樣痛呢？蜘蛛們們會(huì)思考考嗎，

3、還還是說只只是一些些小小的的機(jī)器人人，無心心地編織織著它們們精美的的蛛網(wǎng)？高級(jí)的的機(jī)器人人有意識(shí)識(shí)嗎？是是否有鴻鴻溝將機(jī)機(jī)器人和和高級(jí)動(dòng)動(dòng)物區(qū)分分開來？會(huì)不會(huì)會(huì)除了人人類之外外的所有有動(dòng)物都都只是一一些沒有有心靈的的自動(dòng)機(jī)機(jī)器呢（恐怖谷谷效應(yīng)）？我們們確信所所有人都都有心靈靈嗎？從“唯我我論”到到心靈哲哲學(xué)起源源一般認(rèn)為為,現(xiàn)代代西方心心靈哲學(xué)學(xué)是從笛笛卡爾開開始的。如今心靈靈哲學(xué)一一直是英英美分析析哲學(xué)中中最重要要的研究究領(lǐng)域之之一，尤尤其是最最近一、二十年年以來，這一領(lǐng)領(lǐng)域的研研究變得得異乎尋尋常地活活躍和豐豐富。這這一方面面是因?yàn)闉樵谡軐W(xué)學(xué)理論上上人們發(fā)發(fā)現(xiàn)了心心靈哲學(xué)學(xué)中的問問題和語語

4、言哲學(xué)學(xué)、形而而上學(xué)等等其它領(lǐng)領(lǐng)域的問問題之間間的深層層次的內(nèi)內(nèi)在關(guān)系系，另一一方面對(duì)對(duì)心靈各各方面的的認(rèn)知科科學(xué)研究究（包括括心理學(xué)學(xué)、語言言學(xué)、腦腦神經(jīng)科科學(xué)、人人工智能能等）的的發(fā)展也也進(jìn)一步步促進(jìn)了了心靈哲哲學(xué)的繁繁榮。笛卡爾心心靈哲學(xué)學(xué)思想在笛卡爾爾那里,“思”是一個(gè)個(gè)復(fù)合的的概念,它是各各種“意意識(shí)”活活動(dòng)的總總稱。笛卡爾認(rèn)認(rèn)為與其其他事物物相比,“思”是最容易易被認(rèn)識(shí)識(shí)的,因因?yàn)樗途驮谖覀儌儍?nèi)部,是我們們的直接接對(duì)象?！叭瞬皇鞘菣C(jī)器”近代第一一個(gè)提出出“人是是機(jī)器”口號(hào)的的是法國(guó)國(guó)哲學(xué)家家拉梅梅特里,后來控控制論和和計(jì)算機(jī)機(jī)科學(xué)的的發(fā)展使使“人是是機(jī)器”的論斷斷獲得了了理論的的

5、支持和和實(shí)踐的的體現(xiàn)。圖靈提提出的“普遍圖圖靈機(jī)”假設(shè)和和著名的的“圖靈靈實(shí)驗(yàn)”,將人人的思維維、認(rèn)知知、學(xué)習(xí)習(xí)等意識(shí)識(shí)活動(dòng)都都納入了了機(jī)器概概念的范范圍;認(rèn)認(rèn)知科學(xué)學(xué)和人工工智能研研究的發(fā)發(fā)展也使使人們相相信,只只要能滿滿足一定定的符號(hào)號(hào)處理要要求,機(jī)機(jī)器就可可以像人人那樣思思維。紐紐厄爾(A.Newell)和西蒙蒙(H.A.Simon)甚甚至聲稱稱,數(shù)字字計(jì)算機(jī)機(jī)已經(jīng)具具有與人人完全同同等意義義上的思想想了。受受這種觀觀點(diǎn)的影影響,心心靈哲學(xué)學(xué)中的心心-機(jī)類類比理論論和意識(shí)識(shí)計(jì)算理理論發(fā)展展起來了了心靈哲學(xué)學(xué)的分類類西方哲學(xué)學(xué)處理身身心問題題時(shí)有兩兩個(gè)方向向，一個(gè)個(gè)是偏向向肯定身身體與行行

6、為的物理主義義與行為為主義；另一個(gè)個(gè)方向是是偏向肯肯定心靈靈的理想主義義（或觀觀念論）。當(dāng)然，還還有很多多的哲學(xué)學(xué)家是兼兼論兩者者的二元元論者表征性表征（representation）是是信息在在頭腦中中的呈現(xiàn)現(xiàn)方式。根據(jù)信信息加工工的觀點(diǎn)點(diǎn),當(dāng)有有機(jī)體對(duì)對(duì)外界信信息進(jìn)行行加工（輸入、編碼、轉(zhuǎn)換、存儲(chǔ)和和提取等等）時(shí)，這些信信息是以以表征的的形式在在頭腦中中出現(xiàn)的的。舉例：人人和兩腿腿直立意向姿態(tài)態(tài)意向姿態(tài)態(tài)是這樣樣一種策策略：它它把一個(gè)個(gè)實(shí)體（人、動(dòng)動(dòng)物或者者其他任任何東西西）當(dāng)做做似乎是是以自己己的“信信念”與與“愿望望”來統(tǒng)統(tǒng)率其“行動(dòng)選選擇”的的理性功功能心腦同一一論心腦同一一論主要要

7、有以下下幾種形形式：中樞狀態(tài)態(tài)唯物論論：認(rèn)為痛覺覺、思想想等心理理狀態(tài)都都存在，但不過過是經(jīng)驗(yàn)驗(yàn)到這些些心理狀狀態(tài)的人人的中樞樞神經(jīng)系系統(tǒng)狀態(tài)態(tài)。費(fèi)格爾的的物理主主義：心理名詞詞和物理理名詞在在涵義上上有區(qū)別別，但在在經(jīng)驗(yàn)事事實(shí)上，它們指指稱的是是同一事事物或現(xiàn)現(xiàn)象，正正如晨星星和暮星星指稱同同一顆星星一樣。消失形式式的同一一論：認(rèn)為思想想、感情情、感覺覺、意向向在科學(xué)學(xué)語言中中必須消消失普特南從功功能主義義向外在在論的轉(zhuǎn)轉(zhuǎn)變?nèi)四X是個(gè)個(gè)復(fù)雜的的系統(tǒng)，意識(shí)是是一種宏宏觀的把把握，就就像開車車時(shí)看點(diǎn)點(diǎn)對(duì)齊整整輛車我是身體體，靈魂魂也是查查拉圖斯斯特拉如如是說一旦我們們把心靈靈與腦之之間清楚楚的等同

8、同給拋棄棄掉，而而讓心靈靈伸展到到身體的的其他部部分，那那么要以以功能主主義的方方式來考考察心靈靈就更為為困難。我們的的身體里里藏著很很多我們們?nèi)粘Ｉ罾餂Q決策的智智慧。弗弗里德里里希尼尼采很早早就看到到了這一一點(diǎn)。計(jì)算主義義的觀點(diǎn)點(diǎn)信息是宇宇宙的基基礎(chǔ)反實(shí)在論論人工智能能的現(xiàn)狀狀據(jù)量化分分析公司司Quid的數(shù)數(shù)據(jù)，自自2009年以以來，人人工智能能已經(jīng)吸吸引了超超過170億美美元的投投資。僅僅2014年，就有322家家擁有類類似人工工智能技技術(shù)的公公司獲得得的投資資就超過過20億億美元。Facebook和和谷歌也也為其公公司內(nèi)部部的人工工智能研研究小組組招聘研研究員。自2015年年以來，雅

9、虎、英特爾爾、Dropbox、LinkedIn、Pinterest以及推推特都收收購(gòu)了人人工智能能公司。人工智智能領(lǐng)域域的民間間投資在在過去四四年間以以平均每每年62%的增增長(zhǎng)速率率增加，這一速速率預(yù)計(jì)計(jì)還會(huì)持持續(xù)下去去。本文文分四個(gè)個(gè)步驟對(duì)對(duì)人工智智能的發(fā)發(fā)展進(jìn)行行了思考考和研究究：第一一步，人人工智能能研究的的現(xiàn)狀；第二步步，對(duì)人人腦和人人工智能能進(jìn)行對(duì)對(duì)比；第第三步，對(duì)人工工智能未未來發(fā)展展可能心心智的分分類；第第四步，一種新新的人工工智能研研發(fā)思路路。人工智能能的發(fā)展展歷史六十年代代，第一一春，JJ古德闡闡明人工工智能未未來圖景景（明斯斯基、麥麥卡錫、羅切斯斯特、香香農(nóng)等大大牛）七十年

10、代代，第一一次寒冬冬八十年代代末，第第二次寒寒冬九十年代代，第二二春智能的歷歷史對(duì)智人來來說，大大腦只占占據(jù)了身身體總重重約2%3%，但在在身體休休息而不不活動(dòng)時(shí)時(shí)，大腦腦的能量量消耗卻卻占據(jù)了了25%，相比比之下，其他猿猿類的大大腦在休休息時(shí)的的能量消消耗大約約只占據(jù)據(jù)了大約約8%。因?yàn)槿巳祟惏央烹哦^肌肌所需的的能量撥撥給了大大腦里的的神經(jīng)元元，人類類的肌肉肉相對(duì)萎萎縮，并并沒有像像其他猿猿類那樣樣發(fā)達(dá)的的肌肉和和健壯的的體魄（如大猩猩猩）。因?yàn)榇蟠竽X對(duì)能能量和營(yíng)營(yíng)養(yǎng)的需需求巨大大，在生生物演化化的初期期，人類類并沒有有太大的的生存競(jìng)競(jìng)爭(zhēng)優(yōu)勢(shì)勢(shì)，直到到人類進(jìn)進(jìn)入了石石器時(shí)代代，能夠夠發(fā)明和

11、和使用簡(jiǎn)簡(jiǎn)單的石石矛、石石槍、篝篝火等外外在的工工具，人人類的生生存優(yōu)勢(shì)勢(shì)才逐漸漸凸顯，而到了了現(xiàn)代社社會(huì)，隨隨著槍炮炮和其他他各種大大殺傷力力武器的的發(fā)明，人類在在自然界界生存競(jìng)競(jìng)爭(zhēng)中相相對(duì)于其其他動(dòng)物物的優(yōu)勢(shì)勢(shì)越發(fā)明明顯。2016年3月月，由谷谷歌公司司旗下的的Deepmind公公司的戴戴維西西爾弗、艾佳黃和戴戴密斯哈薩比比斯與他他們的團(tuán)團(tuán)隊(duì)開發(fā)發(fā)的圍棋棋人工智智能程序序AlphaGo在與與圍棋冠冠軍、職職業(yè)九段段選手李李世石對(duì)對(duì)戰(zhàn)中以以4:1勝出，引起了了全世界界對(duì)人工工智能熱熱潮的關(guān)關(guān)注。人腦智能能和人工工智能的的對(duì)比如圖-1所示，每個(gè)神神經(jīng)元可可以看做做一個(gè)多多腳的電電子元器器件，有

12、有多個(gè)輸輸入端和和多個(gè)輸輸出端，其輸入入端會(huì)與與其他神神經(jīng)元的的輸出端端連接。以馮機(jī)機(jī)作為類類比，人人腦每個(gè)個(gè)神經(jīng)元元相當(dāng)于于功能專專一的運(yùn)運(yùn)算器，這樣的的運(yùn)算器器在人腦腦中有超超過100億個(gè)個(gè)，只能能處理來來自某個(gè)個(gè)局部空空間的信信息，而而非加法法運(yùn)算，其輸出出的結(jié)果果也只能能被特定定的其他他運(yùn)算器器使用。數(shù)據(jù)并并不能在在人腦中中隨意流流動(dòng)。算法比硬硬件更重重要日心說和和地心說說的對(duì)比比如果要讓讓人類在在自然界界中能夠夠不靠機(jī)機(jī)械，長(zhǎng)長(zhǎng)出翅膀膀自然飛飛行，需需要怎樣樣改造人人類的身身體？這需要修修改人類類的骨骼骼和器官官的模型型，縮小小了人體體內(nèi)部器器官比例例，好讓讓人類骨骨骼變得得更纖細(xì)細(xì)

13、中空以以此減輕輕體重便便于飛行行，還要要讓人的的雙手長(zhǎng)長(zhǎng)出扇面面形狀的的羽毛以以此來起起到扇動(dòng)動(dòng)空氣飛飛行的效效果，還還把人類類的脊椎椎骨拉伸伸，設(shè)計(jì)計(jì)成具有有弧度的的流線型型以此來來適應(yīng)飛飛行時(shí)的的空氣流流動(dòng)，此此外，為為了讓人人類飛在在高空時(shí)時(shí)能保溫溫，人體體表面還還需要有有絨毛狀狀物體，而為了了在飛行行時(shí)鼻尖尖不受到到塵土等等物體撞撞擊受損損，人的的鼻尖和和嘴巴構(gòu)構(gòu)成質(zhì)料料要更堅(jiān)堅(jiān)硬，而而為了在在空中有有更大的的觀察角角快速尋尋找落腳腳地，人人的眼睛睛也需要要長(zhǎng)在兩兩側(cè)增大大視角于是是到了最最后，我我們驚訝訝地發(fā)現(xiàn)現(xiàn)，不管管我們?cè)踉趺葱薷母娜梭w模模型，想想要讓人人類能夠夠飛起來來，鳥的的

14、形狀是是唯一適適合在地地球上的的生物形形態(tài)。就拿人類類的五官官來說，人類的的五官布布局是最最科學(xué)的的，人類類只有兩兩只眼睛睛，是因因?yàn)槿恢谎劬?huì)會(huì)需要更更多視覺覺神經(jīng)和和視錐細(xì)細(xì)胞需要要更多資資源，人人類的眼眼睛是軸軸向?qū)ΨQ稱，間距距適中，因?yàn)橹恢挥羞@樣樣才能形形成立體體的視覺覺，人類類的耳朵朵有扇形形的耳郭郭，這是是為了收收集聲音音。人類類的鼻孔孔在下方方，是為為了方便便鼻涕流流出，人人類的嘴嘴唇之所所以纖薄薄而且是是紅色，是為了了方便進(jìn)進(jìn)食的時(shí)時(shí)候口腔腔的舒張張，而人人類的智智力也是是受到大大腦體積積的限制制。人類類之所以以只有四四肢，是是因?yàn)楦嗟闹w會(huì)占占用更多多的腦神神經(jīng)從而而

15、導(dǎo)致大大腦營(yíng)養(yǎng)養(yǎng)消耗更更多。而而人類的的大腦之之所以是是現(xiàn)在這這么大，是因?yàn)闉槭艿搅肆伺耘枧韫呛彤a(chǎn)產(chǎn)道大小小的限制制，人類類的大腦腦已經(jīng)到到達(dá)了自自然智力力的極限限，人類類的智力力想要提提高一點(diǎn)點(diǎn)，就必必須增大大頭顱，但是那那樣就會(huì)會(huì)導(dǎo)致女女性難產(chǎn)產(chǎn)，讓嬰嬰兒在出出生之前前就死亡亡，如果果人類女女性盆骨骨大一些些，就會(huì)會(huì)導(dǎo)致無無法行走走，但如如果人類類女性改改成爬行行，卻又又會(huì)導(dǎo)致致無法使使用工具具，生存存能力下下降自然界界的一切切都是注注定和合合理的，人類是是大自然然億萬年年來篩選選了無數(shù)數(shù)設(shè)計(jì)圖圖后才制制作而成成的杰作作，人類類的一切切都是完完美而合合理的。因?yàn)槿斯すぶ悄軣o無論在硬硬件、

16、算算法、儲(chǔ)儲(chǔ)存器、控制器器、連接接方式、待機(jī)模模式上都都和人腦腦有著極極大的差差異，而而人工智智能因其其專業(yè)和和用途所所需，其其具體的的功能和和心智發(fā)發(fā)展方向向也有很很大的不不同，美美國(guó)科學(xué)學(xué)哲學(xué)家家對(duì)人工工智能的的心智進(jìn)進(jìn)行了以以下幾類類：1、一種種心智與與人類的的心智相相像，只只是反應(yīng)應(yīng)更快。2、一種心心智主要要基于大大容量存存貯和記記憶，有有些愚鈍鈍但是信信息面廣廣博。3、一一種全球球化超級(jí)級(jí)心智，由數(shù)百百萬做著著單調(diào)工工作的智智能體組組成。4、一一種蜂巢巢型心智智，由許許多十分分聰明的的心智組組成，但但是自己己卻意識(shí)識(shí)不到。5、一種心心智被專專門訓(xùn)練練用來加加強(qiáng)指定定的人類類個(gè)體，但是

17、對(duì)對(duì)其他人人完全無無效。6、一一種心智智能夠設(shè)設(shè)想但不不能制造造比自身身更強(qiáng)大大的心智智。7、一種種心智能能夠制造造比自身身更強(qiáng)大大的心智智，由于于自我意意識(shí)不足足，無法法設(shè)想自自己制造造的心智智。8、一種種心智能能夠制造造比自身身更強(qiáng)大大的心智智。9、一種種心智能能夠創(chuàng)造造比自身身更強(qiáng)大大的心智智，而被被創(chuàng)造出出的心智智能繼續(xù)續(xù)這么做做。10、一一種心智智擁有自自身源代代碼的訪訪問通道道，因此此可以修修改自己己的進(jìn)程程。11、一一種心智智邏輯能能力超強(qiáng)強(qiáng)并且沒沒有情感感。12、一一種心智智能解決決普遍問問題，但但沒有自自我意識(shí)識(shí)。13、一一種心智智具有自自我意識(shí)識(shí)，但不不能解決決普遍問問題。

18、14、一種心心智成長(zhǎng)長(zhǎng)期很長(zhǎng)長(zhǎng)，并且且在它成成熟前需需要一個(gè)個(gè)保護(hù)者者。15、一一種很緩緩慢的心心智，覆覆蓋了很很長(zhǎng)的物物理距離離因而在在快速的的心智看看來，它它是“隱隱形的”。16、一一種心智智能夠多多次克隆隆自己。17、一種種心智能能夠克隆隆自己，并且與與克隆體體組成一一個(gè)整體體。18、一一種心智智能從一一個(gè)平臺(tái)臺(tái)遷移到到另一個(gè)個(gè)平臺(tái)從從而保持持永生。19、一種種快速、動(dòng)態(tài)的的心智，能夠改改變自己己的認(rèn)知知進(jìn)程。20、一種種心智專專門提出出設(shè)想并并做預(yù)測(cè)測(cè)。21、一一種心智智從不抹抹去或忘忘記任何何事情，包括錯(cuò)錯(cuò)誤或虛虛假的信信息。22、一種半半機(jī)器半半動(dòng)物的的共生心心智。23、一種半半人

19、半機(jī)機(jī)器的賽賽博格心心智。24、一種使使用量子子計(jì)算的的心智，我們無無法理解解它的邏邏輯。人腦神經(jīng)經(jīng)的連接接方式保羅麥麥克里恩恩 “人人腦三位位一體”理論人工智能能的智能能水平能能有多高高？機(jī)器人自自我復(fù)制制今年6月月1日英英國(guó)每每日郵報(bào)報(bào)報(bào)導(dǎo)導(dǎo)，阿姆姆斯特丹丹自由大大學(xué)(VrijeUniversiteit Amsterdam)的的科學(xué)家家們創(chuàng)造造出一種種新技術(shù)術(shù)，可以以讓機(jī)器器人透過過Wi-Fi網(wǎng)網(wǎng)絡(luò)進(jìn)行行交配配，然然后再經(jīng)經(jīng)由3D打印產(chǎn)產(chǎn)生機(jī)機(jī)器人后后代。如何迎接接智能時(shí)時(shí)代？關(guān)于人工工智能，回看歷歷史至少少引起過過人類社社會(huì)三次次恐慌。第一次是是在圖靈靈的年代代 。這這次恐慌慌源于計(jì)計(jì)算

20、機(jī)的的誕生，人們傳傳統(tǒng)認(rèn)為為不可破破譯的密密碼，被被計(jì)算機(jī)機(jī)搞定了了。這個(gè)個(gè)趨勢(shì)發(fā)發(fā)展下去去，是不不是遲早早有一天天計(jì)算機(jī)機(jī)就可以以超過人人類？八十年代代以后個(gè)個(gè)人電腦腦的普及及帶來了了又一次次恐慌。從互聯(lián)網(wǎng)網(wǎng)時(shí)代奇點(diǎn)臨近近奇點(diǎn)臨近近是發(fā)明明家雷庫(kù)茲韋韋爾提出出的觀點(diǎn)點(diǎn)：科技正以以史無前前例的速速度發(fā)展展，計(jì)算算機(jī)將能能夠趕超超人類智智能的各各個(gè)方面面。庫(kù)茲韋爾爾定律也稱之為為“加速速循環(huán)規(guī)規(guī)則”(Law of AcceleratingReturns，也被被稱為庫(kù)庫(kù)茲韋爾爾定律)，大意意是，技技術(shù)的力力量正以以指數(shù)級(jí)級(jí)的速度度迅速向向外擴(kuò)充充。人類類正處于于加速變變化的浪浪尖上，這超過過了我們

21、們歷史的的任何時(shí)時(shí)刻。他他說，更更多的、更加超超乎我們們想象的的極端事事物將會(huì)會(huì)出現(xiàn)。這意味著著什么？到那個(gè)個(gè)時(shí)候，一個(gè)剛剛出生的的小孩相相當(dāng)于我我們現(xiàn)在在的一個(gè)個(gè)大學(xué)畢畢業(yè)生。技術(shù)樂觀觀主義和和技術(shù)悲悲觀主義義樂觀主義義：奇點(diǎn)點(diǎn)臨近悲觀主義義：低垂垂之果技術(shù)樂觀觀派麻省理工工學(xué)院的的教授賽賽斯勞勞挨德根根據(jù)已知知的物理理規(guī)律，計(jì)算出出一臺(tái)重重一千克克，占據(jù)據(jù)一升體體積的計(jì)計(jì)算機(jī)潛潛在的計(jì)計(jì)算容量量是5*1050次次操作，對(duì)比人人腦容量量相當(dāng)于于50億億兆的人人類文明明，能夠夠在千分分之一納納秒內(nèi)計(jì)計(jì)算人類類過去一一萬年內(nèi)內(nèi)所有思思維總和和反對(duì)派對(duì)對(duì)人工智智能無法法超越人人類的兩兩個(gè)物理理證明一，哥德德爾不完完備定律律1931年年的時(shí)候候哥德爾爾提出了了哥德爾爾不完備備證明。哥德爾爾證明我我們以圖圖靈機(jī)的的方式是是制造不不出超過過人類的的計(jì)算機(jī)機(jī)的。哥哥德爾爾不完備備性定理理：任意意一個(gè)包包含一階階謂詞邏邏輯與初初等數(shù)論論的形式式系統(tǒng)，都存在在一個(gè)命命題，它它在這個(gè)個(gè)系統(tǒng)中中既不能能被證明明也不能能被否定定。第二二不完備備性定理理如果系系統(tǒng)S含含有初等等數(shù)論，當(dāng)S無無矛盾時(shí)時(shí)，它的的無矛盾盾性不可可能在系系統(tǒng)內(nèi)證證明。從從數(shù)學(xué)邏邏輯的基基礎(chǔ)上否否定了計(jì)計(jì)算機(jī)超超過人類類。比比如“這這句話是是錯(cuò)的”