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