丘奇-图灵论题
时代：早期理论 · 1930年代—1950年代
阿隆佐·丘奇和阿兰·图灵各自独立提出了著名的 Church-Turing 论题。该论题认为：任何可有效计算的函数都是图灵机可计算的。这一论题将“可计算性”这个直观概念形式化，成为计算机科学的基础。
阿隆佐·丘奇 & 阿兰·图灵
来源与支持内容
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 来源类型：secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
访问日期：