(34.204.185.54) 您好!臺灣時間:2021/04/11 06:15
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:蔡耀明
研究生(外文):TSOI, Yiu-Ming
論文名稱:哥德爾定理的蘊涵-心是計算的嗎?
論文名稱(外文):The Implications of Godel's Theorems-Is the Mind Computational?
指導教授:洪裕宏洪裕宏引用關係
指導教授(外文):Yu-Houng Houng
學位類別:碩士
校院名稱:國立中正大學
系所名稱:哲學研究所
學門:人文學門
學類:哲學學類
論文種類:學術論文
論文出版年:1998
畢業學年度:86
語文別:中文
論文頁數:117
中文關鍵詞:哥德爾計算學派
外文關鍵詞:GodelComputationalism
相關次數:
  • 被引用被引用:0
  • 點閱點閱:182
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
哥德爾定理的蘊涵-心是計算的嗎?計算學派 (Computationalism) 主張心
理歷程 (mental processes) 的本質(nature)是計算的。但是,一些哲學
家像John Lucas 和 Roger Penrose 卻反對計算學派的主張。他們認為哥
德爾不完備定理 (Godel's incompleteness theorems) 可以證明計算學
派對於心理歷程的主張是錯誤的。哥德爾不完備定理真的可以推翻計算學
派的主張嗎?我並不認為如此。在這篇論文中,我將說明他們的哥德爾式
論証 (Godelian argument),接著我會討論一些對哥德爾式論証的批評,
最後,我會指出哥德爾式論証並不足以推翻計算學派。致命的批評是:在
我們證明某個形式系統 (formal system) 是一致的 (consistent)之前,
我們並不能說它的哥德爾句 (Godel sentence) 是真的,但是對於它的一
致性,我們卻無法提供形式證明(formal proof) 。

The Implications of Godel's Theorems-Is the Mind
Computational?Computationalism insists that the nature of mental
processes iscomputational. However, John Lucas and Roger Penrose
argued thatGodel's incompleteness theorem seems to prove the
falsity ofComputationalism. Is it really an implication of
Godel'sincompleteness theorem? I don't think so. In this thesis,
I will delineate their arguments. Then I will discuss some
objections totheir Godelian arguments. Finally, I will show that
Lucas-PenroseGodelian arguments are unsound. The mortal critique
is that we cannot assert the truth of the Godel sentence unless
we can determinethe consistency of the formal system. However,
we cannot provide any formal proof for the consistency of the
formal system.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