1936年（可计算数论文） / 欧洲

图灵用抽象机器刻画可计算性

图灵以读写符号的抽象机器研究机械计算的能力和边界，并描述通用机器；它是数学模型，并非一台已经建成的电脑。

科学史故事

图灵的1936年论文把逐步执行规则的计算过程形式化，并证明某些判定任务不存在统一的机械求解方法。丘奇同年以不同方法得到相关否定结论。这项成果讨论的是可计算性的数学边界，不表示图灵独自制造了第一台电子计算机。实际计算机还经历了逻辑设计、电子器件、存储和多人协作等不同发展路线。

通用机器把程序也视为可处理的信息，连接数学逻辑与后来的计算机设计。同时，计算能力有理论限制，机器更快并不会让一切问题自动可解。

1936年（可计算数论文）明确节点

按资料明确记载的年、月或日定位；未详的月日不作推定。

剑桥

标记图灵形成相关研究的重要学术环境；论文完成与后续工作亦涉及普林斯顿等地。

代表点坐标 · 52.205°, 0.117°

代表点可指一份手稿的收藏地、实验室或观测地点，不表示研究只在此发生，也不把共同发现单独归于某一国家。

资料以书目标题展示，不提供外部跳转。参考资料可能支持个别事实或相关背景，列出来源并不等于每一句解释已经逐句核实。