【正文】 SUS雖然是用馬達(dá)和金屬做的，與現(xiàn)在的數(shù)字式計(jì)算機(jī)根本不是一回事，但它是現(xiàn)代計(jì)算機(jī)重要的一步。他相信有一個(gè)算法可以解決大部分問(wèn)題，而困難的部分則是如何確定最簡(jiǎn)單的指令集，怎么樣的指令集才是最少的，而且又能頂用，還有一個(gè)難點(diǎn)是如何將復(fù)雜問(wèn)題分解為這些指令的問(wèn)題。這種觀念在當(dāng)時(shí)是具有革命性意義的，因?yàn)榧词乖?0年代的時(shí)候，大部分的計(jì)算機(jī)還只能解決某一特定問(wèn)題，不是通用的，而圖靈機(jī)從理論上卻是通用機(jī)。大學(xué)畢業(yè)后，他前往美國(guó)普林斯頓大學(xué)也正是在那里，他制造出了以后稱(chēng)之為圖靈機(jī)的東西。少年圖靈感興趣的是數(shù)學(xué)等學(xué)科。他杰出的貢獻(xiàn)使他成為計(jì)算機(jī)界的第一人，現(xiàn)在人們?yōu)榱思o(jì)念這位偉大的科學(xué)家將計(jì)算機(jī)界的最高獎(jiǎng)定名為圖靈獎(jiǎng)。 　　艾倫?圖靈（Alan Turing）1912年生于英國(guó)倫敦，1954年死于英國(guó)的曼徹斯特，他是計(jì)算機(jī)邏輯的奠基者，許多人工智能的重要方法也源自于這位偉大的科學(xué)家。德國(guó)的密碼機(jī)實(shí)際上也是機(jī)械式計(jì)算機(jī)，可以改變算法生成不同的密碼，破解起來(lái)非常困難，但最終圖靈的工作似乎是成功的。在他死后，他對(duì)計(jì)算機(jī)的各種想法一一得以實(shí)現(xiàn)或接近實(shí)現(xiàn)，比如現(xiàn)在已經(jīng)有計(jì)算機(jī)可以通過(guò)一水平的圖靈測(cè)試－－很簡(jiǎn)單的想法，但其意義不容低估。 圖靈還是因?yàn)樗膱D靈機(jī)，在編程、解碼上的研究，在人工智能上的研究成名。因此有一個(gè)說(shuō)法是說(shuō)他因此非常消沉，才有了自殺的想法。關(guān)于他的死因，至今沒(méi)有定論，還因?yàn)樗奶觳?、他的性取向以及參與秘密工作的經(jīng)歷，讓這一切成了一個(gè)傳奇。哈吉斯在為圖靈寫(xiě)的一部膾炙人口的傳記《謎一樣的圖靈》(Alan Turing: The Enigma)中這樣描述到：圖靈似乎是上天派來(lái)的一個(gè)使者，匆匆而來(lái)，匆匆而去，為人間留下了智慧，留下了深邃的思想，后人必須為之思索幾十年、上百年甚至永遠(yuǎn)。諾依曼的基本作用是使世界認(rèn)識(shí)了由圖靈引入的計(jì)算機(jī)基本概念......　　為了紀(jì)念，圖靈的事跡已被拍成影視劇，寫(xiě)成小說(shuō)、詩(shī)歌等，以他名字命名的圖靈獎(jiǎng)也已成為計(jì)算機(jī)界的諾貝爾獎(jiǎng)。諾依曼的助手弗蘭克爾在一封信中寫(xiě)到：......計(jì)算機(jī)的基本概念屬于圖靈?！　”M管才華橫溢的圖靈在許多領(lǐng)域都有著不凡的成就，但因其在計(jì)算機(jī)和人工智能方面的突出貢獻(xiàn)，人們還是喜歡稱(chēng)他為人工智能之父或計(jì)算機(jī)之父。他指出，最好的人工智能研究應(yīng)該著眼于為機(jī)器編制程序，而不是制造機(jī)器。1950年，圖靈的一篇里程碑式的論文《機(jī)器能思考嗎？》又為人類(lèi)帶來(lái)了一個(gè)新學(xué)科—人工智能。于是第一臺(tái)電子圖靈機(jī)被設(shè)計(jì)制造出來(lái)，做出重大貢獻(xiàn)的圖靈獲得了政府頒發(fā)的OBE獎(jiǎng)。然而，這對(duì)他來(lái)說(shuō)還只是個(gè)開(kāi)始。　　當(dāng)時(shí)的圖靈機(jī)還只能計(jì)算有限的實(shí)數(shù)，但它的符號(hào)記錄方法為以后的計(jì)算機(jī)發(fā)展奠定了基礎(chǔ)理論，基于此，人類(lèi)首次產(chǎn)生了符號(hào)處理的概念，并開(kāi)始把研究重點(diǎn)轉(zhuǎn)向了可改變的編碼程序上，這就是今天軟件的前身。
　　1936年，圖靈在一篇名為《可計(jì)算數(shù)學(xué)》的論文中首次提出了有關(guān)計(jì)算機(jī)的理論，其中最重要的三點(diǎn)為后世帶來(lái)了極其深遠(yuǎn)的影響：計(jì)算機(jī)的抽象定義、通用計(jì)算機(jī)(Universal Machine)的設(shè)想，以及存在任何計(jì)算機(jī)都無(wú)法解決的問(wèn)題的想法。在劍橋的圖靈就已經(jīng)是一個(gè)婦孺皆知的怪才。他小時(shí)候?qū)W業(yè)平平，除了一些簡(jiǎn)單的化學(xué)實(shí)驗(yàn)和數(shù)學(xué)題外，并無(wú)太多閃光之處?！　?912年，圖靈出生在倫敦一個(gè)缺少親情的家庭里。雖然圖靈去世時(shí)只有42歲，但在其短暫而離奇的生涯中的那些科技成就，已讓后人享用不盡。圖靈是計(jì)算機(jī)邏輯的奠基者，許多人工智能的重要方法也源自這位偉大的科學(xué)家。 　阿蘭它把生物的變化也看做是一種程序，也就是圖靈機(jī)的基本概念，按程序進(jìn)行。 　　圖靈對(duì)生物也十分感興趣，他希望了解生物的各個(gè)器官為什么是這個(gè)樣子而不是那個(gè)樣子，他不相信達(dá)爾文的進(jìn)化論，他覺(jué)得生物的發(fā)展與進(jìn)化沒(méi)什么關(guān)系。在完成ACE之前，圖靈離開(kāi)了NPL，它在曼徹斯特大學(xué)開(kāi)發(fā)曼徹斯特自動(dòng)計(jì)算機(jī)（Manchester Automatic Digital Machine，MADAM）。這個(gè)測(cè)試在我們想起來(lái)十分簡(jiǎn)單，可是偉大的思想就源于這種簡(jiǎn)單的事物之中。 　　圖靈相信如果模擬人類(lèi)大腦的思維就可以做出一臺(tái)可以思考的機(jī)器，它于1950寫(xiě)文章提出了著名的圖靈測(cè)試，測(cè)試是讓人類(lèi)考官通過(guò)鍵盤(pán)向一個(gè)人和一個(gè)機(jī)器發(fā)問(wèn)，這個(gè)考官不知道他現(xiàn)在問(wèn)的是人還是機(jī)器。圖靈經(jīng)常和其它科學(xué)家發(fā)生爭(zhēng)論，爭(zhēng)論的問(wèn)題就是機(jī)器實(shí)現(xiàn)人類(lèi)智能的問(wèn)題，在今天我們看來(lái)這沒(méi)有什么，但是在當(dāng)時(shí)這可不太容易被人接受?！　D靈相信機(jī)器可以模擬人的智力，他也深知讓人們接受這一想法的困難，今天仍然有許多人認(rèn)為人的大腦是不可能用機(jī)器模仿的。 　　此后圖靈在國(guó)家物理學(xué)實(shí)驗(yàn)室（NPL）工作，并繼續(xù)為數(shù)字式計(jì)算機(jī)努力，在那里人發(fā)明了自動(dòng)計(jì)算機(jī)（Automatic Computing Engine，ACE），在這一時(shí)期他開(kāi)始探索計(jì)算機(jī)與自然的關(guān)系。二戰(zhàn)后，圖靈需要找一種放松自己的方法，于是他選擇了長(zhǎng)跑，他選擇的一般都是他善長(zhǎng)的。 二戰(zhàn)時(shí)，圖靈在英國(guó)通信部工作，他運(yùn)用他的專(zhuān)業(yè)技能破譯德國(guó)密碼，這在當(dāng)時(shí)十分不容易，因?yàn)榈聡?guó)人開(kāi)發(fā)出一種用于計(jì)算的機(jī)器稱(chēng)為Enigma，它能夠定期將密碼改變，讓破譯者根本摸不到頭緒。在圖靈看來(lái)，這臺(tái)機(jī)器只用保留一些最簡(jiǎn)單的指令，一個(gè)復(fù)雜的工作只用把它分解為這幾個(gè)最簡(jiǎn)單的操作就可以實(shí)現(xiàn)了，在當(dāng)時(shí)他能夠具有這樣的思想確實(shí)是很了不起的。圖靈機(jī)被公認(rèn)為現(xiàn)代計(jì)算機(jī)的原型，這臺(tái)機(jī)器可以讀入一系列的零和一，這些數(shù)字代表了解決某一問(wèn)題所需要的步驟，按這個(gè)步驟走下去，就可以解決某一特定的問(wèn)題。在加拿大他開(kāi)始了他的職業(yè)數(shù)學(xué)生涯，在大學(xué)期間這位學(xué)生似乎對(duì)前人現(xiàn)成的理論并不感興趣，什么東西都要自己來(lái)一次。　　在中學(xué)時(shí)，他在科學(xué)方面的才能就已經(jīng)顯示出來(lái)，這種才能僅僅限于非文科的學(xué)科上，他的導(dǎo)師希望這位聰明的孩子也能夠在歷史和文學(xué)上有所成就，但是都沒(méi)有太大的建樹(shù)。他對(duì)計(jì)算機(jī)的重要貢獻(xiàn)在于他提出的有限狀態(tài)自動(dòng)機(jī)也就是圖靈機(jī)的概念，對(duì)于人工智能，它提出了重要的衡量標(biāo)準(zhǔn)圖靈測(cè)試，如果有機(jī)器能夠通過(guò)圖靈測(cè)試，那他就是一個(gè)完全意義上的智能機(jī)，和人沒(méi)有區(qū)別了。他寫(xiě)了一篇名為《智能機(jī)》的文章于1969發(fā)表，這時(shí)便開(kāi)始有了人工智能的雛形。下圖就是Enigma的照片。在通信部工作的時(shí)候，圖靈和同事們一起使用一臺(tái)稱(chēng)為COLOSSUS的設(shè)備破譯德國(guó)的密碼，COLOSSUS干得相當(dāng)不錯(cuò)，COLOSSUS雖然是用馬達(dá)和金屬做的，與現(xiàn)在的數(shù)字式計(jì)算機(jī)根本不是一回事，但它是現(xiàn)代計(jì)算機(jī)重要的一步。圖靈是計(jì)算機(jī)邏輯的奠基者，許多人工智能的重要方法也源自這位偉大的科學(xué)家。阿蘭這個(gè)測(cè)試在我們想起來(lái)十分簡(jiǎn)單，可是偉大的思想就源于這種簡(jiǎn)單的事物之中。 圖靈相信如果模擬人類(lèi)大腦的思維就可以做出一臺(tái)可以思考的機(jī)器，它于1950寫(xiě)文章提出了著名的圖靈測(cè)試，測(cè)試是讓人類(lèi)考官通過(guò)鍵盤(pán)向一個(gè)人和一個(gè)機(jī)器發(fā)問(wèn)，這個(gè)考官不知道他現(xiàn)在問(wèn)的是人還是機(jī)器。圖靈經(jīng)常和其它科學(xué)家發(fā)生爭(zhēng)論，爭(zhēng)論的問(wèn)題就是機(jī)器實(shí)現(xiàn)人類(lèi)智能的問(wèn)題，在今天我們看來(lái)這沒(méi)有什么，但是在當(dāng)時(shí)這可不太容易被人接受。圖靈相信機(jī)器可以模擬人的智力，他也深知讓人們接受這一想法的困難，今天仍然有許多人認(rèn)為人的大腦是不可能用機(jī)器模仿的。在第二次世界大戰(zhàn)期間，圖林應(yīng)征入伍，在戰(zhàn)時(shí)英國(guó)情報(bào)中心布雷契萊莊園（Bletchiy）從事破譯德軍密碼的工作，與戰(zhàn)友們一起制作了第一臺(tái)密碼破譯機(jī)。 阿蘭圖林甚至還想到把程序和數(shù)據(jù)都儲(chǔ)存在紙帶上，比馮 圖林設(shè)計(jì)的理想計(jì)算機(jī)被后人稱(chēng)為圖林機(jī)，實(shí)際上是一種不考慮硬件狀態(tài)的計(jì)算機(jī)邏輯結(jié)構(gòu)。該計(jì)算機(jī)有一個(gè)讀寫(xiě)頭部件，可以從帶子上讀出信息，也可以往空方格里寫(xiě)下信息。這篇論文原本是為了解決一個(gè)基礎(chǔ)性的數(shù)學(xué)問(wèn)題：是否只要給人以足夠的時(shí)間演算，數(shù)學(xué)函數(shù)都能夠通過(guò)有限次機(jī)械步驟求得解答？傳統(tǒng)數(shù)學(xué)家當(dāng)然只會(huì)想到用公式推導(dǎo)證明它是否成立，可是圖林獨(dú)辟蹊徑地想出了一臺(tái)冥冥之中的機(jī)器。大學(xué)畢業(yè)后留校任教，不到一年，他就發(fā)表了幾篇很有份量的數(shù)學(xué)論文，被選為皇家學(xué)院最年輕的研究員，年僅22歲。在書(shū)的開(kāi)頭和結(jié)尾，圖林都用同一句話(huà)首先你必須知道光是直的前后呼應(yīng)，但中間的內(nèi)容很短很短，可謂短得破了科學(xué)著作的紀(jì)錄。3歲那年，他進(jìn)行了在科學(xué)實(shí)驗(yàn)方面的首次嘗試──把玩具木頭人的胳膊掰下來(lái)種植到花園里，想讓它們長(zhǎng)成更多的木頭人。圖林以其獨(dú)特的洞察力提出了大量有價(jià)值的理論思想，似乎都成為計(jì)算機(jī)發(fā)展史不斷追逐的目標(biāo)，不斷地被以后的發(fā)展證明其正確性。直到現(xiàn)在，計(jì)算機(jī)界仍有個(gè)一年一度圖林獎(jiǎng) ，由美國(guó)計(jì)算機(jī)學(xué)會(huì)（ACM）頒發(fā)給世界上最優(yōu)秀的電腦科學(xué)家，像科學(xué)界的諾貝爾獎(jiǎng)金那樣，是電腦領(lǐng)域的最高榮譽(yù)。 正是馮然而我確信他本人從來(lái)不會(huì)促成這個(gè)錯(cuò)誤。諾依曼助手的美國(guó)學(xué)者弗蘭克爾這樣寫(xiě)到：許多人都推舉馮 許多文獻(xiàn)甚至提出，圖林不僅是人工智能之父，他也是計(jì)算機(jī)之父。這些理論簡(jiǎn)潔的概括了圖靈偉大貢獻(xiàn)的一部分：他是第一個(gè)提出利用某種機(jī)器實(shí)現(xiàn)邏輯代碼的執(zhí)行，以模擬人類(lèi)的各種計(jì)算和邏輯思維過(guò)程的科學(xué)家?！　?936年1938年，主要在美國(guó)普林斯頓大學(xué)做博士研究，涉及邏輯學(xué)、代數(shù)和數(shù)論等領(lǐng)域?！　?935年，年僅23歲的圖靈，被選為劍橋大學(xué)國(guó)王學(xué)院院士。s College）學(xué)習(xí)。 阿蘭圖靈（Alan Turing，也被譯作阿蘭圖林）生平簡(jiǎn)介（部分資料參考自Andrew Hodges所著的圖靈傳記Alan Turing: the Enigma）：　　1912年6月23日，出生于英國(guó)倫敦?！　D林的死無(wú)疑是電腦科學(xué)界的巨大損失。他采用注射激素方法試圖治療這種傾向。就在阿蘭吃剩的那只蘋(píng)果里，法醫(yī)檢驗(yàn)出劇毒的氰化鉀殘液。床頭柜上有個(gè)蘋(píng)果，只吃了一小半?！　?954年，阿蘭就要跨進(jìn)他人生的第42個(gè)年頭，風(fēng)華正茂，年富力強(qiáng)，正處于生命最輝煌的創(chuàng)造巔峰期，計(jì)算機(jī)科學(xué)界都在翹首等待著他新的發(fā)現(xiàn)。因?yàn)槁?tīng)眾席上有他過(guò)去的老師，他仿佛又在臺(tái)上接受著老師的測(cè)驗(yàn)。1953年，阿蘭回到讀中學(xué)時(shí)的母校，他站在教室的講臺(tái)上，向中學(xué)生作了一次關(guān)于計(jì)算機(jī)的講演?！　?951年春天，英國(guó)皇家學(xué)會(huì)把會(huì)員的稱(chēng)號(hào)授給阿蘭，這是圖林家族的第四位會(huì)員。在這點(diǎn)上，圖林可能過(guò)于樂(lè)觀。圖林試驗(yàn)要求觀察者不斷提出各種問(wèn)題，根據(jù)回答來(lái)辨別哪一個(gè)是人，哪一個(gè)是機(jī)器。他設(shè)想了一種問(wèn)與答的模式：觀察者通過(guò)控制打字機(jī)向兩個(gè)試驗(yàn)對(duì)象通話(huà)，其中一個(gè)是人，另一個(gè)是機(jī)器。這些機(jī)器有時(shí)會(huì)出現(xiàn)錯(cuò)誤，但有時(shí)它們也會(huì)提出非常新穎的語(yǔ)句，而且總的來(lái)說(shuō)，它們輸出的東西將與人腦輸出的東西同樣值得注意。這是人們一般會(huì)毫無(wú)疑義接受下來(lái)的老生長(zhǎng)談。在這篇人工智能的宣言書(shū)里，圖林首次從行為主義的角度給出了人工智能的定義。圖林稱(chēng)作人工智能之父。在第一代電腦占統(tǒng)治地位的時(shí)代，這篇論文甚至可以作為第五代電腦和第六代電腦的宣言書(shū)。就在這一年的10月，他的又一篇?jiǎng)潟r(shí)代論文發(fā)表。英國(guó)人似乎特別喜歡保密，圖林寫(xiě)的那份50頁(yè)ACE設(shè)計(jì)報(bào)告，直到1972年才以單行本的形式發(fā)表，保密時(shí)間長(zhǎng)達(dá)27年之久。圖林在介紹ACE的存儲(chǔ)裝置時(shí)說(shuō)：它能十分容易地把一本小說(shuō)中的10頁(yè)內(nèi)容記住。1950年ACE電腦的樣機(jī)公開(kāi)表演， 被認(rèn)為是世界上最快最強(qiáng)有力的電子計(jì)算機(jī)之一。由于有了布雷契萊的實(shí)踐，阿蘭阿蘭這種對(duì)個(gè)人瑣事粗枝大葉的作風(fēng)，可能就是后來(lái)釀成一場(chǎng)不該發(fā)生悲劇的根源。沮喪之余，圖林自制了一臺(tái)探雷器，像工兵那樣鉆進(jìn)叢林，弄得滿(mǎn)身泥土，還是一無(wú)所獲。　　另一件笑話(huà)說(shuō)的是戰(zhàn)爭(zhēng)初期，圖林預(yù)感到英國(guó)可能會(huì)淪陷，為了不把個(gè)人存款留給德國(guó)占領(lǐng)軍，他取出全部現(xiàn)金換成兩個(gè)大銀錠，分別埋在兩處并作上標(biāo)記。不久他覺(jué)得數(shù)數(shù)太費(fèi)事，便制造了一臺(tái)計(jì)數(shù)器裝在車(chē)輪上，真是笨到了家，被同事們傳為笑料。別人或許馬上把車(chē)送到車(chē)行修理好再騎，可圖林偏不修，他仔細(xì)琢磨鏈條脫落的規(guī)律， 發(fā)現(xiàn)每踏到X圈時(shí)鏈條才會(huì)脫落?！　?jù)說(shuō)，布雷契萊有一輛出了名的自行車(chē)，它是圖林在莊園里代步的交通工具。據(jù)主持研制巨人機(jī)的紐曼教授和工程師弗勞爾斯回憶，他們都得益于受到圖林通用計(jì)算機(jī)研究的啟示。在這個(gè)秘密基地里，他與戰(zhàn)友們一起成功地制作了第一臺(tái)密碼破譯機(jī)羅賓遜。圖林以其獨(dú)特的洞察力提出了大量有價(jià)值的理論思想，似乎都成為計(jì)算機(jī)發(fā)展史不斷追逐的目標(biāo)，不斷地被以后的發(fā)展證明其正確性。　　紐曼教授感慨地說(shuō)過(guò)：現(xiàn)在的人很難認(rèn)識(shí)到，當(dāng)時(shí)把紙帶及在紙帶上的穿孔模式這類(lèi)話(huà)題引進(jìn)數(shù)學(xué)基礎(chǔ)的討論是多么大膽的革新。他的萬(wàn)能計(jì)算機(jī)就是現(xiàn)代通用計(jì)算機(jī)的一種模型，這種機(jī)器只要為它編好程序，就可以承擔(dān)其他機(jī)器能做的任何工作。諾依曼更早提出了儲(chǔ)存程序的概念。如果認(rèn)為圖林機(jī)是理想計(jì)算機(jī)，那么萬(wàn)能圖林機(jī)就是通用計(jì)算機(jī)的原始模型。這　　就是圖林設(shè)計(jì)的理想計(jì)算機(jī)，后人把它稱(chēng)為圖林機(jī)，實(shí)際上這是一種不考慮硬件狀態(tài)的計(jì)算機(jī)邏輯結(jié)構(gòu)。該計(jì)算機(jī)有一個(gè)讀寫(xiě)頭部件，可以從帶子上讀出信息，也可以往空方格里寫(xiě)下信息?？墒?，具有跳躍思維頭腦的圖林不愿意墨守陳規(guī)，他獨(dú)辟蹊徑地想出了一臺(tái)冥冥之中的機(jī)器，一臺(tái)理想中的計(jì)算機(jī)。如果茫茫宇宙間真有這么個(gè)支點(diǎn)，只要給阿基米德足夠的時(shí)間，比方說(shuō)數(shù)以?xún)|計(jì)的年度，地球的確可以被他的杠桿撬動(dòng)。　　還在劍橋讀書(shū)時(shí)，圖林天才的大腦就常常在思索數(shù)學(xué)函數(shù)的可計(jì)算性問(wèn)題。巴貝奇和阿達(dá)終身奮斗，致力于發(fā)明一臺(tái)通用計(jì)算機(jī)——分析機(jī)，但他們并沒(méi)有從理論上證明它的可行性，憑借的只是自己的經(jīng)驗(yàn)和熱情。諾依曼闡述了圖林在理論上的重大貢獻(xiàn)。諾依曼在他的《自動(dòng)計(jì)算機(jī)的一般邏輯理論》一文中寫(xiě)道：大約12年前，英國(guó)邏輯學(xué)家圖林開(kāi)始研究下列問(wèn)題，他想給自動(dòng)計(jì)算機(jī)的含義下一個(gè)一般性的定義。這篇論文是闡明現(xiàn)代電腦原理的開(kāi)山之作，被永遠(yuǎn)載入了計(jì)算機(jī)的發(fā)展史冊(cè)，照耀著現(xiàn)代電腦的前進(jìn)方向。為此，他的母校宣布放假半天以示慶賀，連當(dāng)代數(shù)學(xué)泰斗羅素也來(lái)函邀請(qǐng)他講學(xué)?！　∧芴S思維的圖林，1931年考入了劍橋皇家學(xué)院。我故意等了他兩天，看著他在稿紙上算啊算啊，果然把公式給推導(dǎo)出來(lái)了，可他居然就能在不知道公式時(shí)悟出答案。有天我出了個(gè)有關(guān)房間照明的數(shù)學(xué)難題，圖林不假思索地一口氣道出了正確答案。這個(gè)叫圖林的學(xué)生是否真有這種非凡能力？