欢迎来到天天文库
浏览记录
ID:42172360
大小:223.31 KB
页数:10页
时间:2019-09-09
《人脑能做而电脑不能的事》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、CHAP.11人腦能做而電腦不能的事工程師、物理學家和數學家沿街散步,遇到一場火災。一棟建築物冒著熊熊大火,火勢漫延難以控制,消防隊隊長跑上前來請他們幫忙。工程師要求看看房子的工程藍圖,然後告訴消防隊隊長這扇窗每秒要噴灑多少加崙的水,屋頂要灑多少水。火勢很快就熄滅了,隊長向工程師致謝。一星期後,物理學家拿著一本名為<救火通則>的小冊子到消防隊,然後建議隊長將其併入訓練內容和實際作業。隊長接過冊子並道謝。CHAP.11人腦能做而電腦不能的事六個月後,數學家著一疊呎來高的紙張搖搖晃晃走進消防隊。蓬頭垢面、衣衫髒亂的數學家
2、將一疊紙張重重地放在隊長桌上,然後得意洋洋地說:「我做到了!」隊長問:「你做了什麼?」「我證明火確實存在!」-無名式CHAP.11人腦能做而電腦不能的事劍橋大學物理學家彭羅塞(RogerPenrose)認為能證明人腦與電腦基本差異的就是隻世界某些最抽象、最精確問題的「基礎數學」(theFoundationsofMathematics)CHAP.11人腦能做而電腦不能的事哥德爾定理希爾伯特(DavidHilbert)研究。1902年,英國哲學家羅素(BertrandRussell))提出成名的矛盾論。1905年,法國數
3、學家里查(JulesRichard)發表「理查矛盾論」(Richard’sParadox)。1931年,維也納人哥爾德發表<論數學原則及相關學說形式上不明確的命題>(OnFormallyUndecidablePropositionsofPrincipiaMathematicaandRelatedSystem)CHAP.11人腦能做而電腦不能的事哥爾德在論文中歸納出已下結論:任何相當程度複雜的數學學說一定是不完整或是相互矛盾。CHAP.11人腦能做而電腦不能的事盧卡斯和彭羅塞的論點即使哥爾德定理告訴我們某個命題無法證實
4、,人類還是可能判斷其真偽。電腦證明或駁斥某個命題的唯一方法就是從某些基本公理開始,然後遵循一系列的邏輯步驟,亦即執行演算步驟;但是,哥得爾定理的要則卻是「某個命題的真偽無法利用公理的邏輯辯論決定。」因此,一定有一個命題的真偽只能有人腦決定,無法利用操作演算法的杜林機來決定。CHAP.11人腦能做而電腦不能的事「強力人工智慧」:人腦是一部可以由杜林機器代表的數位電腦,而思想則電腦內部的程式或運算法。反對盧卡斯和彭羅塞論點的理由:人類如何知道某件事無法證明?人腦不知道哥爾德命題的真偽,只是猜測而已。CHAP.11人腦能做
5、而電腦不能的事彭羅塞的猜測彭羅塞主張,決定人腦運作的科學就是用來解釋介於純牛頓和純量子力學中間世界的科學。CHAP.11人腦能做而電腦不能的事彭羅塞的猜測無法解決問題假設此猜測完全無誤,仍然無法解決人類獨特性的問題。
此文档下载收益归作者所有