分類 電腦科學史

邱奇-圖靈論題：計算理論的哲學基石

1936年，邱奇和圖靈各自獨立地提出了計算的嚴格數學定義。邱奇-圖靈論題主張：任何在算法上可計算的問題，都可以由圖靈機來計算。這個論題雖然無法被證明，卻成為計算理論的基石，定義了計算機能力的極限。