計算機的過去現(xiàn)在與未來-02、圖靈和圖靈機模型(文件)
【正文】 ? 如： q3S2S2Rq4和 q3S2S4Lq6指令同時出現(xiàn)在機器中時 8 實例 ? 設(shè) b表示空格， q1表示機器的初始狀態(tài)， q4表示機器的結(jié)束狀態(tài)，如果帶子上的輸入信息是 10100010，讀入頭對準(zhǔn)最右邊第一個為 0的方格，狀態(tài)為初始狀態(tài) q1。此外，擅長賽跑。 – 其起源可追溯到 17世紀(jì)德國的大數(shù)學(xué)家萊布尼茨 (1646— 1716)，其目的是建立一種精確的、普遍的符號語言，并尋求一種推理演算，以便用演算去解決人如何推理的問題。 15 圖靈簡介 ? 1936年，發(fā)表了“論可計算數(shù)及其在判定問題中的應(yīng)用”論文，提出了著名的理論計算機模型 —— 圖靈機。希爾伯特 (1862— 1943)在 1900年舉行的世界數(shù)學(xué)家大會上提出的著名的“ 23個數(shù)學(xué)難題”中的一個問題的，這個問題涉及邏輯的完備性，即是否所有的數(shù)學(xué)問題在原則上都是可解的。 16 圖靈簡介 ? 隨后，應(yīng)邀于美國普林斯頓大學(xué)與美國著名數(shù)學(xué)家和邏輯學(xué)家邱奇合作，并于 1938年取得博士學(xué)位。 ? 1938年回到英國劍橋大學(xué)，從事 Z函數(shù)的計算方法研究。 18 圖靈簡介 ? 二戰(zhàn)后，他去了英國國家家物理實驗室 (National Physical Laboratory， NPL)新建立的”數(shù)學(xué)部”，開始設(shè)計與建造電子計算機 ACE (Automatic Computing Engine) – 他把自己在計算模型方面的理論研究成果與戰(zhàn)時在脈沖技術(shù)和電子學(xué)方面的實踐經(jīng)驗結(jié)合起來，提出了一個設(shè)計方案 – 1946年 5月以前由于找不到稱心的助手，一直“單槍匹馬”，直到威爾金森（ 1970年圖靈獎獲得者）成了圖靈得力助手，此時 ACE已到第 5版，前 4版由于圖靈不善于也不重視保管文檔資料而不知去向。諾伊曼本人也從來沒有說過存儲程序的概念是他的發(fā)明，卻不止一次地說過圖靈是現(xiàn)代計算機設(shè)計思想的創(chuàng)始人。 20 圖靈簡介 ? 在曼徹斯特大學(xué)期間，圖靈發(fā)表的論文中還包括對黎曼 (1826— 1866)Z函數(shù)的進一步研究成果，這是他戰(zhàn)前曾經(jīng)感興趣而研究過的一個課題。 21 圖靈簡介 ? 1952年因同性戀被法院傳訊，指控行為“極端不當(dāng)” (gross indecency)，給予一年監(jiān)外察看，并給予藥物治療。 –２、
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號-1