发布时间:2009-09-30 | 来源:中科院
9月28日,在新中国建国60周年、中科院建院60周年即将到来之际,中国科学院常务副院长、党组副书记白春礼在院士工作局有关领导的陪同下,来到吴文俊、师昌绪、唐有祺、郭慕孙、张存浩的家里,来到王大珩所住的医院,给这些老领导、老院士送来了鲜花和礼品,并向他们致以节日的问候。白春礼还与他们分享了中国科学院近年来的创新发展,并与他们探讨了中科院未来的创新发展。
在吴文俊院士家里,谈话很快进入了主题。白春礼说:“数学是在很多领域都发挥重要作用的学科,应该与其他学科,如物理、生命、经济等学科有更多的交叉。”对此,吴文俊深表赞同,他说:“我很高兴看到中科院数学院的相关数学研究成果,尤其是‘数学机械化’研究成果已经在建筑、工程、装备制造业等方面发挥了重要作用,特别是在沈阳机床等装备制造业上的应用。”
“数学机械化”是吴文俊在上世纪七十年代末开始倡导的一个研究领域,是脑力劳动机械化在数学科学的学术实践。数学机械化思想继承了中国古代数学的传统,它的着眼点在数学,但又具有明显的交叉性。这不仅是数学研究的实质性进展,也为很多高科技问题的解决提供了有力的工具,已在许多高科技领域获得了一批理论成果,具备了解决曲面造型,机器人位置分析等尖端技术产业中实际问题的条件。机械证明的“吴方法”,方程求解的“吴零点定理”,在世界数学应用领域产生了深远影响。