圖靈機

一、圖靈機的起源——可計算性理論 在20世紀以前，人們普遍認爲，所有的問題類都是有算法的，人們的計算研究就是找出算法來。1900年，當時著名的大數學家希爾伯特在世紀之交的數學家大會上給國際數學界提出了著名的23個數學問題。 其中第十問題是這樣的： 存在不存在一種有限的、機械的步驟能夠判斷「丟番圖方程」是否存在解？ 「丟番圖方程」指：有一個或者幾個變量的整係數方程，它們的求解僅僅在整數範圍內進行。

>>阅读原文<<