存有质疑，即使爱因斯坦的着作中并没有明白指出这点。
大学和可计算性的工作.1931年，图灵考入剑桥大学国王学院。1934年他以优异成绩毕业。1935年因为一篇有关中心极限定理的论文当选为国王学院院士。图灵在他的重要论文《论可计算数及其在判定问题上的应用》（(Orignal Paper<nowiki>)</nowiki>，1936年5月28日提交）里，对哥德尔1931年在证明和计算的限制的结果作了重新论述，他用现在叫做图灵机的简单形式的抽象装置代替了哥德尔的以通用算术为基础的形式