在哥得尔等人研究成果的影响下，世纪年代后期，图灵从计算一个数的一般过程入手对计算的本质进行了研究，从而实现了对计算本质的真正认识