本文選題：圖靈機(jī) + 通用計(jì)算機(jī)�。� 參考：《華中師范大學(xué)》2017年碩士論文

【摘要】：計(jì)算機(jī)作為現(xiàn)代社會(huì)必不可少的工具,其重要性不言而喻,基于計(jì)算機(jī)實(shí)現(xiàn)的人工智能在一定程度上也影響了現(xiàn)代社會(huì)的發(fā)展。圖靈是最早領(lǐng)會(huì)到計(jì)算機(jī)巨大潛力的人之一,他在前人的研究基礎(chǔ)之上,提出了圖靈機(jī)以及通用計(jì)算機(jī),并以此提出圖靈測(cè)試,用以衡量機(jī)器能否如人類一般思維。本文從科學(xué)邏輯的角度,對(duì)圖靈的機(jī)器思維思想進(jìn)行細(xì)致的梳理和系統(tǒng)的概括,并做出初步的評(píng)價(jià)和思考,全文分為四個(gè)部分:第一部分主要介紹了圖靈機(jī)器思維思想的理論淵源。在對(duì)于萊布尼茲、弗雷格、哥德爾和巴比奇思想的考察之下,重點(diǎn)探討了萊布尼茲的夢(mèng)想和弗雷格的概念文字、哥德爾的不完全定理以及巴比奇的計(jì)算理念對(duì)圖靈的機(jī)器思維思想所產(chǎn)生的重要影響。第二部分詳細(xì)地論述了圖靈機(jī)和通用計(jì)算機(jī)。首先,圖靈設(shè)想這樣一臺(tái)機(jī)器,即任何可以被算法計(jì)算的事物都可以被這臺(tái)機(jī)器計(jì)算,這臺(tái)機(jī)器被稱為圖靈機(jī);其次,圖靈描述了圖靈機(jī)及其運(yùn)作方式;最后,圖靈基于圖靈機(jī)提出了通用計(jì)算機(jī),并強(qiáng)調(diào)了通用計(jì)算機(jī)的普遍性,通用計(jì)算機(jī)比圖靈機(jī)更具一般性,可以模擬其他任何圖靈機(jī)的計(jì)算機(jī)被稱為通用計(jì)算機(jī),通用計(jì)算機(jī)可以代替人類去做任何不需要智力去執(zhí)行的操作。第三部分論述了圖靈測(cè)試以及關(guān)于機(jī)器可以思維可能存在的爭(zhēng)論。圖靈提出一個(gè)類似于游戲的測(cè)試,其主要目的是提供一個(gè)評(píng)估“機(jī)器能否思維”的方法,圖靈認(rèn)為雖然圖靈測(cè)試不完全等價(jià)于問題“機(jī)器能思維嗎?”,但它足夠接近于這個(gè)問題,除此之外,圖靈也一一反駁了機(jī)器可以思維的反方觀點(diǎn),在此基礎(chǔ)上,他也認(rèn)為在不久的將來(lái),將會(huì)有可以思維的機(jī)器出現(xiàn)。第四部分主要對(duì)圖靈的機(jī)器思維思想做出整體性評(píng)價(jià)。在這一部分我們首先分別考察了圖靈以及當(dāng)代哲學(xué)家科學(xué)家“機(jī)器能否思維”的觀點(diǎn),在此基礎(chǔ)之上,對(duì)圖靈的機(jī)器思維思想進(jìn)行細(xì)致梳理,探究其思想給當(dāng)代哲學(xué)研究和科學(xué)研究的重要啟示,以期能夠使圖靈機(jī)器思維思想的價(jià)值以及圖靈在哲學(xué)史和科學(xué)邏輯史中的重要地位得以充分展現(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.
【學(xué)位授予單位】：華中師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：B81-06

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 李曉慧;;圖靈，電腦的思想領(lǐng)袖[J];中國(guó)計(jì)算機(jī)用戶;2008年15期

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

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

5 李白薇;;圖靈:計(jì)算機(jī)世紀(jì)的締造者[J];中國(guó)科技獎(jiǎng)勵(lì);2012年08期

6 雷蕾;;“計(jì)算機(jī)之父”圖靈 被追認(rèn)的偉大科學(xué)家[J];文史參考;2012年12期

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

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

9 劉艷;;獻(xiàn)給圖靈百年誕辰的禮物[J];科技導(dǎo)報(bào);2012年18期

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

相關(guān)會(huì)議論文 前5條

1 李雅瑞;;關(guān)于多項(xiàng)式時(shí)間譜系中語(yǔ)言的多項(xiàng)式圖靈完全性[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

2 趙玉鵬;;當(dāng)代“心靈與機(jī)器”研究進(jìn)展述評(píng)[A];第二屆中國(guó)科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

3 王孫安;;機(jī)器的智能與智能的機(jī)器[A];中國(guó)機(jī)械工程學(xué)會(huì)流體傳動(dòng)與控制分會(huì)第六屆全國(guó)流體傳動(dòng)與控制學(xué)術(shù)會(huì)議論文集[C];2010年

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

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

相關(guān)重要報(bào)紙文章 前10條

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

2 記者 張巍巍;著名解碼機(jī)“圖靈甜點(diǎn)”仿制成功[N];科技日?qǐng)?bào);2009年

3 趙陽(yáng)春;阿蘭·圖靈：誤入世俗的天使[N];中國(guó)國(guó)防報(bào);2008年

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

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

6 本報(bào)記者 章迪思;當(dāng)我們紀(jì)念圖靈時(shí),我們說些什么[N];解放日?qǐng)?bào);2012年

7 記者 常麗君;圖靈生物花紋形成理論獲實(shí)驗(yàn)證明[N];科技日?qǐng)?bào);2012年

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

9 常麗君;手指腳趾的形成也符合圖靈生物花紋理論[N];科技日?qǐng)?bào);2014年

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

相關(guān)碩士學(xué)位論文 前7條

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

2 趙文;人工智能的智能標(biāo)準(zhǔn)[D];山東大學(xué);2016年

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

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

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

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

7 李萍;生長(zhǎng)機(jī)器智能理論構(gòu)架及其應(yīng)用基礎(chǔ)研究[D];重慶大學(xué);2004年

，

本文編號(hào)：2057105