圖靈

圖靈 基本簡介 艾倫·麥席森·圖靈（Alan Mathison Turing，1912年6月23日－1954年6月7日），英國數學家、邏輯學家，被稱爲計算機科學之父，人工智能之父。 圖靈機 在《論數字計算在決斷難題中的應用》中，圖靈提出了「可計算性」理論。「可計算性」理論是爲了解答庫爾特·哥德爾提出的數學邏輯悖論：「任何數學系統中總是會存在不能被證明的命題」。在這篇論文的附錄裏他用一條無限長的紙帶

>>阅读原文<<