《人腦能做而電腦不能的事》由會(huì)員分享，可在線閱讀，更多相關(guān)《人腦能做而電腦不能的事（9頁珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
1、按一下以編輯母片標(biāo)題樣式,按一下以編輯母片,第二層,第三層,第四層,第五層,*,*,*,CHAP.11,人腦能做而電腦不能的事,工程師、物理學(xué)家和數(shù)學(xué)家沿街散步，遇到一場(chǎng)火災(zāi)。一棟建築物冒著熊熊大火，火勢(shì)漫延難以控制，消防隊(duì)隊(duì)長跑上前來請(qǐng)他們幫忙。,工程師要求看看房子的工程藍(lán)圖，然後告訴消防隊(duì)隊(duì)長這扇窗每秒要噴灑多少加崙的水，屋頂要灑多少水。火勢(shì)很快就熄滅了，隊(duì)長向工程師致謝。,一星期後，物理學(xué)家拿著一本名為的小冊(cè)子到消防隊(duì)，然後建議隊(duì)長將其併入訓(xùn)練內(nèi)容和實(shí)際作業(yè)。隊(duì)長接過冊(cè)子並道謝。,CHAP.11,人腦能做而電腦不能的事,六個(gè)月後，數(shù)學(xué)家著一疊呎來高的紙張搖搖晃晃走進(jìn)消防隊(duì)。蓬頭垢面、衣衫
2、髒亂的數(shù)學(xué)家將一疊紙張重重地放在隊(duì)長桌上，然後得意洋洋地說：我做到了！,隊(duì)長問：你做了什麼？,我證明火確實(shí)存在！,無名式,CHAP.11,人腦能做而電腦不能的事,劍橋大學(xué)物理學(xué)家彭羅塞(Roger Penrose)認(rèn)為能證明人腦與電腦根本差異的就是隻世界某些最抽象、最精確問題的基礎(chǔ)數(shù)學(xué)(the Foundations of Mathematics),CHAP.11,人腦能做而電腦不能的事,哥德爾定理,希爾伯特(David Hilbert)研究。,1902年，英國哲學(xué)家羅素(Bertrand Russell)提出成名的矛盾論。,1905年，法國數(shù)學(xué)家里查(Jules Richard)發(fā)表理查矛盾
3、論(Richards Paradox)。,1931年，維也納人哥爾德發(fā)表(On Formally Undecidable Propositions of Principia Mathematica and Related System),CHAP.11,人腦能做而電腦不能的事,哥爾德在論文中歸納出已下結(jié)論：任何相當(dāng)程度複雜的數(shù)學(xué)學(xué)說一定是不完整或是相互矛盾。,CHAP.11,人腦能做而電腦不能的事,盧卡斯和彭羅塞的論點(diǎn),即使哥爾德定理告訴我們某個(gè)命題無法證實(shí)，人類還是可能判斷其真?zhèn)?。電腦證明或駁斥某個(gè)命題的唯一方法就是從某些根本公理開始，然後遵循一系列的邏輯步驟，亦即執(zhí)行演算步驟；但是，哥得爾
4、定理的要?jiǎng)t卻是某個(gè)命題的真?zhèn)螣o法利用公理的邏輯辯論決定。因此，一定有一個(gè)命題的真?zhèn)沃荒苡腥四X決定，無法利用操作演算法的杜林機(jī)來決定。,CHAP.11,人腦能做而電腦不能的事,強(qiáng)力人工智慧：人腦是一部可以由杜林機(jī)器代表的數(shù)位電腦，而思想則電腦內(nèi)部的程式或運(yùn)算法。,反對(duì)盧卡斯和彭羅塞論點(diǎn)的理由：,人類如何知道某件事無法證明？,人腦不知道哥爾德命題的真?zhèn)?，只是猜測(cè)而已。,CHAP.11,人腦能做而電腦不能的事,彭羅塞的猜測(cè),彭羅塞主張，決定人腦運(yùn)作的科學(xué)就是用來解釋介於純牛頓和純量子力學(xué)中間世界的科學(xué)。,CHAP.11,人腦能做而電腦不能的事,彭羅塞的猜測(cè)無法解決問題,假設(shè)此猜測(cè)完全無誤，仍然無法解決人類獨(dú)特性的問題。,
人腦能做而電腦不能的事
