逻辑家是工程师的先知

本书最颠覆性的叙事是：通用计算机的理论蓝图（图灵机）诞生于1936年，而第一台通用电子计算机（ENIAC）诞生于1945年。理论在实践之前将近十年，不是偶然，而是因为计算的本质问题是逻辑问题——「什么是机械可判定的」这个问题，只能由逻辑学家来回答。这意味着纯理论研究不是实践的附庸，而是实践的先知。