少年時代便才華橫溢的“數、理、化”全才在踏入電腦業後就獲得了“計算機之父”的美譽，他就是John Von Neuman（馮·諾依曼，1903—1957）。其最大的貢獻就是建立了現代計算機設計的一般邏輯理論。1945年，諾依曼等人發表了計算機史上著名的“101頁報告”，這份報告奠定了現代計算機體系結構堅實的基礎，報告明確規定計算機的五大部件，並用仙農提倡的二進位制代替十進位制，將程式也當作資料存進了機器記憶體，以便電腦能自動執行指令，而不用再連線線路，由此奠定了現代計算機體系結構的根基。直至今日，雖然電腦頻繁地更新換代，種類也五花八門，但其體系結構還是沒能離開諾依曼體系，即計算機歷史上一代又一代的計算機都可以統稱為“諾依曼”機。這一點足以說明諾依曼對計算機界的偉大貢獻。

圖靈在計算機科學方面的主要貢獻：

1、提出“圖靈測試”概念

“圖靈測試”指測試者與被測試者（一個人和一臺機器）隔開的情況下，透過一些裝置（如鍵盤）向被測試者隨意提問。

進行多次測試後，如果有超過30%的測試者不能確定出被測試者是人還是機器，那麼這臺機器就通過了測試，並被認為具有人類智慧。

圖靈預言，在20世紀末，一定會有電腦透過“圖靈測試”。2014年6月7日在英國皇家學會舉行的“2014圖靈測試”大會上，舉辦方英國雷丁大學釋出新聞稿。

宣稱俄羅斯人弗拉基米爾·維西羅夫（Vladimir Veselov）創立的人工智慧軟體尤金·古斯特曼（Eugene Goostman）通過了圖靈測試。

雖然“尤金”軟體還遠不能“思考”，但也是人工智慧乃至於計算機史上的一個標誌性事件。

2、圖靈機

圖靈機是由圖靈在1936年提出的，它是一種精確的通用計算機模型，能模擬實際計算機的所有計算行為。

所謂的圖靈機就是指一個抽象的機器，它有一條無限長的紙帶，紙帶分成了一個一個的小方格，每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。

機器頭有一組內部狀態，還有一些固定的程式。在每個時刻，機器頭都要從當前紙帶上讀入一個方格資訊，然後結合自己的內部狀態查詢程式表，根據程式輸出資訊到紙帶方格上，並轉換自己的內部狀態，然後進行移動。

3、人工智慧

1949年，圖靈成為曼切斯特大學（University of Manchester ）計算實驗室的副院長，致力研發執行Manchester Mark 1型號儲存程式式計算機所需的軟體。

1956年圖靈的這篇文章以“機器能夠思維嗎？”為題重新發表，此時，人工智慧也進入了實踐研製階段。圖靈的機器智慧思想無疑是人工智慧的直接起源之一。

而且隨著人工智慧領域的深入研究，人們越來越認識到圖靈思想的深刻性：它們如今仍然是人工智慧的主要思想之一。

4、樹立生物學

從1952年直到去世，圖靈一直在數理生物學方面做研究。他在1952年發表了一篇論文《形態發生的化學基礎》(The Chemical Basis of Morphogenesis)。

他主要的興趣是斐波那契葉序列，存在於植物結構的斐波那契數。他應用了反應-擴散公式，如今已經成為圖案形成範疇的核心。他後期的論文都沒有發表，一直等到1992年《艾倫·圖靈選集》出版，這些文章才見天日。

5、判定問題

1937年，圖靈用他的方法解決了著名的希爾伯特判定問題：狹謂詞演算(亦稱一階邏輯)公式的可滿足性的判定問題。

他用一階邏輯中的公式對圖靈機進行編碼，再由圖靈機停機問題的不可判定性推出一階邏輯的不可判定性。他在此處創用的“編碼法”成為後來人們證明一階邏輯的公式類的不可判定性的主要方法之一。

在判定問題上，圖靈的另一成果是1939年提出的帶有外部資訊源的圖靈機概念，並由此匯出“圖靈可歸約”及相對遞迴的概念。

運用歸約和相對遞迴的概念，可對不可判定性與非遞迴性的程度加以比較。在此基礎上，E．波斯特(Post)提出了不可解度這一重要概念，這方面的工作後來有重大的進展。