1937年1月，《可计算数》终于发表了，但结果同样令人失望，几乎没有引起什么反应。丘奇重新审阅了该文章，直接引入“图灵机”这个名称，并寄给《符号逻辑》期刊。但是，只有两个人来申请印刷本：国王学院的里查...