邱奇-圖靈論題
時代：早期理論 · 1930年代—1950年代
阿隆佐·邱奇和阿蘭·圖靈在他們各自的1936年論文中各自獨立提出了著名的 Church-Turing 論題。該論題認為：任何可有效計算的函數都是圖靈機可計算的。這一論題將「可計算性」這個直觀概念形式化，成為計算機科學的基礎。
阿隆佐·邱奇 & 阿蘭·圖靈
來源與支持內容
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 來源類型：secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
存取日期：