丘奇-图灵论题
时代：早期理论 · 1930年代—1950年代
阿隆佐·丘奇和阿兰·图灵各自独立提出了著名的 Church-Turing 论题。该论题认为：任何可有效计算的函数都是图灵机可计算的。这一论题将“可计算性”这个直观概念形式化，成为计算机科学的基础。
阿隆佐·丘奇与阿兰·图灵
来源与支持内容
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · 来源类型：二手综述
说明了1936年两项相互独立的表述，以及后来“Church-Turing 论题”这一名称的由来。
访问日期：