艾伦·图灵什么时候写的“关于可计算数”的论文？
现代计算机的原理最早是由数学家、计算机先驱、科学家艾伦·图灵（Alan Turing）描述的，他在1936年关于可计算数的开创性论文中阐述了这一思想。图灵重新定义了库尔特哥德尔1931年关于证明和计算极限的结果，用形式化和简单的假设设备（后来被称为图灵机器）代替哥德尔基于通用算术的形式语言。他证明，如果某种机器可以表示为一种算法，它就能够进行任何可以想象的数学计算。他首先证明了图灵机器的停止问题是不可判定的：一般来说，不可能从算法上决定给定的图灵机器是否会停止。
1936