研究突破 · 人工校订条目
图灵提出图灵机，奠定可计算性理论
On Computable Numbers
- 日期
- 1936 年 5 月
- 类别
- 研究突破
- 机构 / 模型
- Alan Turing
- 证据
- 2 条 · 2 类
图灵用抽象纸带机器定义“可计算”的含义，并证明停机问题不可判定。图灵机成为计算机科学与 AI 的形式基础，也让“机器能否思考”从哲学问题变成可讨论的计算问题。
校订注记：原始论文与维基百科条目核对
人工校订来源 · 2
引用本页
图灵提出图灵机，奠定可计算性理论[EB/OL]. AI 纪年, 1936-05. https://aihist.net/e/turing-machine-1936.html（访问日期：2026-10-25）.
静态页随内容修订重新构建；实时合并证据与自动采集条目见时间轴。