现代电脑的原则是由数学家和开创性的计算机科学家艾伦·图灵描述的, 他在他的1936年开创性论文中阐述了可计算数字的想法. 图灵重写了库 尔 特 · 哥 德 尔的1931年在证据和计算限制方面的结果, 取代了哥德尔通用的基于算术的正式语言与正式和简单的假设装置, 被称为图灵他证明, 如果它是一个算法, 一些这样的机器将能够执行任何可想象的数学计算. 他继续证明对entscheidungsproblem没有解决办法, 首先显示图灵机器的停止问题是不可判定的: 一般而言, 不可能决定一个给定图灵机器是否会停止.
图灵是谁在1931年修改了证据和计算限制的结果?
库 尔 特 · 哥 德 尔