1936 年,图灵的开创性论文《论可计算数及其在判定问题中的应用》(On Computable Numbers, with an Application to the Entscheidungsproblem)被美国数理逻辑学家阿隆佐·邱(Alonzo Church)推荐发表。 在论文中,图灵提出了著名的「图灵机」的设想,将逻辑中的任意命题用一种通用的机器来表示和计算,并能按照一定的规则推导出结论,其推断结果通俗来讲则是:图灵机能计算的函数就是可计算的函数,反之则是不可计算的函数。
1945 年,图灵被招募到伦敦的国家物理实验室(NPL),任务是制造一台电子计算机。他的自动计算引擎(ACE)设计是电子存储程序通用数字计算机的第一个完整规范。 如果完全按照图灵的计划制造,ACE 将拥有比其他早期计算机多得多的内存,速度也会更快。但是,图灵的同事们认为这个工程太难了,便制造了一个小得多的机器,即 Pilot Model ACE。