20世纪70年代后期，吴文俊的兴趣转向中国数学史，用算法及可计算性的观点来分析中国古代数学。中国古代数学所蕴涵的数学机械化思想，对信息时代的数学现代化发挥着重大作用。在吴文俊眼里，中国古代数学就是一部算法大全，有着世界最早的几何学、最早的方程组、最古老的矩阵。中国古代数学的价值已被世界淡忘，但吴文俊却洞察出，其中包含着的独特的机械化思想，它能够把几何问题转化为代数，再编成程序，输进电脑后，代替大量复杂的人工演算，这样就可以就把数学家从繁重的脑力劳动中解放出来，进而推进科学发展。这就是机器证明，后来吴文俊把它冠名为“数学机械化”。

    已近花甲之年时，吴文俊接触到了计算机。为了验证自己所提出的机器证明方法的有效性 ......