O000067　吴文俊文集

---

吴文俊著。

山东教育出版社1986年12月版。28万字。

收集著名数学家吴文俊的文章25篇。分4类：第一类数学史，包括《中国古代数学对世界文化的伟大贡献》、《〈海岛算经〉古证探源》、《出入相补原理》等6篇文章，说明数学机械化思想的渊源；第二类数学论证，包括《数学概况及其发展》、《消除对数学的神秘感》等4篇文章，从不同角度阐述对数学机械化的看法；第三类数学专论，包括《印刷电路与集成电路中的布线问题》、《拓扑中的量度与能计算性》等5篇文章，论述实现数学机械化的前提是数学必须以构造性的方式进行的观点；第四类数学机械化，包括《数学的机械化》、《几何定理的机器证明》、《数学中的公理化与机械化思想》、《初等几何判定问题与机械化证明》等10篇文章，系统地论述数学的机械化思想。