论文部分内容阅读
图灵于1935年进剑桥大学并被选为剑桥皇家学院的评议员。1936年至1938年期间，图灵在美国新泽西州的普林斯顿大学工作，在那里他提出所谓图灵机（一种能够进行计算的最普通的计算机）的理论概念。他指出存在着一些不能解决的问题，这个结论使人想到格德尔的工作。在第二次世界大战期间，图灵在英国的交通部供职，但是战后他开始对电子计算机产生兴趣，在莫奇利和埃克特的工作完成后不久，他设计出英国的第一台电子计算机。