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