本文選題：圖靈機 + 通用計算機��； 參考：《華中師范大學》2017年碩士論文

【摘要】：計算機作為現(xiàn)代社會必不可少的工具,其重要性不言而喻,基于計算機實現(xiàn)的人工智能在一定程度上也影響了現(xiàn)代社會的發(fā)展。圖靈是最早領會到計算機巨大潛力的人之一,他在前人的研究基礎之上,提出了圖靈機以及通用計算機,并以此提出圖靈測試,用以衡量機器能否如人類一般思維。本文從科學邏輯的角度,對圖靈的機器思維思想進行細致的梳理和系統(tǒng)的概括,并做出初步的評價和思考,全文分為四個部分:第一部分主要介紹了圖靈機器思維思想的理論淵源。在對于萊布尼茲、弗雷格、哥德爾和巴比奇思想的考察之下,重點探討了萊布尼茲的夢想和弗雷格的概念文字、哥德爾的不完全定理以及巴比奇的計算理念對圖靈的機器思維思想所產(chǎn)生的重要影響。第二部分詳細地論述了圖靈機和通用計算機。首先,圖靈設想這樣一臺機器,即任何可以被算法計算的事物都可以被這臺機器計算,這臺機器被稱為圖靈機;其次,圖靈描述了圖靈機及其運作方式;最后,圖靈基于圖靈機提出了通用計算機,并強調(diào)了通用計算機的普遍性,通用計算機比圖靈機更具一般性,可以模擬其他任何圖靈機的計算機被稱為通用計算機,通用計算機可以代替人類去做任何不需要智力去執(zhí)行的操作。第三部分論述了圖靈測試以及關于機器可以思維可能存在的爭論。圖靈提出一個類似于游戲的測試,其主要目的是提供一個評估“機器能否思維”的方法,圖靈認為雖然圖靈測試不完全等價于問題“機器能思維嗎?”,但它足夠接近于這個問題,除此之外,圖靈也一一反駁了機器可以思維的反方觀點,在此基礎上,他也認為在不久的將來,將會有可以思維的機器出現(xiàn)。第四部分主要對圖靈的機器思維思想做出整體性評價。在這一部分我們首先分別考察了圖靈以及當代哲學家科學家“機器能否思維”的觀點,在此基礎之上,對圖靈的機器思維思想進行細致梳理,探究其思想給當代哲學研究和科學研究的重要啟示,以期能夠使圖靈機器思維思想的價值以及圖靈在哲學史和科學邏輯史中的重要地位得以充分展現(xiàn)。
[Abstract]:As an indispensable tool in modern society, the importance of computer is self-evident. Artificial intelligence based on computer also affects the development of modern society to a certain extent. Turing was one of the first people to realize the great potential of computer. He put forward Turing machine and general computer on the basis of previous research, and put forward Turing test to measure whether machine can think like human being. From the point of view of scientific logic, this paper makes a detailed combing and systematic generalization of Turing's thought of machine thinking, and makes a preliminary evaluation and thinking. The paper is divided into four parts: the first part mainly introduces the theoretical origin of Turing's machine thinking. Under the investigation of Leibniz, Frege, Godel and Babic, it focuses on Leibniz's dream and Frege's conceptual writing. Godel's incomplete theorem and Babic's idea of computing have an important influence on Turing's machine thinking. In the second part, Turing machine and general computer are discussed in detail. First, Turing envisions a machine where anything that can be computed by an algorithm can be computed by that machine, which is called a Turing machine; secondly, Turing describes the Turing machine and how it works; and finally, it describes the Turing machine and how it works. Turing proposed a universal computer based on the Turing machine and emphasized the universality of the universal computer, which is more general than the Turing machine, and which can simulate any other Turing machine is called a universal computer. A general-purpose computer can replace humans in any operation that does not require intelligence. The third part discusses the Turing test and the possible existence of machine thinking. Turing proposes a game-like test, the main purpose of which is to provide a way to assess whether a machine can think. Turing believes that although the Turing test is not entirely equivalent to the question "can a machine think?" But it is close enough to the problem that Turing refutes the idea that machines can think, and on that basis, he also thinks that in the near future there will be machines that can think. The fourth part mainly evaluates Turing's thought of machine thinking as a whole. In this part, we first examine Turing and the contemporary philosopher scientist's viewpoint of "machine thinking", on the basis of which, we sort out Turing's machine thinking thought in detail. It is hoped that the value of Turing's machine thinking thought and the important position of Turing in the history of philosophy and scientific logic can be fully displayed.
【學位授予單位】：華中師范大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：B81-06

