阿蘭·麥席森·圖靈

　　圖靈的父親J·M·圖靈早年就讀于牛津大學科帕斯克斯蒂學院歷史系，后來從政，被派往印度，擔任民政部的官員。圖靈的母親E·S·斯托尼（Stoney）生于一個鐵路工程師家庭，曾就讀于巴黎大學文理學院，圖靈是他們的次子。因為工作原因，孩子們經常住在一位朋友家中。阿蘭·麥席森·圖靈少年時就表現出獨特的直覺創造能力和對數學的愛好。1926年，他考入倫敦有名的舍本（Sherborne）公學，受到良好的中等教育。他在中學期間表現出對自然科學的極大興趣和敏銳的數學頭腦。

　　他對自然科學的興趣使他在1930年和1931年兩次獲得他的一位同學莫科姆的父母設立的自然科學獎，獲獎工作中有一篇論文題為“亞硫酸鹽和鹵化物在酸性溶液中的反應”，受到政府派來的督學的贊賞，對自然科學的興趣為他后的一些研究奠定了基礎，他的數學能力使他在念中學時獲得過國王愛德華六世數學金盾獎章。

　　1931年，圖靈考入劍橋大學國王學院，由于成績優異而獲得數學獎學金。在劍橋，他的數學能力得到充分的發展。1935年，他的第一篇數學論文“左右殆周期性的等價”發表于《倫敦數學會雜志》上。同一年，他還寫出“論高斯誤差函數”一文。這一論文使他由一名大學生直接當選為國王學院的研究員，并于次年榮獲英國著名的史密斯(Smith）數學獎，成為國王學院聲名顯赫的畢業生之一。1936年5月，靈寫出了表述他的最重要的數學成果的論文“論可計算數及其在判定問題中的應用”，該文于1937年在《倫敦數學會文集》第42期上發表后，立即引起廣泛的注意。1937年，阿蘭·麥席森·圖靈發表的另一篇文章“可計算性與λ可定義性”則拓廣了丘奇(Church）提出的“丘奇論點”，形成“丘奇-圖靈論點”，對計算理論的嚴格化，對計算機科學的形成和發展都具有奠基性的意義，1936年9月，阿蘭·麥席森·圖靈應邀到美國普林斯頓高級研究院學習，并與丘奇一同工作。在美國期間，他對群論作了一些研究，并撰寫了博士論文，1938年在普林斯頓獲博士學位，其論文題目為“以序數為基礎的邏輯系統”，1939年正式發表，在數理邏輯研究中產生了深遠的影響。

　　1938年夏，阿蘭·麥席森·圖靈回到英國，仍在劍橋大學國王學院任研究員，繼續研究數理邏輯和計算理論，同時開始了計算機的研制工作。第二次世界大戰打斷了他的正常研究工作，1939年秋，他應召到英國外交部通信處從事軍事工作，主要是破譯敵方密碼的工作。他在布萊奇利莊園（Bletchley Park）利用工具Bombe破譯德軍的密碼“謎（Enigma）”，并參與了世界上最早的電子計算機的研制工作。他的工作取得了極好的成就，因而于1945年獲政府的最高獎——大英帝國榮譽勛章（O。B。E。勛章）。人們認為，通用計算機的概念就是阿蘭·麥席森·圖靈提出來的。1945年，阿蘭·麥席森·圖靈結束了在外交部的工作，他試圖恢復戰前在理論計算機科學方面的研究，并結合戰時的工作，具體研制出新的計算機來。這一想法得到當局的支持。同年，圖靈被錄用為泰丁頓（Teddington）國家物理研究所的研究人員，開始從事“自動計算機”（ACE）的邏輯設計和具體研制工作。這一年，圖靈寫出一份長達50頁的關于ACE的設計說明書。這一說明書在保密了27年之后，于1972年正式發表。在圖靈的設計思想指導下，1950年制出了ACE樣機，1958年制成大型ACE機。1948年，圖靈接受了曼徹斯特大學的高級講師職務，并被指定為曼徹斯特自動數字計算機（Madam）項目的負責人助理，具體領導該項目數學方面的工作。作為這一工作的總結，1950年圖靈編寫并出版了《曼徹斯特電子計算機程序員手冊》（The programmers’handbook for the Manchester electronic computer）。這期間，他繼續進行數理邏輯方面的理論研究。早在1947年，圖靈就提出過自動程序設計的思想，1950年，他提出關于機器思維的問題，他的論文“計算機和智能（Computing machinery and intelligence），引起了廣泛的注意和深遠的影響。

　　1956年，在收入一部文集時此文改名為“機器能夠思維嗎？”（Can machine think？），至今仍是研究人工智能的首選讀物之一。1951年，圖靈當選為英國皇家學會會員。1952年，他辭去劍橋大學國王學院研究員的職務，專心在曼徹斯特大學工作。除了日常工作和研究工作之外，他還指導一些博士研究生，還擔任了制造曼徹斯特自動數字計算機的一家公司——弗蘭蒂公司的顧問。1952年，圖靈寫了一個國際象棋程序。可是，當時沒有一臺計算機有足夠的運算能力去執行這個程序，他就模仿計算機，每走一步要用半小時。他與一位同事下了一盤，結果程序輸了。后來美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究群根據圖靈的理論，在MANIAC上設計出世界上第一個電腦程序的象棋。

　　1952年，艾倫·麥席森·圖靈的同性伴侶協同一名同謀一起闖進了艾倫·麥席森·圖靈的房子實施盜竊。艾倫·麥席森·圖靈為此而報警。但是警方的調查結果使得他被控以“明顯的猥褻和性顛倒行為”（因為在當時英國的法律認為同性戀為違法行為）。他沒有申辯，并被定罪。在著名的公審后，他被給予了兩個選擇：坐牢或荷爾蒙療法。他選擇了荷爾蒙注射，并持續了一年。在這段時間里，藥物產生了包括乳房不斷發育的副作用。1954年，艾倫·麥席森·圖靈因食用浸過氰化物溶液的蘋果死亡。

　　隨著時代的進步，英國的法律不再視同性戀為違法行為并開始允許同性伴侶民事結合。在這一大環境下，2009年9月10日，在三萬民眾的聯名請愿下，英國當時的首相戈登。布朗正式代表英國政府向圖靈因為同性戀被定罪并導致其自殺公開道歉。^[1]但英國政府在2012年拒絕了為其追贈死后赦免狀的請愿。^[2]

　　2013年12月24日，英國司法部長宣布，當時的判決“不公，有歧視”，圖靈已經獲得英國女王伊莉莎白二世的赦免，“女王的赦免是對這位優秀人物的獻禮”。

　　英國首相卡梅倫則表示說，圖靈在破解二戰德軍密碼、拯救國家上發揮了關鍵作用，是一個“了不起的人”。^[3]

　　圖靈思想活躍，他的創造力也是多方面的。據同事們回憶，他在戰時的秘密工作中，曾創造好幾種新的統計技術，但都未形成論文發表，后來又重新為他人所創建，由A。瓦爾德(Wald）重新發現并提出的“序貫分析”就是其中之一。他對群論也有所研究，在“形態形成的化學基礎”一文中，他用相當深奧而獨特的數學方法，研究了決定生物的顏色或形態的化學物質（他稱之為成形素）在形成平面形態（如奶牛體表的花斑）和立體形態（如放射形蟲和葉序的分布方式）中的分布規律性，試圖闡釋“物理化學規律可以充分解釋許多形態形成的事實”這一思想。在生物學界，80年代才開始探討這一課題，圖靈還進行了后來被稱為“數學胚胎學”的奠基性研究工作。他還試圖用數學方法研究人腦的構造問題，例如估算出一個具有給定數目的神經元的大腦中能存貯多少信息的問題等。這些，至今仍然是吸引著眾多科學家的新穎課題。人們認為，圖靈是一位科學史上罕見的具有非凡洞察力的奇才：他的獨創性成果使他生前就已名揚四海，而他深刻的預見使他死后倍受敬佩。當人們發現后人的一些獨立研究成果似乎不過是在證明圖靈思想超越時代的程度時，都為他的英年早逝感到由衷的惋惜。

　　蘋果公司的標志一度被誤認為源于圖靈自殺時咬下的半個蘋果。但該圖案的設計師和蘋果公司都否認了這一說法。^[4]

　　2012年是阿蘭圖靈的100周年誕辰，被定為“阿蘭圖靈年”。

　　圖靈還是一位世界級的長跑運動員。他的馬拉松最好成績是2小時46分3秒，比1948年奧林匹克運動會金牌成績慢11分鐘。1948年的一次跨國賽跑比賽中，他跑贏了同年奧運會銀牌得主湯姆·理查茲（Tom Richards）。

　　“圖靈獎”是美國計算機協會（ACM，Association for Computer Machinery）于1966年設立的，專門獎勵那些對計算機科學研究與推動計算機技術發展有卓越貢獻的杰出科學家。設立的初衷是因為計算機技術的飛速發展，尤其到20世紀60年代，其已成為一個獨立的有影響的學科，信息產業亦逐步形成，但在這一產業中卻一直沒有一項類似“諾貝爾”、“普利策”等的獎項來促進該學科的進一步發展，為了彌補這一缺陷，于是“圖靈”獎便應運而生，它被公認為計算機界的“諾貝爾”獎。

　　圖靈獎是計算機界最負盛名的獎項，有“計算機界諾貝爾獎”之稱。圖靈獎對獲獎者的要求極高，評獎程序也極嚴，一般每年只獎勵一名計算機科學家，只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。目前圖靈獎由Google公司贊助，獎金為100,000美元。

　　每年，美國計算機協會將要求提名人推薦本年度的圖靈獎候選人，并附加一份200到500字的文章，說明被提名者為什么應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的評審，并最終確定當年的獲獎者。

　　截止至2005年，獲此殊榮的華人僅有一位，他是2000年圖靈獎得主姚期智。