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