【相似文獻】

相關期刊論文 前10條

1 ;圖靈:計算理論的奠基人[J];計算機教育;2004年04期

2 李曉慧;;圖靈，電腦的思想領袖[J];中國計算機用戶;2008年15期

3 劉珈辰;;紀念圖靈:百年精英[J];世界科學;2012年04期

4 王立柱;;歷史傳承中的輝煌——紀念圖靈誕辰100周年[J];計算機教育;2012年11期

5 李白薇;;圖靈:計算機世紀的締造者[J];中國科技獎勵;2012年08期

6 雷蕾;;“計算機之父”圖靈 被追認的偉大科學家[J];文史參考;2012年12期

7 溫風;;謎一樣的科學家 阿蘭·圖靈[J];大科技(百科新說);2012年09期

8 ;阿蘭·圖靈[J];程序員;2002年06期

9 劉艷;;獻給圖靈百年誕辰的禮物[J];科技導報;2012年18期

10 馬里耶特·勒魯;;人工智能之父 世間罕有天才 科學家紀念圖靈百年誕辰[J];石油工業(yè)計算機應用;2012年03期

相關會議論文 前5條

1 李雅瑞;;關于多項式時間譜系中語言的多項式圖靈完全性[A];2005年全國理論計算機科學學術年會論文集[C];2005年

2 趙玉鵬;;當代“心靈與機器”研究進展述評[A];第二屆中國科技哲學及交叉學科研究生論壇論文集（博士卷）[C];2008年

3 王孫安;;機器的智能與智能的機器[A];中國機械工程學會流體傳動與控制分會第六屆全國流體傳動與控制學術會議論文集[C];2010年

4 張建偉;;提高機器智商的技術方法[A];信息科學與微電子技術:中國科協(xié)第三屆青年學術年會論文集[C];1998年

5 吳允曾;;機器智能與人的智能(詳細摘要)[A];全國邏輯討論會論文選集[C];1979年

相關重要報紙文章 前10條

1 ;網(wǎng)新圖靈[N];電腦商報;2006年

2 記者 張巍巍;著名解碼機“圖靈甜點”仿制成功[N];科技日報;2009年

3 趙陽春;阿蘭·圖靈：誤入世俗的天使[N];中國國防報;2008年

4 CPW記者 王婷婷;網(wǎng)新圖靈與聯(lián)想一體兩面共發(fā)展[N];電腦商報;2004年

5 尼克;謎一樣的阿蘭·圖靈[N];東方早報;2011年

6 本報記者 章迪思;當我們紀念圖靈時,我們說些什么[N];解放日報;2012年

7 記者 常麗君;圖靈生物花紋形成理論獲實驗證明[N];科技日報;2012年

8 [美]查里斯·佩措爾德;圖靈依然如謎[N];中華讀書報;2012年

9 常麗君;手指腳趾的形成也符合圖靈生物花紋理論[N];科技日報;2014年

10 ;No.13 網(wǎng)新圖靈[N];電腦商報;2004年

相關碩士學位論文 前7條

1 胡嵩;圖靈的機器思維思想初探[D];華中師范大學;2017年

2 趙文;人工智能的智能標準[D];山東大學;2016年

3 王勇;加杯圖靈度的一個層譜[D];中國科學院研究生院（軟件研究所）;2003年

4 趙宜成;加杯圖靈度的代數(shù)結(jié)構(gòu)[D];中國科學院研究生院（軟件研究所）;2003年

5 李登峰;NB和PC的比較研究[D];中國科學院研究生院（軟件研究所）;2003年

6 楊心武;科學哲學視域中的“機器”本質(zhì)探究[D];華東師范大學;2013年

7 李萍;生長機器智能理論構(gòu)架及其應用基礎研究[D];重慶大學;2004年

，

本文編號：2057105