艾倫·麥席森·圖靈—計算機科學之父、人工智能之父

艾倫·麥席森·圖靈（Alan Mathison Turing），英國數學家、邏輯學家，被稱為“計算機科學之父”、“人工智能之父”。對于人工智能的發展有諸多貢獻，提出了一種用于判定機器是否具有智能的試驗方法，即圖靈試驗，每年都有試驗的比賽。此外，提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。第二次世界大戰，曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。

主要經歷

年輕時期

1926年，考入倫敦有名的謝伯恩公學去學習。 1927年，為了幫助母親理解愛因斯坦的相對論，寫了愛因斯坦的一部著作的內容提要。

科研時期

1931年，考入劍橋大學國王學院。 1935年，第一篇數學論文《左右殆周期性的等價》發表于《倫敦數學會雜志》上；同年，還寫出“論高斯誤差函數”一文。這一論文使他直接當選為國王學院的研究員。 1937年，論文《論數字計算在決斷難題中的應用》發表于《倫敦數學會文集》第42期上，立即引起廣泛的注意。在論文的附錄里描述了一種可以輔助數學研究的機器，后來被人稱為“圖靈機”。這個設想最有變革意義的地方在于，它第一次在純數學的符號邏輯和實體世界之間建立了聯系，后來電腦和“人工智能”，都基于這個設想。 1937年，發表文章《可計算性與λ可定義性》，拓廣了丘奇提出的“丘奇論點”，形成“丘奇-圖靈論點”，對計算機科學的形成和發展都具有奠基性的意義。 1936年9月，應邀到美國普林斯頓高級研究院學習，并與丘奇一同工作。 1938年，在普林斯頓獲博士學位，其論文題目為《以序數為基礎的邏輯系統》，1939年正式發表，在數理邏輯研究中產生了深遠的影響。 1938年，回到英國，在劍橋大學國王學院任研究員，繼續研究數理邏輯和計算理論，同時開始了計算機的研制工作。

二戰經歷

1939年，應召到英國外交部通信處從事軍事工作。 1945年，被錄用為泰丁頓國家物理研究所的研究人員，開始從事“自動計算機”（ACE）的邏輯設計和具體研制工作。這一年，寫出一份長達50頁的關于ACE的設計說明書。這一說明書在保密了27年之后，于1972年正式發表。在其設計思想指導下，1950年制出了ACE樣機，1958年制成大型ACE機。 1945年—1948年，在英國國家物理實驗室工作，負責自動計算引擎的研究。 1948年，接受了曼徹斯特大學的高級講師職務，并被指定為自動數字計算機項目的負責人助理。 1949年，成為曼徹斯特大學計算機實驗室的副主任，負責最早的真正意義上的計算機——“曼徹斯特一號”的軟件理論開發，因此成為世界上第一位把計算機實際用于數學研究的科學家。 1950年，編寫并出版了《曼徹斯特電子計算機程序員手冊》；并提出了著名的“圖靈測試”。同年，提出關于機器思維的問題，論文《計算機和智能》，引起了廣泛的注意和深遠的影響。 1950年10月，發表論文《機器能思考嗎？》。這一劃時代的作品，贏得了“人工智能之父”的桂冠。 1951年，成為英國皇家學會會員。 1952年，擔任弗蘭蒂公司的顧問。 1952年，寫了一個國際象棋程序。后來美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究群根據圖靈的理論，在MANIAC上設計出世界上第一個電腦程序的象棋。

被迫害后逝世

1952年，被控以“明顯的猥褻和性顛倒行為”（同性戀）。 1954年6月7日，被發現死于家中的床上，享年41歲。

正式平反

2013年12月24日，英國女王向圖靈頒發了皇家赦免。

主要榮譽

1926年，獲得了國王愛德華六世數學金盾獎章。 1932年，榮獲英國著名的史密斯數學獎。 1946年，獲得“不列顛帝國勛章”，這是英國皇室授予為國家和人民做出巨大貢獻者的最高榮譽勛章。