第一個人物是阿蘭·圖靈（Alan Turing），他是一位英國的數學家，是現代計算機科學之父，也是
人工智能之父。在二戰期間，他帶領同事研制出的密碼破譯機，可高效地破譯當時德軍最強大的“謎”式密碼機，并在盟軍諾曼底登陸等重大軍事行動中發揮重要作用，被譽為二戰英雄。歷史學家認為，他讓二戰提早了2年結束，至少拯救了2000萬人的生命。
1936年，他提出 “圖靈機（Turing Machine）”的概念。
圖靈機有點像一個水泵，一頭是輸入，一頭是輸出，除此之外，它還有一個存儲器能保存一些內部狀態，以及一個控制器可以讀取預置程序代碼并加以執行，來控制輸出的結果。現在大家經常用的計算機、筆記本電腦、智能手機都是基于圖靈機模型的。對于計算機來說，鼠標、鍵盤等都是輸入設備，屏幕、聲卡等都是輸出設備，內存是保存內部狀態的存儲器，CPU就是程序控制器。其實從某種意義上來說，“人”本身，也是基于圖靈機模型的。
那么，什么是“圖靈完備（Turing- Completeness）”呢？
圖靈完備，就是指一切“可計算”的邏輯都能被計算。
如果一個計算系統具備圖靈完備性，意味著該系統功能和通用圖靈機相當，可以互相模擬。
如果一個計算機語言具備圖靈完備性，意味著該語言能夠和通用圖靈機完美結合，這也是現代計算機語言所能擁有的最高能力。
那么，什么是“可計算（Computable）”的呢？
“可計算理論”是數學的一個小分支，但它為“計算機科學”的獨立發展打下了基礎。
太形式化的解釋，這里就不講了，我舉一個“不可計算”的例子。
比如，“今天晚上吃什么飯？”，這個問題就是不可計算的，任何計算機程序都是算不出來的，因為這里存在太多的假設。但是，如果我們增加了足夠的前提條件和判斷規則，比如， “工作日晚上吃快餐面，周末在家吃米飯”、“今天7月16號是周一”、“周一是工作日”，那么，這個問題就是可計算的了，能夠產生確定的結果——“吃快餐面”
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
