計(jì)算機(jī)的過去現(xiàn)在與未來-02、圖靈和圖靈機(jī)模型(編輯修改稿)
2024-09-11 23:43 本頁面
【文章內(nèi)容簡介】 ? 此外， DNA（脫氧核糖核酸）計(jì)算技術(shù)的可行性，從一個(gè)側(cè)面說明了生命過程也是一種計(jì)算 12 圖靈簡介 （ 1912—1954） 13 圖靈簡介 ? 圖靈 1912年 6月 23日生于倫敦近郊，因父母一度在國外，童年時(shí)缺乏父愛和母愛，自幼起性格和行為很怪癖。 ? 13歲入中學(xué)，學(xué)習(xí)成績不是很好，只有數(shù)學(xué)例外，演算能力特別強(qiáng)。此外，擅長賽跑。 ? 1931年中學(xué)畢業(yè)后考入劍橋大學(xué)攻讀數(shù)學(xué)，其學(xué)位論文課題是關(guān)于概率論的中心極限定理的，由于對前人工作一無所知，他又重新發(fā)現(xiàn)了該定理。 14 圖靈簡介 ? 1935年，圖靈開始對數(shù)理邏輯發(fā)生興趣。 – 數(shù)理邏輯用數(shù)學(xué)方法，也就是用符號和公式、公理的方法去研究人的思維過程、思維規(guī)律。 – 其起源可追溯到 17世紀(jì)德國的大數(shù)學(xué)家萊布尼茨 (1646— 1716)，其目的是建立一種精確的、普遍的符號語言，并尋求一種推理演算，以便用演算去解決人如何推理的問題。 – 在萊布尼茨的思想中，數(shù)理邏輯、數(shù)學(xué)和計(jì)算機(jī)三者均出于一個(gè)統(tǒng)一目的，即人的思維過程的演算化、計(jì)算機(jī)化，以至在計(jì)算機(jī)上實(shí)現(xiàn)。 – 但萊布尼茨的這些思想和概念還比較模糊。兩個(gè)多世紀(jì)來，許多數(shù)學(xué)家和邏輯學(xué)家沿著萊布尼茨的思路進(jìn)行了大量實(shí)質(zhì)性的工作，使數(shù)理邏輯逐步完善和發(fā)展起來，許多概念開始明朗起來； – 但是，“計(jì)算機(jī)”到底是怎樣一種機(jī)器，應(yīng)該由哪些部分組成，如何進(jìn)行計(jì)算和工作，在圖靈之前沒有任何人清楚地說明過。 15 圖靈簡介 ? 1936年，發(fā)表了“論可計(jì)算數(shù)及其在判定問題中的應(yīng)用”論文，提出了著名的理論計(jì)算機(jī)模型 —— 圖靈機(jī)。利用這種計(jì)算機(jī)，可以把推理化做一些簡單的機(jī)械動作。 ? 說來有趣，具有重大科學(xué)價(jià)值和歷史意義的計(jì)算模型，并非圖靈那篇論文的主題。 – 圖靈那篇論文主要是回答德國大數(shù)學(xué)家戴維 希爾伯特 (1862— 1943)在 1900年舉行的世界數(shù)學(xué)家大會上提出的著名的“ 23個(gè)數(shù)學(xué)難題”中的一個(gè)問題的，這個(gè)問題涉及邏輯的完備性，即是否所有的數(shù)學(xué)問題在原則上都是可解的。圖靈的論文回答了這個(gè)問題：有些數(shù)學(xué)問題是不可解的。 – 而自動計(jì)算機(jī)的理論模型則是圖靈在其論文的一個(gè)腳注中“順便”提出來的。這真可謂“歪打正著” —— 圖靈這篇傳世的論文主要是因?yàn)檫@
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號-1