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