圖靈的故事

今年是是計算機和電腦科學的理論奠基人，英國著名數學家、邏輯學家，阿蘭·圖靈誕辰100週年。

圖靈的天賦在他非常年輕的時候就展露無遺， 圖靈在他1936年5月28日提交的重要論文《論可計算數及其在判定問題上的應用》裡，對哥德爾1931年在證明和計算的限制的結果作了重新論述，他用現在叫做圖靈機的簡單形式裝置代替了哥德爾的以通用算術為基礎的形式語言。圖靈還是證明了這樣的機器有能力解決任何可想像的數學難題，如果這些難題是用一種演算法來表達，至今圖靈機還是計算理論研究的中心課題。1937年，其發表的另一篇文章“可計算性與λ可定義性”則拓廣了丘奇(1903-1995,美國邏輯學家）提出的“丘奇論點”，形成“丘奇-圖靈論點”，對計算理論的嚴格化，對電腦科學的形成和發展都具有奠基性的意義。

1947年，圖靈就提出過自動程式設計的思想，1948年，圖靈接受了曼徹斯特大學的高階講師職務，並被指定為曼徹斯特自動數字計算機（Madam）專案的負責人助理，具體領導該專案數學方面的工作。作為這一工作的總結，1950年圖靈編寫並出版了《曼徹斯特電子計算機程式設計師手冊》，童年他提出關於機器思維的問題，他的論文“計算機和智慧引起了廣泛的注意和深遠的影響。 1956年，在收入一部文集時此文改名為《機器能夠思維嗎？》，至今仍是研究人工智慧的首選讀物之一。

圖靈思想活躍，他的創造力也是多方面的。據同事們回憶，他在戰時的祕密工作中，曾創造好幾種新的統計技術，但都未形成論文發表，後來又重新為他人所建立，由A．瓦爾德(美籍羅馬尼亞數理統計學家）重新發現並提出的“序貫分析”就是其中之一，圖靈是一位科學史上罕見的具有非凡洞察力的奇才：他的獨創性成果使他生前就已名揚四海，而他深刻的預見使他死後倍受敬佩，蘋果公司的標誌一度被誤認為源於圖靈自殺時咬下的半個蘋果。但該圖案的設計師和蘋果公司都否認了這一說法。

隨著時代的進步，英國的法律不再視同性戀為違法行為並開始允許同性伴侶民事結合。在這一大環境下，2009年9月10日，在三萬民眾的聯名請願下，英國當時的首相戈登·布朗正式代表英國政府向圖靈因為同性戀被定罪並導致其被強行“治療”，在被迫注射大量雌性激素後，不堪屈辱而自殺公開道歉。圖靈的英年早逝，令人扼腕嘆息，一代天才就這樣走完了人生。為了紀念他對電腦科學的巨大貢獻，美國計算機協會從20世紀60年代起設立一年一度的圖靈獎，以表彰在電腦科學中做出突出貢獻的人。

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

1912年6月23日生於英國帕丁頓，1931年進入劍橋大學國王學院，1938年在美國普林斯頓大學取得博士學位，二戰爆發後返回劍橋協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利，他就是阿蘭·麥席森·圖靈，這位英國著名數學家、邏輯學家、密碼學家，被稱為電腦科學之父、人工智慧之父，計算機邏輯的奠基者，其提出了“圖靈機”和“圖靈測試”等重要概念至今仍被沿用學習。計算機界除了從年初就開始舉行一系列對於他對於電腦科學偉大貢獻的活動，並定2012年是圖靈年。