中國民企總裁的實戰商學院

面對機器,人心真的不堪一擊?

發布時間:2016-03-11 00:00:00

人心具有一種特殊的能力,這種能力是建立在迄今未予發現的某些物理學規律的基礎上,而且人心有可能超越任何計算機實現非算法的運算。

哥德爾不完全性定理告訴我們,真與可證是兩個概念??勺C的一定是真的,但真的不一定可證。

1961年美國哲學家魯卡斯在36卷《哲學》雜志上以極其激烈的言辭首先撰文《心、機器、哥德爾》,試圖用哥德爾定理直接證明“人心超過計算機”的結論:“依我看,哥德爾定理證明了機械論是錯誤的,因為,無論我們造出多么復雜的機器,只要它是機器,就將對應于一個形式系統,就能找到一個在該系統內不可證的公式而使之受到哥德爾構造不可判定命題的程序的打擊,機器不能把這個公式作為定理推導出來,但是人心卻能看出它是真的。

因此這臺機器不是心的一個恰當模型。這就是著名的魯卡斯論證。隨后,另一位美國哲學家懷特利在接下來的37卷《哲學》雜志上發表了強有力的批駁文章《心、機器、哥德爾——回應魯卡斯》,遂引起許多人卷入并長達幾十年的爭論。 

羅杰·彭羅斯聲稱“可被機械地證明的”和“對人類來說看起來是真的”的這一區別表明人類智能不同于自然的無意識過程。這一觀點未被普遍接受,因為正如Marvin Minsky所指出的,人類智能有犯錯誤和理解不相容和謬誤句子的能力。

Marvin Minsky透露說哥德爾私下告訴他,他相信人類有一種到達真理的直覺方法,但因為跟計算機式的方法不同,人類可以知道為真的事情并不受他的定理限制。但Marvin Minsky透露說哥德爾私下告訴他,他相信人類有一種到達真理的直覺方法,但因為跟計算機式的方法不同,人類可以知道為真的事情并不受他的定理限制。

哥德爾曾在多種場合申明,他本人并不反對用不完全性定理作為證明“人心勝過計算機”這一結論的部分證據,因為在他看來,不完全性定理并未給出人類理性的極限,而只揭示了數學形式主義的內在局限,但是,僅僅使用他的定理不足以作出如此強硬論斷。 

但哥德爾定理促使我們思考這樣的問題:由于人設計制造了計算機,人總能從外部觀察和操縱機器。假定設計機器去解決某個問題集{a,b,c,…},那么,如果計算機等價于一個形式系統,根據哥德爾定理,在這個形式系統中將產生這臺機器不能解決的問題(例如系統本身的一致性問題)。但從外部觀察,這個問題卻是人的智能可解的。于是,為了解決問題集{a,b,c,……},又會產生新的計算機不能解決的問題集{x,y,z, …… }。 

計算機是人類為了自身目的而設計制造的,這種制造者與被制造者之間的強關系將人置于一個面對面地統治機器的絕對優越地位,這種地位究竟是一種社會學意義上的優越,還是計算機和人的智能的本質特性所決定的?

或者像哥德爾斷定的,存在與物質相分離的心能超越任何計算機去發現和證明某些數學定理,至少在發現具有超窮性質的數學真理,提出數學公理、構造假說方面是任何計算機都無法企及的。

抑或像彭羅斯斷言的那樣,人心具有一種特殊的能力,這種能力是建立在迄今未予發現的某些物理學規律的基礎上,而且人心是否能超越任何計算機實現非算法的運算?這些都是我們需要深入探討的問題。

機器贏了,人類輸了?我經歷過的房產中介們
广西11选5历史号码 海南飞鱼中奖 幸运农场计划 股票分析群的盈利点 股票分红规则 大嘴棋牌网站 互联网是靠什么赚钱 上证指数月k线走势 大子美女捕鱼 福建11选5一定牛 喜乐彩规则