xuguw 发表于 2016-12-11 22:41
看来要把杜先生的作品全部搞明白,得划上真正半年时间吧。关键是他的读书文献。如果能够列出一个清单就好 ...
这是杜车别修改版的晚明历史里的章节引用的内容,只不过这个可能是书稿,现在还不方便公开贴出来。
不过吴文俊的《数学机械化论文集》是有电子书可以直接下载的。吴文俊的数学机械化成果和袁隆平同一批拿了国家科技进步最高奖。
吴文俊本来是陈省身的学生,研究拓朴的。文革中为了回避政治风险研究的一些中国数学史的文献,发现了数学机械化的思维规律,70年代到北京一个制造计算机的工厂,接触到一些计算机有关的内容,马上感觉到对以后数学研究会有巨大影响,而且感觉到古代数学机械化思维非常适合在计算机上应用,在开始这方面的结合研究。
吴文俊称数学机械化是脑力劳动的机械化,工业革命的是体力。
像佩雷尔曼这样的天才数学家也是花了七年才证明的庞加莱猜想,换其他数学家,十几二十年都解决不了不奇怪,难度次一级的,也够一流数学家忙活好几年了。吴文俊的数学机械化方法,可以极大简化这方面的工作量,使数学家可以做其他的事情。