艾倫(lun)·麥席森(sen)·圖(tu)靈,1912年生于英(ying)國倫(lun)敦。艾倫(lun)·麥席森(sen)·圖(tu)靈少年時就(jiu)表現出(chu)獨特(te)的(de)直(zhi)覺創造能力和對數學的(de)愛好(hao)。
1926年,他考入倫敦有名的舍本(Sherborne)公學(xue)(xue),受到良好的中等教育.他在中學(xue)(xue)期間表現出對自然科學(xue)(xue)的極(ji)大興趣和(he)敏銳的數學(xue)(xue)頭腦。
1927年(nian)末,年(nian)僅(jin)15歲的(de)(de)(de)(de)(de)圖靈(ling)為(wei)了幫助(zhu)母親理解愛因斯(si)坦的(de)(de)(de)(de)(de)相對論,寫(xie)了愛因斯(si)坦的(de)(de)(de)(de)(de)一(yi)部著作的(de)(de)(de)(de)(de)內容提要,表現出他(ta)(ta)已具備非同(tong)凡響的(de)(de)(de)(de)(de)數(shu)學(xue)(xue)(xue)(xue)水(shui)平和科(ke)學(xue)(xue)(xue)(xue)理解力。他(ta)(ta)對自然科(ke)學(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)興趣使(shi)(shi)他(ta)(ta)在1930年(nian)和1931年(nian)兩次獲得他(ta)(ta)的(de)(de)(de)(de)(de)一(yi)位同(tong)學(xue)(xue)(xue)(xue)莫科(ke)姆的(de)(de)(de)(de)(de)父母設立的(de)(de)(de)(de)(de)自然科(ke)學(xue)(xue)(xue)(xue)獎,獲獎工作中有一(yi)篇論文(wen)題(ti)為(wei)“亞硫酸(suan)鹽和鹵(lu)化物在酸(suan)性溶液中的(de)(de)(de)(de)(de)反應(ying)”,受到政府派來(lai)的(de)(de)(de)(de)(de)督(du)學(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)贊賞,對自然科(ke)學(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)興趣為(wei)他(ta)(ta)后來(lai)的(de)(de)(de)(de)(de)一(yi)些研究奠(dian)定(ding)了基(ji)礎,他(ta)(ta)的(de)(de)(de)(de)(de)數(shu)學(xue)(xue)(xue)(xue)能力使(shi)(shi)他(ta)(ta)在念中學(xue)(xue)(xue)(xue)時獲得過(guo)國王愛德(de)華六世(shi)數(shu)學(xue)(xue)(xue)(xue)金盾(dun)獎章。
1931年,圖靈(ling)考(kao)入劍(jian)橋(qiao)大學國王(wang)學院(yuan),由于成(cheng)績優(you)異(yi)而獲得數學獎學金(jin)。在(zai)劍(jian)橋(qiao),他(ta)的數學能(neng)力得到充分的發展。
1935年(nian)(nian),他(ta)(ta)的(de)第一(yi)(yi)篇數(shu)學(xue)論(lun)文(wen)(wen)“左右(you)殆周期性(xing)的(de)等價”發表于《倫敦數(shu)學(xue)會雜志(zhi)》上。同一(yi)(yi)年(nian)(nian),他(ta)(ta)還寫(xie)出“論(lun)高斯誤差函數(shu)”一(yi)(yi)文(wen)(wen)。這一(yi)(yi)論(lun)文(wen)(wen)使他(ta)(ta)由一(yi)(yi)名(ming)大學(xue)生(sheng)直(zhi)接當選為國(guo)王學(xue)院(yuan)的(de)研(yan)究員,并(bing)于次年(nian)(nian)榮獲(huo)英國(guo)著名(ming)的(de)史(shi)密斯(Smith)數(shu)學(xue)獎,成為國(guo)王學(xue)院(yuan)聲名(ming)顯赫的(de)畢業生(sheng)之(zhi)一(yi)(yi)。
1936年5月,圖靈向倫敦(dun)權威的(de)(de)數(shu)學(xue)雜志投了(le)一(yi)篇(pian)論(lun)(lun)文(wen),題為《論(lun)(lun)數(shu)字計算在(zai)決斷難題中的(de)(de)應用》。該(gai)文(wen)于(yu)1937年在(zai)《倫敦(dun)數(shu)學(xue)會文(wen)集》第42期上發表后,立即引起廣(guang)泛的(de)(de)注意。在(zai)論(lun)(lun)文(wen)的(de)(de)附錄里他(ta)描述了(le)一(yi)種(zhong)可以輔助數(shu)學(xue)研究的(de)(de)機(ji)(ji)器(qi),后來被(bei)人稱為“圖靈機(ji)(ji)”,這個(ge)設(she)想(xiang)最(zui)牛(niu)的(de)(de)地方在(zai)于(yu),它第一(yi)次(ci)在(zai)純數(shu)學(xue)的(de)(de)符號(hao)邏輯,和實體世界(jie)之(zhi)間(jian)建立了(le)聯系,后來我們所熟知的(de)(de)電腦,以及還沒有實現的(de)(de)“人工智能”,都基于(yu)這個(ge)設(she)想(xiang)。這是他(ta)人生第一(yi)篇(pian)重(zhong)要論(lun)(lun)文(wen),也是他(ta)的(de)(de)成名之(zhi)作。
1937年,圖(tu)靈發(fa)表的另一篇文章“可計(ji)算性與λ可定義(yi)性”則拓(tuo)廣了(le)丘奇(Church)提出(chu)的“丘奇論(lun)點”,形成“丘奇-圖(tu)靈論(lun)點”,對計(ji)算理論(lun)的嚴格化,對計(ji)算機科學的形成和發(fa)展都具有(you)奠基(ji)性的意義(yi)。
1936年9月,圖靈(ling)應邀(yao)到(dao)美國普林斯頓高(gao)級研(yan)究院學習(xi),并與(yu)丘奇一同(tong)工作。
在美國期間,他對(dui)群(qun)論(lun)作了一些研究,并(bing)撰寫(xie)了博士(shi)論(lun)文。1938年在普林斯頓獲博士(shi)學位,其論(lun)文題目為(wei)“以(yi)序數(shu)(shu)為(wei)基礎(chu)的邏輯系統”,1939年正式發表(biao),在數(shu)(shu)理邏輯研究中(zhong)產(chan)生了深(shen)遠的影響。
1938年夏,圖靈(ling)回到英國(guo),仍在劍橋大(da)學(xue)國(guo)王(wang)學(xue)院任研(yan)究員(yuan),繼續(xu)研(yan)究數理邏輯和計算(suan)理論,同(tong)時(shi)開始了計算(suan)機(ji)的研(yan)制工(gong)作。
第二次(ci)世界(jie)大(da)戰(zhan)打斷(duan)了圖靈的正常研究工(gong)作(zuo)(zuo),1939年(nian)秋,他(ta)(ta)應(ying)召到英(ying)國外交(jiao)部通信處從事軍事工(gong)作(zuo)(zuo),主要是破(po)(po)譯敵方密(mi)碼的工(gong)作(zuo)(zuo)。由于(yu)破(po)(po)譯工(gong)作(zuo)(zuo)的需要,他(ta)(ta)參與了世界(jie)上最早的電子(zi)計算機的研制工(gong)作(zuo)(zuo)。他(ta)(ta)的工(gong)作(zuo)(zuo)取得了極好的成就,因而于(yu)1945年(nian)獲政府(fu)的最高獎——大(da)英(ying)帝國榮譽勛(xun)章(O.B.E.勛(xun)章)。
1945年(nian)(nian),圖(tu)(tu)靈結(jie)束了在(zai)外交部的(de)工(gong)(gong)作(zuo),他(ta)試(shi)圖(tu)(tu)恢復戰前(qian)在(zai)理論計(ji)(ji)算(suan)(suan)機(ji)(ji)科學方(fang)面(mian)的(de)研(yan)(yan)(yan)究,并結(jie)合戰時的(de)工(gong)(gong)作(zuo),具(ju)體研(yan)(yan)(yan)制(zhi)(zhi)出(chu)新的(de)計(ji)(ji)算(suan)(suan)機(ji)(ji)來(lai)。這一想法得到當局的(de)支持。同(tong)年(nian)(nian),圖(tu)(tu)靈被(bei)錄用(yong)為泰丁頓(Teddington)國(guo)家物理研(yan)(yan)(yan)究所(suo)的(de)研(yan)(yan)(yan)究人(ren)員,開始從事“自動計(ji)(ji)算(suan)(suan)機(ji)(ji)”(ACE)的(de)邏輯設(she)計(ji)(ji)和具(ju)體研(yan)(yan)(yan)制(zhi)(zhi)工(gong)(gong)作(zuo)。這一年(nian)(nian),圖(tu)(tu)靈寫出(chu)一份長達50頁的(de)關于ACE的(de)設(she)計(ji)(ji)說(shuo)明書(shu)。這一說(shuo)明書(shu)在(zai)保密了27年(nian)(nian)之后(hou),于1972年(nian)(nian)正式(shi)發表。在(zai)圖(tu)(tu)靈的(de)設(she)計(ji)(ji)思想指導下,1950年(nian)(nian)制(zhi)(zhi)出(chu)了ACE樣機(ji)(ji),1958年(nian)(nian)制(zhi)(zhi)成大型ACE機(ji)(ji)。人(ren)們認(ren)為,通用(yong)計(ji)(ji)算(suan)(suan)機(ji)(ji)的(de)概念就(jiu)是圖(tu)(tu)靈提(ti)出(chu)來(lai)的(de)。
1945年(nian)到1948年(nian),他在英國國家物(wu)理實驗室工作,負責自動(dong)計算引擎的研(yan)究。
1948年,圖(tu)靈接(jie)受(shou)了(le)曼(man)徹斯(si)(si)特大學的(de)(de)高級講師職務,并被指定為曼(man)徹斯(si)(si)特自動數字(zi)計算機(ji)(Madam)項(xiang)目的(de)(de)負責(ze)人助理(li),具(ju)體領(ling)導該項(xiang)目數學方面的(de)(de)工作.作為這一(yi)工作的(de)(de)總結。
1949年成為曼(man)徹斯(si)特大學計算(suan)機(ji)實驗室的(de)副主任,負責最(zui)早的(de)真正(zheng)意義(yi)上(shang)的(de)計算(suan)機(ji)——“曼(man)徹斯(si)特一號(hao)”的(de)軟(ruan)件理(li)論開發,因(yin)此成為世(shi)界上(shang)第一位把(ba)計算(suan)機(ji)實際用于數學研究的(de)科學家(jia)。
1950年,圖(tu)靈編寫并出(chu)版了(le)《曼徹斯特電子(zi)計算機(ji)程(cheng)序(xu)員手冊》(The programmers’handbook for the Manchester electronic computer)。這期間,他繼續進行數理邏輯(ji)方面的理論研究。并提(ti)出(chu)了(le)著名(ming)的“圖(tu)靈測試”。
1950年(nian),他(ta)提出關于機器思維的問題,他(ta)的論文“計(ji)算(suan)機和智能(Computingmachiery and intelligence),引起(qi)了(le)(le)廣泛(fan)的注(zhu)意和深遠的影響。1950年(nian)10月,圖(tu)靈發表論文《機器能思考嗎》。這一劃時代(dai)的作(zuo)品,使圖(tu)靈贏得了(le)(le)“人工智能之(zhi)父”的桂冠。
1951年,由于在可計算數方面(mian)所(suo)取得的成就,成為英國(guo)皇家學會會員,時年39歲。
1952年,他(ta)辭去劍橋大學國(guo)王學院研(yan)究(jiu)(jiu)員的(de)職(zhi)務,專心在曼徹斯(si)特大學工(gong)作(zuo).除(chu)了(le)(le)日(ri)常(chang)工(gong)作(zuo)和研(yan)究(jiu)(jiu)工(gong)作(zuo)之外,他(ta)還(huan)指導一(yi)(yi)(yi)(yi)些博(bo)士(shi)研(yan)究(jiu)(jiu)生(sheng),還(huan)擔任了(le)(le)制造(zao)曼徹斯(si)特自動數字(zi)計算(suan)(suan)機的(de)一(yi)(yi)(yi)(yi)家(jia)公(gong)司(si)——弗蘭蒂公(gong)司(si)的(de)顧問(wen)。1952年,圖靈寫了(le)(le)一(yi)(yi)(yi)(yi)個國(guo)際象(xiang)棋(qi)程序(xu)。可(ke)是,當(dang)時沒有(you)(you)一(yi)(yi)(yi)(yi)臺計算(suan)(suan)機有(you)(you)足(zu)夠的(de)運算(suan)(suan)能(neng)力去執(zhi)行這個程序(xu),他(ta)就模仿計算(suan)(suan)機,每走(zou)一(yi)(yi)(yi)(yi)步要(yao)用半小時。他(ta)與一(yi)(yi)(yi)(yi)位同(tong)事下了(le)(le)一(yi)(yi)(yi)(yi)盤,結果程序(xu)輸(shu)了(le)(le)。后來美國(guo)新墨西哥州洛斯(si)阿拉(la)莫斯(si)國(guo)家(jia)實驗室的(de)研(yan)究(jiu)(jiu)群根據圖靈的(de)理論,在MANIAC上(shang)設(she)計出(chu)世(shi)界上(shang)第一(yi)(yi)(yi)(yi)個電腦程序(xu)的(de)象(xiang)棋(qi)。
1952年,圖靈的(de)(de)(de)同性(xing)(xing)伴侶協同一名同謀一起(qi)闖進了(le)(le)圖靈的(de)(de)(de)房子實(shi)施盜(dao)竊。圖靈為此而報警(jing)。但(dan)是警(jing)方的(de)(de)(de)調查結果使得他被(bei)控以“明顯(xian)的(de)(de)(de)猥褻和性(xing)(xing)顛倒行為”(同性(xing)(xing)戀)。他沒有申辯,并(bing)被(bei)定(ding)罪。在(zai)著名的(de)(de)(de)公(gong)審后(hou),他被(bei)給予了(le)(le)兩個選擇:坐牢或(huo)荷爾(er)蒙(meng)療法。他選擇了(le)(le)荷爾(er)蒙(meng)注射(she),并(bing)持續了(le)(le)一年。在(zai)這段時間里,藥物產生了(le)(le)包(bao)括乳(ru)房不斷發育的(de)(de)(de)副作用。
1954年6月(yue)7日,圖靈被發現(xian)死于家中(zhong)的(de)床(chuang)(chuang)上,床(chuang)(chuang)頭還放著一個被咬了一口的(de)蘋果。警方調查后認為是劇(ju)毒(du)的(de)氰化物中(zhong)毒(du),調查結論為自殺。當時(shi)圖靈41歲。
2009年(nian)(nian),英(ying)國計算機科學家康明(John Graham-Cumming)發起了為圖靈平反的在(zai)線請(qing)愿,截(jie)止到2009年(nian)(nian)9月10日請(qing)愿簽名人數已(yi)經(jing)超過了3萬,為此(ci),當(dang)時的英(ying)國政府及首相戈登布朗不得不發表正式的道歉聲(sheng)明。
2012年12月,霍金(jin)、納斯(si)(Paul Nurse,諾貝爾醫學(xue)獎得主)、里斯(si)(Martin Rees,英(ying)國皇(huang)家學(xue)會會長)等11位重要人士(shi)致函英(ying)國首相(xiang)卡(ka)梅倫,要求(qiu)為其(qi)平反。
2013年(nian)12月24日,在(zai)英(ying)國司法大臣克(ke)里斯(si)?格雷(lei)靈(ling)(Chris Grayling)的(de)要求下,英(ying)國女王終于向圖靈(ling)頒發了(le)的(de)皇家赦免(mian)。英(ying)國司法部(bu)長宣布(bu),“圖靈(ling)的(de)晚年(nian)生(sheng)活因為(wei)其(qi)同性取向而被迫(po)蒙上了(le)一(yi)層陰(yin)影,我們(men)認(ren)為(wei)當時的(de)判決是不公的(de),這(zhe)種歧視現象如今也已經遭到了(le)廢除。為(wei)此(ci),女王決定為(wei)這(zhe)位(wei)偉人(ren)送上赦免(mian),以此(ci)向其(qi)致(zhi)敬。”
1926年,圖靈(ling)考入(ru)英國著名(ming)的謝(xie)伯恩公學,在中學時就獲得了國王愛德華六世數(shu)學金盾獎章。
1932年,榮(rong)獲英國著名的(de)史密斯數(shu)學獎(jiang)。
1946年,由于他在二戰中為(wei)破譯德軍密碼做出的巨大(da)貢獻,獲得“不列顛帝國勛章(zhang)”,這是英國皇室授予為(wei)國家和(he)人民(min)做出巨大(da)貢獻者的最高榮譽勛章(zhang)。