從65438年到0935年，圖靈對數理邏輯產生了興趣。數理邏輯，也稱為形式邏輯或符號邏輯，是邏輯的壹個重要分支。數理邏輯用數學方法，即符號、公式和公理來研究人的思維過程和規律。它的起源可以追溯到17世紀偉大的德國數學家戈特弗裏德·威廉·萊布尼茨(1646-1716)，其目的是建立壹種精確、準確、準確、再準確、再準確、再可靠的數學邏輯。在萊布尼茨的思想中，數理邏輯、數學和計算機都有壹個統壹的目的，即人類思維過程的計算和計算機化，甚至是它在計算機上的實現。兩個多世紀以來，許多數學家和邏輯學家沿著萊布尼茨的思想做了大量實質性的工作，使數理邏輯逐漸完善和發展，許多概念也逐漸清晰。然而，什麽是“計算機”？在圖靈之前，沒有人說清楚。
1936年，圖靈發表了壹篇論文“關於可計算數及其在確定性問題中的應用”。有意思的是，這篇論文的主題是回答德國大數學家戴維·希爾伯特在1900年提出的著名的“23個數學問題”之壹，只在其論文的壹個腳註中提出了壹個計算機抽象模型。有了這臺計算機，推理可以變成壹些簡單的機械動作。這真的是壹個錯誤。正是這個註腳，開啟了計算機科技史上的新時代。圖靈提出的計算模型現在被稱為“圖靈機”。圖靈的論文發表後，立即引起了美國科學家的關註。圖靈隨即受到了克林頓大學的邀請，於是圖靈第壹次漂洋過海，去美國與教會合作，並於1938獲得了克林頓大學的博士學位。在美國，圖靈還結識了計算機科學理論的另壹位重要創始人，匈牙利出生的天才科學家馮·諾依曼(約翰·馮·諾依曼，1903-1957)。馮·諾依曼非常欣賞圖靈，邀請他去那裏工作，但圖靈沒有接受邀請，於1938年回到了英國劍橋大學。
二戰爆發後，圖靈到了服役年齡，開始為戰爭服役。主要是破譯德軍密碼，他做出了很多貢獻，戰後獲得了榮譽。他被稱為OBE(大英帝國辦公室勛章)，這是對非戰鬥人員的極高榮譽。
戰後，圖靈繼續從事計算機理論和技術的研究與開發。先是在NPL(國家物理實驗室)研究計算機ACE(自動計算引擎)，然後在曼徹斯特大學研究存儲程序計算機MARK I。因為圖靈的壹系列突出貢獻和偉大創造，他在1951當選為英國皇家學會院士。6月1954，因吃毒蘋果在家中去世，享年42歲。
2.圖靈獎
為了紀念這位“計算機科學之父”，後人在英國曼徹斯特的薩克維爾公園為他建造了壹座真人大小的銅像。這座雕像揭幕於2001年6月23日，也就是圖靈89歲生日，銅像本身就是在中國鑄造的。
圖靈去世後12年，也就是1966年，美國ACM(計算機械協會)決定設立圖靈獎。ACM於9月1947成立於紐約哥倫比亞大學。它成立的目的是促進計算機科學技術的發展和學術交流。自成立以來，ACM積極開展各項活動，現已成為計算機領域最具影響力的兩大國際學術組織之壹(另壹個是IEEE計算機學會)。圖靈獎是ACM在1966設立的第壹個獎項，專門獎勵在計算機科學研究中做出創造性貢獻、推動計算機科學技術發展的傑出科學家。獎金數額不算太高，剛開始是20000美金，從1989增加到25000美金。圖靈獎對獲獎條件要求極高，頒獎程序極其嚴格。壹般每年只授予壹位計算機科學家，只有幾年才有兩位在同壹方向做出貢獻的合作者或科學家享受這壹榮譽。它是計算機領域最負盛名、最崇高的獎項，被譽為“計算機領域的諾貝爾獎”。