“矛盾”的数学家——中国数学机械化、拓扑学研究的奠基者吴文俊

20世纪70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为"吴特征列方法",产生了巨大影响。