邱奇-圖靈論題
時代：早期理論 · 1930年代—1950年代
阿隆佐·邱奇和阿蘭·圖靈在他們各自的1936年論文中各自獨立提出了著名的 Church-Turing 論題。該論題認為：任何可有效計算的函數都是圖靈機可計算的。這一論題將「可計算性」這個直觀概念形式化，成為計算機科學的基礎。
阿隆佐·邱奇與阿蘭·圖靈
來源與支持內容
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 來源類型：二手綜述
說明了1936年兩項彼此獨立的表述，以及後來「Church-Turing 論題」這個名稱的由來。
存取日期：