艾倫·麥席森·圖靈（英語：Alan Mathison Turing，又譯阿蘭·圖靈，1912年6月23日—1954年6月7日）是英國計(jì)算機(jī)科學(xué)家、數(shù)學(xué)家、邏輯學(xué)家、密碼分析學(xué)家和理論生物學(xué)家，倫敦皇家自然知識促進(jìn)學(xué)會(huì)院士，被譽(yù)為計(jì)算機(jī)科學(xué)與人工智能之父。
1935年，圖靈當(dāng)選為劍橋大學(xué)國王學(xué)院研究員。1936年，圖靈發(fā)表論文《論可計(jì)算數(shù)及其在判定問題上的應(yīng)用》，在附錄中描述了一種被后人稱為“圖靈機(jī)”的機(jī)器。1938年，圖靈獲普林斯頓大學(xué)博士學(xué)位。這篇論文論證了制造現(xiàn)代通用計(jì)算機(jī)的可能性，圖靈從而被后人稱為“計(jì)算機(jī)科學(xué)之父”。1939-1945年，在英國外交部通訊處任職，參與密碼破譯工作，協(xié)助英國軍方破解德國密碼系統(tǒng)“恩尼格瑪”和“鮪魚”，加速了盟軍取得了二戰(zhàn)的勝利。1948年，圖靈任曼徹斯特大學(xué)高級講師、自動(dòng)數(shù)字計(jì)算機(jī)（Madam）項(xiàng)目的負(fù)責(zé)人助理。1950年，圖靈發(fā)表論文《計(jì)算機(jī)器與智能》，首次提出機(jī)器具備思維的可能性和“圖靈測試”的概念，這篇論文為他獲得了“人工智能之父”的稱號。1952年，圖靈因同性戀傾向被定為嚴(yán)重猥褻罪。1954年，圖靈服用含氰化物的蘋果去世，享年41歲。直到2013年，圖靈才獲得了伊麗莎白·亞歷山德拉·瑪麗·溫莎(Queen Elizabeth II)的赦免。
圖靈的一生雖然短暫，但仍獲得過許多榮譽(yù)。圖靈在劍橋大學(xué)求學(xué)期間獲得過劍橋“B級明星牧馬人”(B Star Wrangler)一等榮譽(yù)和史密斯(Smith)數(shù)學(xué)獎(jiǎng)，并于22歲當(dāng)選為劍橋大學(xué)國王學(xué)院成立以來最年輕的研究員(Research Fellow)。1946年，因其在戰(zhàn)時(shí)的貢獻(xiàn)，被授予大英帝國勛章。他提出的“圖靈機(jī)”和“圖靈測試”概念，為后世電子計(jì)算機(jī)和人工智能領(lǐng)域奠定了基礎(chǔ)。美國計(jì)算機(jī)協(xié)會(huì)(ACM)于1966年以其名字命名設(shè)立的“圖靈獎(jiǎng)”被譽(yù)為計(jì)算機(jī)界的“諾貝爾獎(jiǎng)”。
人物生平
年少時(shí)期
1912年，圖靈出生于英國倫敦的一個(gè)富裕家庭。他的父親是英國政府駐印度殖民地的高級公務(wù)員，母親出身于鐵路工程師家庭，是巴黎索邦大學(xué)的畢業(yè)生。1922年，9歲的圖靈就讀于黑澤赫斯特預(yù)備學(xué)校(Hazelhurst preparatory school)。因?yàn)楦改赋Ｄ昃幼∮《龋荒苊咳胀涤谟H戚家與學(xué)校之間。這使得圖靈年少時(shí)缺少父母陪伴，性格變得孤僻封閉。但也正是在黑澤赫斯特，圖靈開始展現(xiàn)他的發(fā)明天分，他在給父母的信中經(jīng)常包括他最新的發(fā)明。
1926年，14歲的圖靈考入謝伯恩公學(xué)(Sherborne School)讀書。他上學(xué)的第一天恰逢1926年為期九天的大罷工，圖靈則獨(dú)自從南安普頓足球俱樂部騎了60英里自行車到了謝伯恩。圖靈中學(xué)時(shí)期在數(shù)學(xué)方面表現(xiàn)出很高的天賦，獲得了國王愛德華六世數(shù)學(xué)金盾獎(jiǎng)?wù)隆Ｋ闹袑W(xué)數(shù)學(xué)老師埃珀森(Donald Eperson)回憶稱，圖靈“很難教，因?yàn)樗矚g使用自己獨(dú)特的方法”。16歲時(shí)，沒有任何微積分基礎(chǔ)的圖靈讀懂了阿爾伯特·愛因斯坦的著作，并專門寫了一本綱要，看出了愛因斯坦文章中對牛頓力學(xué)的質(zhì)疑。
1928年，圖靈進(jìn)入謝伯恩學(xué)校的六年級，專攻數(shù)學(xué)和科學(xué)。在科學(xué)課上，他遇到了克里斯托弗·莫科姆(Christopher Morcom)。圖靈與莫科姆建立了深厚的友誼，后者被圖靈視為初戀。然而在1930年2月13日，莫科姆因腸梗阻手術(shù)并發(fā)癥在倫敦的一家療養(yǎng)院去世。莫科姆去世后，他的父母在謝伯恩公學(xué)設(shè)立了一個(gè)自然科學(xué)年度獎(jiǎng)項(xiàng)——克里斯托弗·莫科姆獎(jiǎng)。圖靈于1930年因其在一篇關(guān)于“亞硫酸鹽和碘酸鹽在酸溶液中的反應(yīng)”的論文中表現(xiàn)出的獨(dú)創(chuàng)性獲得了這個(gè)獎(jiǎng)項(xiàng)。
莫科姆葬禮后的第二天，圖靈寫信給他的母親說：“我確信我會(huì)在某個(gè)地方再次見到莫科姆，我們會(huì)一起做一些工作，就像我相信我們在這里可以做的那樣。現(xiàn)在我只能獨(dú)自一人做這件事，我決不能讓他失望，即使沒有那么多的興趣，我也會(huì)在工作上投入盡可能多的精力，就像他還在這里一樣。”
科研時(shí)期
1929年，圖靈父母花錢為圖靈申請了劍橋大學(xué)國王學(xué)院的入學(xué)資格考試。1931年，圖靈考入劍橋大學(xué)國王學(xué)院專攻數(shù)學(xué)，并獲得數(shù)學(xué)獎(jiǎng)學(xué)金。他被英國著名的數(shù)學(xué)大師戈弗雷·哈代(Godfrey Harold Hardy)錄取。1934年，他以優(yōu)異的成績畢業(yè)，并獲得了劍橋大學(xué)“B級明星牧馬人”(B Star Wrangler)一等榮譽(yù)。1935年，他的第一篇數(shù)學(xué)論文《左右殆[dài]周期性的等價(jià)》(Equivalence of left and right almost periodicity)在《倫敦?cái)?shù)學(xué)學(xué)會(huì)學(xué)報(bào)》上發(fā)表。同一年，他還發(fā)表了《論高斯誤差函數(shù)》(On the Gaussian error 函數(shù))。因?yàn)檫@篇論文，圖靈當(dāng)選為倫敦國王學(xué)院成立以來最年輕的研究員(Research Fellow)，并于次年榮獲英國著名的史密斯數(shù)學(xué)獎(jiǎng)。1936年，他發(fā)表了第一項(xiàng)重要成就《論可計(jì)算數(shù)及其在判定問題上的應(yīng)用》(On Computational Numbers:with an application to the Enscheidungsproblem)，這篇論文討論了當(dāng)時(shí)數(shù)學(xué)領(lǐng)域非常熱門的話題“可計(jì)算問題”。在這篇論文的附錄里，他描述了一種可以輔助數(shù)學(xué)研究的機(jī)器，當(dāng)時(shí)稱之為“通用機(jī)”(universal machine)，后來被人們稱為“圖靈機(jī)”(Turing machine)。他將邏輯中的任意命題用一種通用的機(jī)器來表示和計(jì)算，并能按照一定的規(guī)則推導(dǎo)出結(jié)論，其結(jié)果是：可計(jì)算函數(shù)可以等價(jià)為圖靈機(jī)能計(jì)算的函數(shù)。這篇論文論證了制造現(xiàn)代通用計(jì)算機(jī)的可能性，圖靈因此被后人稱為“計(jì)算機(jī)科學(xué)之父”。
1936年9月，圖靈應(yīng)邀到美國普林斯頓高級研究院學(xué)習(xí)，在阿朗佐·丘奇(Alonzo Church)的指導(dǎo)下攻讀博士學(xué)位。1937年，圖靈發(fā)表的另一篇文章《可計(jì)算性與λ可定義性》(Computability and λ-definability)為哥德爾的遞歸函數(shù)和阿隆佐·邱奇的λ微積分等模型提供了合理解釋。后來“所有計(jì)算或算法都可以由一臺(tái)圖靈機(jī)來執(zhí)行”的觀點(diǎn)便被稱為“丘奇-圖靈論題”(Church-Turing Thesis，CTT)。1938年，圖靈在普林斯頓大學(xué)獲得博士學(xué)位，主要工作為純粹數(shù)學(xué)和早期的密碼研究，博士論文題目為《以序數(shù)為基礎(chǔ)的邏輯系統(tǒng)》(Systems of Logic Based on Ordinals)。他只用了18個(gè)月就獲得了博士學(xué)位，普通人則通常需要至少3年時(shí)間。
二戰(zhàn)時(shí)期
畢業(yè)后，26歲的圖靈回到劍橋大學(xué)大學(xué)，并于1939年開始在政府密碼學(xué)校(GC&CS)工作，幫助破譯加密的信息。1939年8月英國對德宣戰(zhàn)前幾周，政府密碼學(xué)校遷至布萊切利園。9月4日，也就是英國向德國宣戰(zhàn)的次日，圖靈到布萊切利園報(bào)到。第二次世界大戰(zhàn)期間，德軍使用一種叫做恩尼格瑪（Enigma，也譯作“謎”）的密碼機(jī)傳遞軍事情報(bào)。這種密碼機(jī)配置有一套接線裝置及多個(gè)轉(zhuǎn)子，密碼員每日通過調(diào)整接線與轉(zhuǎn)子的排列順序即可更換加密方式，由此顯著提升了破解難度。最初在1932年底，由波蘭三杰之一的馬里安·雷耶夫斯基(Marian Rejewski)團(tuán)隊(duì)成功破解了恩尼格瑪密碼機(jī)。1938年德國人更改了系統(tǒng)，而波蘭人在1938年底發(fā)明出一臺(tái)名為“密碼炸彈”(Bomba Kryptologiczna)的密碼破譯機(jī)。但這時(shí)波蘭很快被攻陷，波蘭人在被德國和蘇聯(lián)占領(lǐng)前夕，把“密碼炸彈”交給英國，由布萊切利園繼續(xù)開發(fā)。
在1940年春天，圖靈和其他人設(shè)計(jì)了一種能夠破解恩尼格瑪?shù)臋C(jī)器，稱為“炸彈”（Bombe，也有部分文獻(xiàn)譯為“甜點(diǎn)”）。它約含有33個(gè)由電力驅(qū)動(dòng)的密鑰輪，有時(shí)只需10分鐘就能找到密鑰輪正確的順序。在戰(zhàn)爭的剩余時(shí)間里，“炸彈”為盟軍提供了大量的軍事情報(bào)，圖靈設(shè)計(jì)的“炸彈”機(jī)器每月能破譯多達(dá)8400條恩尼格瑪密碼機(jī)的加密信息。這其中包括圖靈和他的團(tuán)隊(duì)及時(shí)成功地破解了U型潛艇與德國控制中心之間的通信。在已破解的恩尼格瑪材料，以及圖靈開發(fā)的一種量化證據(jù)權(quán)重的方法——他稱之為“班布里斯穆斯”(Banburismus)——的幫助下，德國海軍加密信息從1941年開始被成功解讀。隨著U型潛艇暴露位置，護(hù)航隊(duì)可以更好地保護(hù)商船在大西洋中的航行，保障英國戰(zhàn)時(shí)物資的運(yùn)輸。1942年，圖靈還設(shè)計(jì)了第一種系統(tǒng)的方法來破解德國的“鮪魚”(Tunny)密碼機(jī)。“金槍魚”通信網(wǎng)絡(luò)是現(xiàn)代移動(dòng)電話網(wǎng)絡(luò)的先驅(qū)，它能夠橫跨歐洲和北非連通德軍最高司令部與前線。圖靈破解“金槍魚”的方法在布萊切利園被稱為“圖靈方法”(Turingery)。之后圖靈方法又被應(yīng)用到第一臺(tái)大型電子計(jì)算機(jī)“巨人”(Colossus)中，布萊切利園成為世界上第一個(gè)電子計(jì)算設(shè)備的運(yùn)行場所。該方法讓盟軍對德國的戰(zhàn)略有了更深入的了解，同時(shí)也改變了戰(zhàn)爭的進(jìn)程。在1943年，“巨人”將每月破譯的情報(bào)數(shù)量提升到84000條，每分鐘2條。戰(zhàn)爭后期，在研究了溫斯頓·丘吉爾和富蘭克林·羅斯福之間用于通信的SIGSALY語音編碼系統(tǒng)后，圖靈開發(fā)了一種語音安全系統(tǒng)，他將其命名為“黛利拉”(Delilah)。盡管它從未在戰(zhàn)爭期間用于作戰(zhàn)，但它是語音數(shù)字化的第一個(gè)例子。1946年，圖靈被授予大英帝國勛章，以表彰他在戰(zhàn)時(shí)的貢獻(xiàn)。
在布萊切利園工作期間的1941年春，圖靈向他的同事瓊·克拉克(Joan Clarke)求婚，她在被聘來做解碼工作前在劍橋大學(xué)研究數(shù)學(xué)。求婚幾天后，圖靈向她坦白自己有同性戀傾向。克拉克雖然有些擔(dān)心，但依然將感情維持了下去。但六個(gè)月后，圖靈感到這段感情不會(huì)圓滿收場，便結(jié)束了這段感情。
戰(zhàn)后工作
1945年戰(zhàn)爭結(jié)束后，倫敦國家物理實(shí)驗(yàn)室(NPL)新成立的數(shù)學(xué)部門負(fù)責(zé)人約翰·沃默斯利(John Womersley)認(rèn)識到圖靈的能力，邀請他加入NPL進(jìn)行設(shè)計(jì)和構(gòu)建自動(dòng)計(jì)算引擎(Automatic Computing En-gine，ACE)計(jì)算機(jī)。圖靈在NPL制定了ACE的第一個(gè)計(jì)劃，并在子程序設(shè)計(jì)方面進(jìn)行了大量開創(chuàng)性工作。與此同時(shí)，與圖靈一起破譯德軍密碼的同事馬克斯·紐曼(Max Newman)帶著一個(gè)巨人機(jī)去往曼徹斯特大學(xué)，并建立了一個(gè)計(jì)算機(jī)實(shí)驗(yàn)室。1948年6月，第一臺(tái)新型類別的通用計(jì)算機(jī)在曼徹斯特大學(xué)電氣工程系誕生，他們稱這臺(tái)機(jī)器為“小嬰兒”(Baby)。而另一邊，圖靈在倫敦的ACE項(xiàng)目則因延期陷入困境。1947年秋，圖靈離開劍橋大學(xué)大學(xué)休假一年，并于1948年辭職，前往曼徹斯特大學(xué)擔(dān)任高級講師、自動(dòng)數(shù)字計(jì)算機(jī)（Madam）項(xiàng)目的負(fù)責(zé)人助理，具體領(lǐng)導(dǎo)該項(xiàng)目數(shù)學(xué)方面的工作。圖靈抵達(dá)曼徹斯特后，協(xié)助基爾伯恩(Tom Kilburn)編寫了計(jì)算機(jī)程序員手冊的第一版，并擔(dān)任了Ferranti Mark 1開發(fā)的顧問。在他的指導(dǎo)下，倫敦皇家自然知識促進(jìn)學(xué)會(huì)計(jì)算實(shí)驗(yàn)室很快就生產(chǎn)出了世界上第一臺(tái)商業(yè)化的通用電子計(jì)算機(jī)費(fèi)蘭蒂·馬克1號(Ferranti Mark I)。1950年，圖靈編寫并出版了《曼徹斯特電子計(jì)算機(jī)程序員手冊》。同年，圖靈編寫了有史以來第一個(gè)國際象棋計(jì)算機(jī)程序，他稱之為“Turbochamp”，并試圖在Ferranti Mark I上運(yùn)行，但沒有成功。1950年10月，圖靈發(fā)表了一篇題為《計(jì)算機(jī)器與智能》(Computing Machinery and Intelligence)的論文，首次提出機(jī)器具備思維的可能性。他在其中提出了一個(gè)被稱為“圖靈測試”(The Turing test)的概念，探討“機(jī)器能思考嗎”這個(gè)問題。這篇論文為他獲得了“人工智能之父”的稱號。
圖靈在曼徹斯特度過了他短暫職業(yè)生涯的剩余時(shí)間。1951年3月15日，圖靈因其在可計(jì)算數(shù)方面所做的工作，當(dāng)選為倫敦皇家自然知識促進(jìn)學(xué)會(huì)會(huì)員，舉薦他的是馬克斯·紐曼和伯特蘭·阿瑟·威廉·羅素(Bertrand Russell)。之后，他開始研究理論生物學(xué)。1952年，圖靈在《皇家學(xué)會(huì)學(xué)報(bào)》上發(fā)表了關(guān)于生物形態(tài)發(fā)生理論的論文《形態(tài)發(fā)生的化學(xué)基礎(chǔ)》(The Chemical Basis of Morphogenesis)。他認(rèn)為，一個(gè)化學(xué)物質(zhì)相互反應(yīng)并在空間中擴(kuò)散的系統(tǒng)，稱為反應(yīng)-擴(kuò)散系統(tǒng)，可以解釋“形態(tài)發(fā)生的主要現(xiàn)象”。1953年5月15日，曼徹斯特大學(xué)委員會(huì)進(jìn)行正式投票，任命圖靈為計(jì)算機(jī)理論教授，從他原有的五年任期結(jié)束后開始生效。如果圖靈愿意的話，至少在10年之內(nèi)他都可以一直擁有這個(gè)職位。
不幸離世
在曼徹斯特期間，圖靈結(jié)識了一位名叫阿諾德·默里(Arnold Murray)的男性，并與之發(fā)展為伴侶。1953年1月，圖靈家里被盜，警察調(diào)查案件的過程中發(fā)現(xiàn)了他與默里的戀愛關(guān)系，隨后圖靈因同性戀傾向被定為嚴(yán)重猥褻罪。判決給予他兩個(gè)選擇：監(jiān)禁兩年或是接受化學(xué)閹割，圖靈選擇了后者，于是他被注射了合成雌性激素。由于這個(gè)罪名，圖靈的擇業(yè)范圍變得很狹窄，他被禁止繼續(xù)為政府通信總部(GCHQ)提供密碼咨詢服務(wù)，并被美國禁止入境。1954年6月7日，圖靈在家中被發(fā)現(xiàn)因氰[qíng]化鉀中毒死亡，床邊放著一只被咬了一小半的蘋果，享年41歲。官方的判決是自殺，但他的母親認(rèn)為，他是在一次化學(xué)實(shí)驗(yàn)中意外攝入氰化物的。因?yàn)樗诩依锎罱艘惶捉o湯匙鍍金的裝置，其中需要用氰化鉀來溶解黃金。同時(shí)，圖靈沒有留下遺書，并且他的遺物中還有一個(gè)在即將到來的周末假期要完成的任務(wù)清單。在他去世之前，圖靈在圣安內(nèi)斯的一日游中堅(jiān)持要去看一位算命先生。雖然不知道他們討論了什么，但與他在一起的人聲稱說，圖靈從帳篷里出來時(shí)情緒變得低沉。有人認(rèn)為他的去世與這件事有關(guān)。
2009年，時(shí)任首相戈登·布朗(Gordon Brown)代表女王陛下政府就“圖靈所受的駭人聽聞的對待方式”作出正式道歉。2013年，伊麗莎白·亞歷山德拉·瑪麗·溫莎向圖靈追加了“皇家赦免令”，赦免令說，“圖靈對戰(zhàn)爭的卓越貢獻(xiàn)和在科學(xué)界留下的遺產(chǎn)應(yīng)該被后人銘記和認(rèn)可。”2016年，英國三大情報(bào)機(jī)構(gòu)之一政府通信總部主管羅伯特·漢尼根(Robert Hannigan)表態(tài)，為該情報(bào)機(jī)構(gòu)在20世紀(jì)50年代錯(cuò)誤地對待圖靈表示道歉，“他們遭受折磨，是我們的損失，也是國家的損失”。2017年1月31日，艾倫·圖靈法案生效，約49000位因同性戀定罪者被赦免。
主要成果
圖靈機(jī)
圖靈機(jī)(Turingmachine)，又稱確定型圖靈機(jī)，是圖靈于1936年提出的一種抽象計(jì)算模型，其更抽象的意義為一種數(shù)學(xué)邏輯機(jī)，可以看作等價(jià)于任何有限邏輯數(shù)學(xué)過程的終極強(qiáng)大邏輯機(jī)器。它工作原理是：圖靈機(jī)可以按照規(guī)則表的規(guī)定讀取和更改無限長磁帶上的符號。磁帶是由一個(gè)個(gè)“單元格”組成，每個(gè)單元格只能存儲(chǔ)一個(gè)符號。圖靈機(jī)用磁帶頭讀取和重寫單元格的內(nèi)容。規(guī)則表中的每條規(guī)則都會(huì)決定圖靈機(jī)應(yīng)該根據(jù)它當(dāng)前的狀態(tài)和正在讀取的符號來做什么。圖靈機(jī)可能遇到規(guī)則表中沒有列出的狀態(tài)、符號組合而停機(jī)，也可以基于它停止的位置來進(jìn)入最終狀態(tài)（“接受狀態(tài)”或“拒絕狀態(tài)”），決定接受或拒絕輸入；或者圖靈機(jī)陷入無限循環(huán)并永不停歇地讀取磁帶。
除了回答基本問題之外，圖靈機(jī)還通過一種稱為通用圖靈機(jī)的變體直接影響了現(xiàn)代計(jì)算機(jī)的發(fā)展。它是一種特殊的圖靈機(jī)，可以模擬任何其他圖靈機(jī)的任何輸入。它可以讀取其它圖靈機(jī)的描述（以及規(guī)則和輸入盒式錄音磁帶）并在自己的輸入磁帶上模擬它們的行為，與模擬機(jī)器輸出相同的輸出結(jié)果，就像今天的計(jì)算機(jī)可以讀取任何程序并執(zhí)行它一樣。
最先實(shí)現(xiàn)“存儲(chǔ)程序式”計(jì)算機(jī)的是EDSAC( Electronic Delay Storage AutomaticCalculator)，它采用水銀延遲線做存儲(chǔ)器，可存儲(chǔ)512個(gè)34bit字長的字，研制者是英國劍橋大學(xué)威爾克斯(M.V. Wilkes)。但是他的設(shè)計(jì)思想完全來自馮·諾伊曼(John von Neumann)的EDVAC的設(shè)計(jì)。而馮·諾伊曼的設(shè)計(jì)思想?yún)s又來自圖靈1936年的文章中引入的概念——圖靈機(jī)器和通用圖靈機(jī)。之所以很快由硬件連線構(gòu)成的專用計(jì)算機(jī)過渡到“存儲(chǔ)程序式”的通用計(jì)算機(jī)，這歸功于通用圖靈機(jī)概念的引入，圖靈機(jī)理論奠定了通用電子計(jì)算機(jī)設(shè)計(jì)的理論基礎(chǔ)。而馮·諾伊曼生前也強(qiáng)調(diào)，所謂存儲(chǔ)程序就是通用圖靈機(jī)。
圖靈機(jī)模型是最為廣泛應(yīng)用的經(jīng)典計(jì)算模型。截至2017年，尚未找到其它的計(jì)算模型（包括量子計(jì)算機(jī)在內(nèi)）可以計(jì)算圖靈機(jī)無法計(jì)算的問題。圖靈停機(jī)問題開啟了可計(jì)算性理論的序幕，這是計(jì)算學(xué)科最核心的理論之一。圖靈機(jī)提出了可以用計(jì)算機(jī)解決的問題的判定方法，為計(jì)算機(jī)編程語言的發(fā)展奠定了基礎(chǔ)。此外，圖靈機(jī)也為現(xiàn)代計(jì)算機(jī)提供了理論原型。
丘奇-圖靈論題
戴維·希爾伯特(David Hilbert)于1928年提出了著名的“判定性問題”(Entscheidungs problem)：是否存在一系列有限的步驟，它能判定任意一個(gè)給定的數(shù)學(xué)命題的真假？丘奇和圖靈在1936-1937年各自獨(dú)立解決了這一問題。他們的主要貢獻(xiàn)在于將“判定性問題”形式化，詳細(xì)定義了何為“一系列有限的步驟”。丘奇描述“有限的步驟”的模型為算子(-Calculus)，而圖靈描述“有限的步驟”的模型為圖靈機(jī)(Turing Machine)。1937年，圖靈發(fā)表論文《可計(jì)算性與λ可定義性》(Computability and λ-definability)為哥德爾的遞歸函數(shù)和阿隆佐·邱奇的λ微積分等模型提供了合理解釋。后來著名的“丘奇-圖靈論題”說明了“λ演算、遞歸函數(shù)和圖靈可計(jì)算是等價(jià)的”，即：所有可計(jì)算或是機(jī)械程序可計(jì)算的函數(shù)，恰好就是用一般遞歸函數(shù)去逼近無限。也可以說，“所有計(jì)算或算法都可以由一臺(tái)艾倫·圖靈機(jī)來執(zhí)行。”
圖靈測試
1950年10月，圖靈發(fā)表了一篇題為《計(jì)算機(jī)器與智能》的論文，首次提出機(jī)器具備思維的可能性。他分析并駁斥了9種對思維機(jī)器的反對意見，主張教機(jī)器學(xué)習(xí)，只要機(jī)器在語言行為（對話）上和人沒有明顯差別，就應(yīng)該算是能思維或有智能了。他在其中提出了一個(gè)被稱為“圖靈測試”(The Turing test)的概念，探討“機(jī)器能思考嗎”這個(gè)問題。“圖靈測試”，也就是圖靈所說的“模仿游戲”，是判斷電腦是否具有人工智能最權(quán)威的測試：在測試人與被測試者（一個(gè)人和一臺(tái)機(jī)器）隔開的情況下，通過一些裝置（如鍵盤）向被測試者隨意提問。在問過一些問題后，如果測試人不能確認(rèn)被測試者30%的答復(fù)哪個(gè)是人的回答、哪個(gè)是機(jī)器的回答，那么這臺(tái)機(jī)器就通過了測試，并被認(rèn)為具有人工智能。他還認(rèn)為可以編制一個(gè)“兒童程序”，然后對其進(jìn)行教育（指導(dǎo)學(xué)習(xí)、自主學(xué)習(xí)）以達(dá)到成人的智力水平。
雖然圖靈于1954年早早離世，但他提出的著名命題(“Can machine think？”)引起了人們對機(jī)器智能的極大興趣。他離開后，人工智能逐漸進(jìn)入了實(shí)踐研制階段。2017年10月15日，女王陛下政府發(fā)布了一份名為《發(fā)展英國人工智能產(chǎn)業(yè)》(Growing the Artificial Intelligence Industry in the UK)的報(bào)告。該報(bào)告稱：英國計(jì)算機(jī)科學(xué)家艾倫·圖靈被廣泛認(rèn)為是人工智能的發(fā)起者。
數(shù)理生物學(xué)
圖靈是最早提出可以用數(shù)學(xué)方法研究生物現(xiàn)象的人之一。1952年，圖靈發(fā)表了關(guān)于生物形態(tài)發(fā)生理論的論文《形態(tài)發(fā)生的化學(xué)基礎(chǔ)》(The Chemical Basis of Morphogenesis)。他認(rèn)為，一個(gè)化學(xué)物質(zhì)相互反應(yīng)并在空間中擴(kuò)散的系統(tǒng)，稱為反應(yīng)-擴(kuò)散系統(tǒng)，可以解釋“形態(tài)發(fā)生的主要現(xiàn)象”。這是一門在數(shù)學(xué)上的通論，被公認(rèn)為對生物發(fā)展的理解的里程碑。他提出，自然界中復(fù)雜圖案的形成原理和化學(xué)中反應(yīng)-擴(kuò)散機(jī)制一樣，是由系統(tǒng)內(nèi)兩種物質(zhì)在空間上的尺度依賴反饋引起空間均勻態(tài)失穩(wěn)，而導(dǎo)致了對稱性破缺，從而使得系統(tǒng)內(nèi)自組織產(chǎn)生一些空間定態(tài)圖案。這個(gè)過程及其所形成的圖案被后人稱為圖靈斑圖(Turing Pattern)。研究表明，圖靈斑圖廣泛存在于生物學(xué)界中，如老虎和斑馬魚的條紋，豹子身上的斑點(diǎn)以及鱷魚牙齒排列的間距等現(xiàn)象。由于地球演化過程發(fā)展緩慢，其地表圖案形成背后的物理機(jī)制尚不明確。已有理論模型認(rèn)為，差異性凍脹、空間側(cè)向擠壓是導(dǎo)致地表顆粒物質(zhì)自組織運(yùn)動(dòng)的主要機(jī)制，但該模型缺乏實(shí)驗(yàn)證據(jù)。所以盡管圖靈斑圖可以提供一個(gè)統(tǒng)一框架來思考一般的斑圖，但圖靈的模型（或事實(shí)上任何通用模型）都無法在任何特定情況下提供完整的解釋。
主要論文
《論可計(jì)算數(shù)及其在判定問題上的應(yīng)用》
1936年，圖靈發(fā)表論文《論可計(jì)算數(shù)及其在判定問題中的應(yīng)用》(On Computable Numbers, with an Application to the Entscheidungsproblem)。這篇的論文提出了“可計(jì)算性”理論，是其后續(xù)系列研究的理論基石，被譽(yù)為計(jì)算機(jī)科學(xué)開山之作。在這篇論文的附錄里，他還描述了一種可以輔助數(shù)學(xué)研究的機(jī)器，后來被人們稱為“圖靈機(jī)”。他將邏輯中的任意命題用這種通用的機(jī)器來表示和計(jì)算，并能按照一定的規(guī)則推導(dǎo)出結(jié)論，其結(jié)果是：可計(jì)算函數(shù)可以等價(jià)為圖靈機(jī)能計(jì)算的函數(shù)。換句話說，圖靈機(jī)能計(jì)算的函數(shù)便是可計(jì)算的函數(shù)，圖靈機(jī)無法計(jì)算的函數(shù)便是不可計(jì)算的函數(shù)。?
《計(jì)算機(jī)器與智能》
1950年，圖靈發(fā)表了論文《計(jì)算機(jī)器與智能》(Computing Machinery and Intelligence)，在論文中提出了“機(jī)器會(huì)思考嗎？”(“Can machine think？”)的疑問。他在文中預(yù)言了創(chuàng)造出具有真正智能的機(jī)器的可能性，并提出了著名的圖靈測試：如果第三者無法辨別人類與人工智能機(jī)器反應(yīng)的差別，則可以論斷該機(jī)器具備人工智能。這一論文被廣泛認(rèn)為是人工智能研究的基礎(chǔ)。圖靈在論文中也對一些對立意見作出了回答。比如一些人提出機(jī)器的能力有限，圖靈認(rèn)為大部分機(jī)器的能力限制與機(jī)器儲(chǔ)存量太小有關(guān)，他設(shè)想儲(chǔ)存量這個(gè)概念可以通過某種方式進(jìn)行擴(kuò)充。機(jī)器不能成為思維的主體也時(shí)常被提起，圖靈對此頗有展望，他認(rèn)為機(jī)器能夠通過觀察自己行為的結(jié)果，修改自己的程序，以便更有效地達(dá)到某種目的。
社會(huì)職務(wù)
榮譽(yù)獎(jiǎng)項(xiàng)
人物事件
熱愛長跑
圖靈是一位出色的長跑愛好者，他說過：“我的工作壓力很大，唯一能讓我忘掉它的方法就是努力跑步，這是我獲得釋放的唯一途徑。”他在劍橋大學(xué)國王學(xué)院時(shí)，會(huì)沿著劍橋和伊利(Ely)之間的河邊步道奔跑。后來學(xué)校為紀(jì)念他也在這里舉辦一年一度的“圖靈接力賽”。在布萊切利園工作時(shí)，圖靈偶爾會(huì)跑40英里到倫敦參加會(huì)議。他甚至參加了1948年英國奧運(yùn)會(huì)代表隊(duì)的選拔賽，但當(dāng)天由于傷病，沒有獲得參賽資格。然而，他的馬拉松選拔賽成績只比英國銀牌得主托馬斯·理查茲(Thomas Richards)慢了11分鐘。
樂于助人
1939年，圖靈和朋友得知哈維奇難民營有兩名猶太男孩，他們被貴格會(huì)救濟(jì)行動(dòng)組織帶到了英國，于是他們決定提供幫助。他們騎車前往難民營，并各自同意資助一名兒童。圖靈幫助這名兒童進(jìn)入蘭開夏郡的學(xué)校學(xué)習(xí)，并對他的教育和隨后的職業(yè)生涯保持著關(guān)注。
相關(guān)人物
圖靈與約翰·馮·諾依曼
馮·諾伊曼(John von Neumann)欣賞并提攜了圖靈。在圖靈1936年那篇論文剛發(fā)表時(shí)，馮·諾伊曼并沒有立即意識到這篇文章的重要性。他在給圖靈寫?yīng)剬W(xué)金推薦信時(shí)，提到了圖靈在自己感興趣的幾個(gè)領(lǐng)域里展現(xiàn)的才能，卻沒有提及邏輯和圖靈機(jī)。但在得知圖靈機(jī)的那一刻，他立即認(rèn)為圖靈機(jī)比自己的遞歸函數(shù)更令人信服。在1938年圖靈回英國前，馮·諾伊曼曾想把圖靈留在普林斯頓大學(xué)做自己的助手，但已經(jīng)對美國生活厭惡的圖靈婉拒了。馮·諾伊曼生前向他的同事多次強(qiáng)調(diào)，計(jì)算機(jī)中那些沒有被巴貝奇(Charles Babbage)預(yù)見到的概念都應(yīng)該歸功于圖靈，所謂存儲(chǔ)程序就是通用圖靈機(jī)。
圖靈與家人
艾倫·圖靈的父親是英國在印度文職機(jī)構(gòu)的一名官員，母親薩拉是南印度鐵路總師的女兒。夫婦二人在倫敦生下了圖靈后不久便返回印度，幼小的圖靈和哥哥被留在英國，每日往返于親戚家與學(xué)校之間。圖靈因?yàn)槟晟贂r(shí)缺少父母陪伴，性格也變得孤僻封閉。他的母親回憶稱，在她再次離開英國前往印度的時(shí)候，“圖靈沖上學(xué)校車道，張開雙臂，想要追上我們逐漸消失的出租車。”圖靈很聰明，喜歡數(shù)學(xué)，但在哥哥的眼里，他只是一個(gè)“骯臟的家伙”“行為討厭的數(shù)學(xué)瘋子”。但在曼徹斯特期間，圖靈每月從工資中拿出50英鎊的津貼寄給母親。同時(shí)，圖靈也為養(yǎng)父母的女兒，在非洲做志愿工作的黑澤爾·沃德(Hazel Ward)提供了經(jīng)濟(jì)支持。
后世紀(jì)念
圖靈獎(jiǎng)
為紀(jì)念圖靈在計(jì)算機(jī)領(lǐng)域的卓越貢獻(xiàn)，美國計(jì)算機(jī)協(xié)會(huì)(ACM)于1966年設(shè)立“圖靈獎(jiǎng)”(The A.M.Turing Award)，獎(jiǎng)勵(lì)那些推動(dòng)計(jì)算機(jī)技術(shù)發(fā)展作出卓越貢獻(xiàn)的杰出科學(xué)家。圖靈獎(jiǎng)一般每年只獎(jiǎng)勵(lì)一名計(jì)算機(jī)科學(xué)家，只有極少數(shù)年度有兩名合作者或在同一方向作出貢獻(xiàn)的科學(xué)家共享此獎(jiǎng)。因此它是計(jì)算機(jī)界最負(fù)盛名、最崇高的一個(gè)獎(jiǎng)項(xiàng)，有“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”之稱。
《艾倫·圖靈傳》
安德魯·霍奇斯(Andrew Hodges)最早出版了一部圖靈的權(quán)威傳記《艾倫·圖靈傳：如謎的解謎者》，霍奇斯的這本傳記第一次發(fā)表的時(shí)候是1983年。他曾在當(dāng)時(shí)的版本里說，隨著社會(huì)的進(jìn)步，圖靈的意義會(huì)越來越重要。他創(chuàng)作的這本傳記帶動(dòng)了很多關(guān)于圖靈作品的問世，其中包括1986年的舞臺(tái)劇《破解密碼》等。
紀(jì)念雕像
位于英格蘭米爾頓·凱恩斯的布萊切利園(Bletchley Park)里豎立著一座圖靈的塑像，以紀(jì)念這位計(jì)算機(jī)科學(xué)與人工智能之父，以及盟軍取得第二次世界大戰(zhàn)勝利的大功臣。
2013年12月，伊麗莎白·亞歷山德拉·瑪麗·溫莎正式為圖靈平反，在曼徹斯特的圖靈故居前也豎起了紀(jì)念圖靈的銅牌與銅像。
2021年6月，艾倫·圖靈的銅像在他的中學(xué)母校多塞特郡謝伯恩市謝伯恩學(xué)校揭幕。當(dāng)?shù)鼐用馣athryn Ballisat受圖靈的故事和他與小鎮(zhèn)的聯(lián)系啟發(fā)，委托創(chuàng)作了這部作品。雕塑家David Williams Ellis和圖靈的侄子德莫特·圖靈為半身像揭幕。
影視改編
《破解密碼》
戲劇《破解密碼》是休·懷特摩爾(Hugh Whitemore)1986年寫的一部關(guān)于圖靈的戲劇，在倫敦西區(qū)和百老匯上演。圖靈由德里克·雅各比(Derek Jacobi)扮演。該劇獲得了三項(xiàng)托尼獎(jiǎng)提名。
《密碼破譯者》
電影《密碼破譯者：布萊切利莊園的幕后英雄》(Timewatch-Code-Breakers: Bletchley Park's Lost Heroes)介紹了一個(gè)第二次世界大戰(zhàn)背后的秘密故事。在二戰(zhàn)期間，在英國的破譯基地布萊切利進(jìn)行密碼破譯并且創(chuàng)造奇跡的關(guān)鍵人物，除了圖靈，還有另外兩個(gè)人物——英國數(shù)學(xué)家Bill Tutte和英國郵政局的工程師Tommy Flowers。1943年，一名24歲的數(shù)學(xué)系學(xué)生和一名工程師聯(lián)手破解了阿道夫·希特勒的超級密碼機(jī)，他們稱之為“秘密作家”。他們的突破扭轉(zhuǎn)了庫爾斯克會(huì)戰(zhàn)，為D日登陸提供了動(dòng)力，并策劃了歐洲沖突的結(jié)束。但“秘密作家”也被用于美蘇冷戰(zhàn)期間，這意味著兩人的成就都被掩蓋了，從未得到官方承認(rèn)。
《模仿游戲》
由莫騰·泰杜姆(Morten Tyldum)執(zhí)導(dǎo)，改編自安德魯·霍奇斯編著的傳記《艾倫·圖靈傳》的電影《模仿游戲》于2014年11月28日登陸北美院線。本尼迪克特·康伯巴奇(Benedict Cumberbatch)飾演主人公艾倫·圖靈。故事主要聚焦于天才數(shù)學(xué)家艾倫·圖靈協(xié)助盟軍破譯德國密碼系統(tǒng)恩尼格瑪，從而扭轉(zhuǎn)第二次世界大戰(zhàn)戰(zhàn)局的經(jīng)歷。《模仿游戲》于2015年獲得第87屆奧斯卡最佳改編劇本獎(jiǎng)。
文學(xué)作品
圖靈出現(xiàn)在很多小說的書名中。馬文·明斯基(Marvin Lee Minsky)與科幻小說家哈里·哈里森(Harry Max Harrison)合寫了《圖靈選擇》。伯克利計(jì)算機(jī)科學(xué)教授克里斯托斯·帕帕迪米特里歐(Christos H.Papadimitriou)參與創(chuàng)作了一部關(guān)于計(jì)算的小說《圖靈》。在珍娜·列文(Janna Levin)的小說《圖靈機(jī)狂人夢》中，圖靈和庫爾特·卡塞雷斯(Kurt G?del)的生活被虛構(gòu)在了一起，他們穿越時(shí)空，產(chǎn)生了奇特的交織。
新鈔肖像人物
2018年，英格蘭銀行決定在新版50英鎊紙幣上使用科學(xué)領(lǐng)域突出貢獻(xiàn)者肖像，并由公眾進(jìn)行提名；2019年7月15日，英國揭曉50鎊新鈔，有“人工智能之父”之稱的科學(xué)家圖靈成為新鈔的肖像人物。在已公布的紙幣設(shè)計(jì)圖上，包含了當(dāng)時(shí)圖靈用來破譯德軍密碼所使用的機(jī)器和一串藏有他生日日期的二進(jìn)制編碼。紙幣上面印著一句圖靈在1949年對英國泰晤士報(bào)所說的話：“This is only a foretaste of what is to come，and only the shadow of what is going to be（這不過是將來之事的前奏，也是將來之事的影子）。”2021年6月23日，在圖靈誕辰109周年之際，新版50英鎊紙幣開始流通。同一天，一幅以圖靈為主題的巨型藝術(shù)作品在英國政府通信總部亮相，以紀(jì)念他第二次世界大戰(zhàn)期間破解德軍密碼的卓越貢獻(xiàn)。英國中央銀行英格蘭銀行行長安德魯·貝利說：“把他印在新紙幣上，是對他為社會(huì)所作貢獻(xiàn)的肯定，對他卓越一生的紀(jì)念。”
網(wǎng)絡(luò)空間《Ill Bethisad》
Ill Bethisad是一個(gè)合作的替代歷史項(xiàng)目，最初由新西蘭的Andrew Smith于1997年創(chuàng)建。在Ill Bethisad的替代歷史中，艾倫·圖靈幾乎和現(xiàn)實(shí)生活中的圖靈一樣，是一位數(shù)學(xué)家、計(jì)算機(jī)科學(xué)家、邏輯學(xué)家，虛構(gòu)的替代宇宙版本的圖靈也設(shè)計(jì)了圖靈機(jī)。但在Ill Bethisad的替代歷史中，圖靈1947年搬到了維多利亞大學(xué)開發(fā)馬菲克Marc I，然后成為世界上最早的計(jì)算機(jī)之一，最終去世于1983年。
以圖靈命名
圖靈架構(gòu)：2018年，英偉達(dá)新一代顯卡GPU架構(gòu)以Turing?（圖靈）命名。
艾倫·圖靈研究所：2015年，英國工程和自然科學(xué)研究委員會(huì)(EPSRC)聯(lián)合劍橋大學(xué)、愛丁堡、牛津大學(xué)、華威大學(xué)與倫敦大學(xué)學(xué)院這5所英國名校一起，出資4200萬美元成立了艾倫·圖靈研究所，研究AI在國防安全、健康、計(jì)算技術(shù)、數(shù)據(jù)中心工程，以及金融和智能城市等領(lǐng)域的應(yīng)用，并幫助培訓(xùn)新一代數(shù)據(jù)科學(xué)家。圖靈研究所位于大英圖書館的一樓。
艾倫·圖靈大樓：曼徹斯特大學(xué)耗資4300萬英鎊建造的艾倫·圖靈大樓于2007年竣工，其中有數(shù)學(xué)系、光子科學(xué)研究所和喬德雷爾銀行天體物理中心。
圖靈街：在斯特拉特福德(Stratford)的奧林匹克公園有一條E20圖靈街。
圖靈學(xué)校：圖靈學(xué)校是一所中學(xué)，位于英國東薩塞克斯郡的Shinewater/Langney地區(qū)。
人物評價(jià)
圖靈的工作將第二次世界大戰(zhàn)至少縮短了兩年，挽救了超過1400萬人的生命。——哈里·欣斯利(Harry Hinsley)（戰(zhàn)爭歷史學(xué)家）
圖靈在破解第二次世界大戰(zhàn)德軍密碼、拯救國家上發(fā)揮了關(guān)鍵作用，是一個(gè)“了不起的人”。——戴維·卡梅倫(David Cameron)（英國前首相）
“艾倫·圖靈是為數(shù)不多的人之一，你可以說，如果他活得更長，世界就會(huì)變得不同。”——加里·卡斯帕羅夫(Garry Kasparov)（國際象棋特級大師）
“作為計(jì)算機(jī)科學(xué)和人工智能技術(shù)之父，艾倫·圖靈所做出的貢獻(xiàn)不僅影響深遠(yuǎn)，而且是富有開創(chuàng)性的。”——馬克·卡尼(Mark Carney)（英格蘭銀行行長）
“一個(gè)古怪的不信上帝的同性戀，一個(gè)成就輝煌的英國數(shù)學(xué)家，兩頂大帽子把圖靈扣得好生糾結(jié)。然而，他卻肩負(fù)著兩項(xiàng)偉大的歷史使命，一邊是計(jì)算機(jī)科學(xué)中最有詩意的概念和理論，一邊是在第二次世界大戰(zhàn)時(shí)為世界和平而解謎。”——道格拉斯·郝夫斯臺(tái)特(Douglas Hofstadter)（《哥德爾·艾舍爾·巴赫》作者、人工智能專家）
圖靈“有著敏銳的正義感，只要有可能，他就會(huì)盡可能地幫助別人”。——德莫特·圖靈(Dermot Turing)（艾倫·圖靈的侄子）
參考資料 >
人工智能之父:紀(jì)念阿蘭· 圖靈誕辰100周年.IT之家.2023-07-31
英“計(jì)算機(jī)科學(xué)之父”半世紀(jì)后雪沉冤.青年參考.2023-07-27
歷史上的今天 | 計(jì)算機(jī)科學(xué)之父圖靈逝世.搜狐網(wǎng).2023-07-26
圖靈如何改變了我們的世界?.新浪財(cái)經(jīng).2023-07-26
跨越邊界——向圖靈致敬.中國科學(xué)院.2023-07-26
英國女王特赦因同性戀被定罪的計(jì)算機(jī)之父圖靈.網(wǎng)易新聞.2023-07-27
用數(shù)學(xué)模型描述生物系統(tǒng)斑圖:生物數(shù)學(xué)模型斑圖動(dòng)力學(xué).騰訊網(wǎng).2023-07-31
他是人工智能之父，曾為二戰(zhàn)立下汗馬功勞，卻因同性戀身份最終咬下毒蘋果.鳳凰網(wǎng).2023-07-27
中國科大成功構(gòu)筑無機(jī)“圖靈結(jié)構(gòu)”催化界面.中國科學(xué)技術(shù)大學(xué)新聞網(wǎng).2023-07-26
賦能上海|人工智能列國志之英國篇:從圖靈到阿爾法狗.澎湃新聞.2023-07-28
Alan Mathison Turing (1912-54).King's College.2023-07-28
【時(shí)間線】真實(shí)的圖靈:并非萬事成謎.界面新聞.2023-07-26
人工智能列國志|英國:“阿法狗”故鄉(xiāng)，AI滲透各科研領(lǐng)域.澎湃新聞.2023-07-26
名人X檔案之艾倫·圖靈|紀(jì)念圖靈誕辰110周年.澎湃新聞.2024-01-17
圖靈如何改變了我們的世界？.百家號.2025-03-12
11.2 圖靈 | 為何被稱為“人工智能之父”?.三聯(lián)生活周刊.2024-04-08
艾倫·圖靈:謎一般的先行者.搜狐.2023-07-28
真愛是否不分性別?圖靈曾因是同性戀而被迫害致死.人民網(wǎng).2023-07-26
時(shí)代變了，“化學(xué)閹割”被“感到驕傲”代替.青年參考.2023-07-26
計(jì)算機(jī)之父圖靈獲英女王赦免 曾因同性戀定罪.新京報(bào).2023-07-27
【史海回眸】人工智能之父是二戰(zhàn)大功臣.新浪財(cái)經(jīng).2023-07-28
“人工智能之父”圖靈：“機(jī)器可以像人類一樣思考” .新華網(wǎng).2023-07-26
當(dāng)你和AI嗨聊的時(shí)候，別忘了本不該這么死去的他.搜狐網(wǎng).2023-07-26
Alan Turing – did you know?.The University of Manchester.2023-08-01
比肩牛頓達(dá)爾文 AI之父圖靈將登上英鎊新鈔.中國新聞網(wǎng).2023-07-26
The Inspiration of Life and Death, 1928-1932.Alan Turing: The Enigma.2023-08-03
“人工智能之父”圖靈電影上映：同性戀被弱化了，偉大沒有.澎湃新聞.2023-07-26
Christopher Morcom (1911-1930).The Old Shirburnian Society.2023-08-02
數(shù)學(xué)家圖靈:成功破譯德國高難度密碼.中國科普網(wǎng).2023-07-26
The Turing Digital Archive.King's College.2023-08-02
數(shù)學(xué)的不完美之美——阿蘭?圖靈與圖靈機(jī).中國科學(xué)院軟件研究所.2023-08-02
On Turing machines.Machine Logic.2023-08-03
Systems of logic based on ordinals.London Mathematical Society.2023-08-02
Alan Turing.NPL.2023-07-28
追憶計(jì)算機(jī)之父艾倫圖靈:在一個(gè)時(shí)刻兩次改變歷史的人-36氪.36氪.2023-07-27
不為人知的布萊切利園.科學(xué)網(wǎng).2023-07-27
圖靈誕辰105周年:以機(jī)器抵抗機(jī)器 以什么抵抗偏見?.界面.2023-08-03
英國情報(bào)機(jī)構(gòu)終于為迫害圖靈道歉.網(wǎng)易.2023-07-27
讓德國引以為傲的恩尼格瑪機(jī)，竟被波蘭的數(shù)學(xué)家成功破譯了.網(wǎng)易.2023-07-27
Bombe.Crypto Museum.2023-08-13
二戰(zhàn)中的波蘭:最早破譯德軍密碼的不是圖靈，而是波蘭數(shù)學(xué)家.澎湃新聞.2023-08-13
二戰(zhàn):美國密碼破譯機(jī)讓戰(zhàn)爭提前兩年結(jié)束(圖).鳳凰網(wǎng).2023-08-13
Alan Turing: The codebreaker who saved 'millions of lives'.BBC News.2023-07-31
How Alan Turing Cracked The Enigma Code.IWM.2023-08-18
Alan Turing's Delilah Report, 6 June 1944.Turing Sources.2023-08-13
DELILAH.TURING a staged case history.2023-08-13
The Imitation Game: Who Was The Real Joan Clarke?.IBtimes.2023-08-03
The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?.Springer.2023-08-03
NPL receives ￡50 note featuring Alan Turing and Pilot ACE from Bank of England.NPL.2023-08-02
Alan Turing: Is he really the father of computing?.BBC News.2023-07-31
Happy birthday, Baby: Tom Kilburn and a new era of computing.NPL.2023-08-02
人工智能的文學(xué)創(chuàng)作：實(shí)踐與問題.中國作家網(wǎng).2023-07-28
Remembering Alan Turing: from codebreaking to AI, Turing made the world what it is today.Wired.2023-08-02
艾倫·圖靈：堪稱二十世紀(jì)最著名的數(shù)學(xué)家之一.央視網(wǎng)經(jīng)濟(jì).2023-07-31
The Chemical Basis of Morphogenesis.Jstor.2023-08-03
The chemical basis of morphogenesis.The Royal Society Publishing.2023-08-02
真愛是否不分性別?圖靈曾因是同性戀而被迫害致死.中國新聞網(wǎng).2023-07-31
圖靈被赦免了“嚴(yán)重猥褻”罪，其他4.9萬人呢?.澎湃新聞.2023-07-31
圖靈: 50英鎊鈔票頭像舍他其誰?.科普時(shí)報(bào).2023-08-13
【固本勵(lì)能·追根溯源】數(shù)學(xué)發(fā)展歷程中的奇聞異事 (二十六).微信公眾平臺(tái).2025-07-28
Alan Turing: Creator of modern computing.BBC.2023-07-31
《圖靈法案》生效 英數(shù)萬名歷史罪人被赦免.BBC News.2023-08-03
「從未被制造出的最重要機(jī)器」，艾倫·圖靈及圖靈機(jī)那些事.機(jī)器之心.2023-07-28
圖靈（Alan Turing）的偉大貢獻(xiàn).中國科學(xué)院國家數(shù)學(xué)與交叉科學(xué)中心.2023-08-14
馮諾伊曼與人工智能.光明網(wǎng).2023-08-01
圖靈機(jī)與控制論之分歧，一切為了人類心智的榮耀!.中國世界史研究網(wǎng).2023-08-14
李德毅院士前瞻性觀點(diǎn)論文:《認(rèn)知物理學(xué)——薛定諤、圖靈和維納的啟示和超越》.澎湃新聞.2023-08-14
生物學(xué)中的數(shù)學(xué):了解不同尺度生物系統(tǒng) 對抗疾病關(guān)鍵.新浪科技.2023-08-14
物理學(xué)和生物學(xué)中的真與美.澎湃新聞.2023-08-14
厲害了!紹興青年人才在國際頂尖學(xué)術(shù)期刊發(fā)表科研成果.浙江新聞官網(wǎng).2023-07-31
RESURRECTION.ComputerConservationSociety.2024-04-08
20世紀(jì)最有影響力的科學(xué)家是？.網(wǎng)易.2023-08-18
美國《時(shí)代》：20世紀(jì)最具影響力的100人，中國僅2人入選.新浪看點(diǎn).2023-08-18
Alan Turing was an excellent?runner.KOTTKE.2023-08-02
Cracking stuff: how Turing beat the Enigma.The University of Manchester.2023-08-01
The philanthropy of Alan Turing.The University of Manchester.2023-08-01
艾倫? 圖靈因性取向遭“化學(xué)閹割”英“計(jì)算機(jī)科學(xué)之父”半世紀(jì)后雪沉冤.新浪網(wǎng).2023-08-14
驚才絕艷——圖解計(jì)算機(jī)之父圖靈的一生.網(wǎng)易科技.2023-07-31
驚才絕艷——圖解計(jì)算機(jī)之父圖靈的一生.網(wǎng)易科技.2023-07-31
Alan Turing: Bust unveiled at Sherborne School.BBC.2023-07-31
Alan Turing: A multitude of lives in fiction.BBC.2023-08-14
Timewatch - Code-Breakers: Bletchley Park's Lost Heroes.BBC.2023-08-14
《模仿游戲》曝新預(yù)告 奈特莉給予卷福精神鼓勵(lì).1905電影網(wǎng).2023-08-01
《模仿游戲》提前觀影 “卷福”自曝哭到無法停止.中國新聞網(wǎng).2023-08-01
第87屆奧斯卡金像獎(jiǎng)完全獲獎(jiǎng)名單.新浪娛樂.2023-08-01
圖靈依然如謎.光明網(wǎng).2023-08-14
英改版50鎊鈔票 “人工智能之父”圖靈肖像登上新鈔.中國新聞網(wǎng).2023-07-26
英國發(fā)行印有著名數(shù)學(xué)家圖靈肖像紙幣.中國新聞網(wǎng).2023-07-26
About: Ill Bethisad.DBpedia.2023-08-14
Alan Turing.Ill Bethisad.2023-08-14
NVIDIA新GPU架構(gòu)為何命名Turing?？.中關(guān)村在線.2023-08-14
人工智能經(jīng)歷快速發(fā)展 英國力爭“世界之最”.中國新聞網(wǎng).2023-08-14
How to get to The Alan Turing Institute.The Alan Turing Institute.2023-08-18
Campus evolution: Maths Tower to the Alan Turing Building.Manchester.2023-08-14
Turing Street, London E20.The lost by way.2023-08-14
The Turing School.The Turing School.2023-08-14
Alan Turing' s 60-year-old chess program takes on Garry Kasparov.The Verge.2023-08-02
“人工智能之父”圖靈登上50英鎊新鈔，比肩牛頓達(dá)爾文.封面新聞.2023-07-26