人脑能做而电脑不能的事.ppt

CHAP.11 人腦能做而電腦不能的事 工程師、物理學家和數學家沿街散步，遇到一場火災。一棟建築物冒著熊熊大火，火勢漫延難以控制，消防隊隊長跑上前來請他們幫忙。 工程師要求看看房子的工程藍圖，然後告訴消防隊隊長這扇窗每秒要噴灑多少加崙的水，屋頂要灑多少水。火勢很快就熄滅了，隊長向工程師致謝。 一星期後，物理學家拿著一本名為救火通則的小冊子到消防隊，然後建議隊長將其併入訓練內容和實際作業。隊長接過冊子並道謝。 CHAP.11 人腦能做而電腦不能的事 六個月後，數學家著一疊呎來高的紙張搖搖晃晃走進消防隊。蓬頭垢面、衣衫髒亂的數學家將一疊紙張重重地放在隊長桌上，然後得意洋洋地說：「我做到了！」 隊長問：「你做了什麼？」 「我證明火確實存在！」 －無名式 CHAP.11 人腦能做而電腦不能的事 劍橋大學物理學家彭羅塞(Roger Penrose)認為能證明人腦與電腦基本差異的就是隻世界某些最抽象、最精確問題的「基礎數學」(the Foundations of Mathematics) CHAP.11 人腦能做而電腦不能的事 哥德爾定理 希爾伯特(David Hilbert)研究。 1902年，英國哲學家羅素(Bertrand Russell))提出成名的矛盾論。 1905年，法國數學家里查(Jules Richard)發表「理查矛盾論」(Richard’s Paradox)。 1931年，維也納人哥爾德發表論數學原則及相關學說形式上不明確的命題(On Formally Undecidable Propositions of Principia Mathematica and Related System) CHAP.11 人腦能做而電腦不能的事 哥爾德在論文中歸納出已下結論：任何相當程度複雜的數學學說一定是不完整或是相互矛盾。 CHAP.11 人腦能做而電腦不能的事 盧卡斯和彭羅塞的論點 即使哥爾德定理告訴我們某個命題無法證實，人類還是可能判斷其真偽。電腦證明或駁斥某個命題的唯一方法就是從某些基本公理開始，然後遵循一系列的邏輯步驟，亦即執行演算步驟；但是，哥得爾定理的要則卻是「某個命題的真偽無法利用公理的邏輯辯論決定。」因此，一定有一個命題的真偽只能有人腦決定，無法利用操作演算法的杜林機來決定。 CHAP.11 人腦能做而電腦不能的事 「強力人工智慧」：人腦是一部可以由杜林機器代表的數位電腦，而思想則電腦內部的程式或運算法。 反對盧卡斯和彭羅塞論點的理由： 人類如何知道某件事無法證明？ 人腦不知道哥爾德命題的真偽，只是猜測而已。 CHAP.11 人腦能做而電腦不能的事 彭羅塞的猜測 彭羅塞主張，決定人腦運作的科學就是用來解釋介於純牛頓和純量子力學中間世界的科學。 CHAP.11 人腦能做而電腦不能的事 彭羅塞的猜測無法解決問題 假設此猜測完全無誤，仍然無法解決人類獨特性的問題。 * *