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