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