計算機 阿蘭-圖靈

圖靈機 圖靈機提供了簡單又強大的數學計算模型 起因是因爲德國科學家的一個問題; 是否存在一種算法,輸入正式邏輯語句,輸出準確的"是"或者"否" 答案? 如果這樣的算法存在,那麼可以回答比如"是否有一個數字大於所有數字" 1935年美國科學家開發了一種"Lambda算子"的數學表達系統, 證明這種算法不存在, 但是它的計算非常複雜難以理解 同時在大西洋另一邊,提出了圖靈機: 假設有無限長的紙帶, 紙

>>阅读原文<<