主题：旧金山 -- 胡里糊涂

共:💬2741 🌺26330 🌵509

说到吴文俊院士后来搞的机器证明

按照忙总的说法另一位国内大数学家华罗庚华老对此并不以为然而忙总本人也认可华老的观点

我还是接受华罗庚当年批评吴文俊搞数学机器证明的说法：数学的核心价值不是在既定的概念体系下证明几个定理，而是创造一种概念体系，因为概念体系是人类对现实世界理解的进步。

数学机器证明永远不可能创造概念体系。

按照华罗庚的说法，数学机器证明只是民工，矿工，而大数学家应该创造概念体系，为人类理解现实世界作出贡献，而不是去挖矿。

所以华罗庚认为吴文俊从此将退出世界大数学家舞台。华罗庚说对了。吴先生其实从离开拓扑研究后，一事无成。

目前为止（注：忙总这段话发表于2017年8月时），华人数学家里面，能够名列人类有史以来最伟大的100名数学家，只有华罗庚+陈省身二人而已。

反正本学渣不知这2位数学大家的孰对孰错、是非曲直忙总作为和这2位大师都有过接触了解的中科院系统所旧人其观点想来应该有一定道理

通宝推：史料推理,桥上,

有趣有益，互惠互利；开阔视野，博采众长。
虚拟的网络，真实的人。天南地北客，相逢皆朋友