圖靈

艾倫·麥席森·圖靈（Alan Mathison Turing) 數學家、邏輯學家

艾倫·麥席森·圖靈
File:艾倫·麥席森·圖靈2018.jpg 原圖鏈接 數學家、邏輯學家
出生	1912年6月23日
國籍	英國
職業	數學家、邏輯學家
知名於	被稱為計算機科學之父
知名作品	《論數字計算在決斷難題中的應用》 《機器能思考嗎》 《說說顯微鏡》 《左右周期性的等價》 。

目錄

生平介紹

人物經歷

英國數學家、邏輯學家，被稱為計算機之父，人工智能之父。1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。

1912年生於英國倫敦，1954年死於英國的曼徹斯特，他是計算機邏輯的奠基者，許多人工智能的重要方法也源自於他。他對計算機的重要貢獻在於他提出的有限狀態自動機也就是圖靈機的概念，對於人工智能，他提出了重要的衡量標準「圖靈測試」，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機，和人沒有區別了。他傑出的貢獻使他成為計算機界的第一人，人們為了紀念這位偉大的科學家將計算機界的最高獎定名為「圖靈獎」。

上中學時，他在科學方面的才能就已經顯示出來，這種才能僅僅限於非文科的學科上，他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就，但是都沒有太大的建樹。少年圖靈感興趣的是數學等學科。在加拿大他開始了他的職業數學生涯，在大學期間這位學生似乎對前人現成的理論並不感興趣，什麼東西都要自己來一次。大學畢業後，他前往美國普林斯頓大學，也正是在那裡，他製造出了以後稱之為圖靈機的東西。

二戰時，圖靈在英國通信部工作，他運用他的專業技能破譯德國密碼，這在當時十分不容易，因為德國人開發出一種用於計算的機器稱為Enigma，它能夠定期將密碼改變，讓破譯者根本摸不到頭緒。在通信部工作的時候，圖靈和同事們一起使用一台稱為COLOSSUS的設備破譯德國的密碼，COLOSSUS幹得相當不錯，COLOSSUS雖然是用馬達和金屬做的，與數字式計算機根本不是一回事，但它是現代計算機重要的一步。二戰後，圖靈需要找一种放松自己的方法，於是他選擇了長跑，他選擇的一般都是他善長的。

已經有軟件可以通過圖靈測試的子測試，軟件這個人類智慧的機器反映應該可以解決一些人類智力的問題。在完成ACE之前，圖靈離開了NPL，它在曼徹斯特大學開發曼徹斯特自動計算機（Manchester Automatic Digital Machine，MADAM）。他相信在2000年前一定可以製造出可以模擬人類智力的機器，圖靈開始創立算法，並使用MADAM繼續他的工作。

圖靈對生物也十分感興趣，他希望了解生物的各個器官為什麼是這個樣子而不是那個樣子，他不相信達爾文的進化論，他覺得生物的發展與進化沒什麼關係。對於生物學，他也用它鍾愛的數學進行研究，它的研究對他進行計算機的研究有促進作用。它把生物的變化也看做是一種程序，也就是圖靈機的基本概念，按程序進行。最後，這位偉大的計算機先驅於1954年6月7日去世，他終生未娶。

年幼時代

圖靈的家族成員里有三位當選過英國皇家學會會員，他的祖父還曾獲得劍橋大學數學榮譽學位。可他父親居里歐的才能十分平常。但他倒能踏實辦事，於是被政府派到英屬殖民地印度去當一名小公務員。

圖靈很小的時候就表現出與眾不同的天分，在他三四歲的時候自己學會了閱讀，讀的第一本書叫做《每個兒童都該知道的自然奇觀》。他特別喜歡數字和智力遊戲，並為之着迷。圖靈自幼充滿好奇與想象，母親回憶說：「他把一個玩具木偶的胳膊、腿掰下來栽到花園裡，期待能『生長』出更多的玩具木偶，那年他3歲。」

6歲正式讀書後，校長和老師都注意到這個特殊的小孩。8歲時，他寫了他的第一篇「科學」短文，題目叫《說說顯微鏡》。

圖靈從小喜歡體育運動，尤其酷愛足球。可是在和小朋友們踢足球的時候，他並不熱衷於上場，而是更喜歡在場外擔任巡邊，為的是能有機會觀察、估算每次足球飛出邊界的角度，他從中獲得了極大的樂趣，樂趣就在於能夠一眼看出問題的答案。

圖靈16歲就能弄懂愛因斯坦的相對論，並且運用那深奧的理論，獨立推導力學定律。

科研時期

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

圖靈畢業後留校執教，不到一年工夫，他就發表了幾篇很有分量的數學論文。1935年，剛剛畢業，年僅23歲的圖靈就被劍橋大學國王學院甄選為研究員，成為劍橋大學有史以來最年輕的研究員。 為此，劍橋大學特地宣布放假半天以示慶賀。羅素教授也異常器重圖靈，安排圖靈講學授課。同年，圖靈又因他在「概率論」上的成就，榮獲「斯密思獎」。

1936年他來到美國的普林斯頓大學攻讀數學博士學位，他的研究涉及邏輯學、代數和數論等等領域。