中国传统科学思想对现代科技创新的启示——以吴文俊的数学机械化研究为例