数学大师来到数学之乡 王建满看望吴文俊院士
www.zjol.com.cn
2006年05月25日 11:12:14
浙江在线新闻网站
第九届数学机械化高级研讨班今起至5月28日在温州大学召开。昨晚,温州市委书记王建满、市委副书记陈艾华专程看望来温参会的我国著名数学家、中科院院士吴文俊。
吴文俊院士,是中国数学机械化研究的创始人之一。上世纪50年代在自动推理、机器证明等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果,并有许多重要应用;上世纪70年代他创立了定理机器证明的“吴方法”,在国际机器证明领域产生巨大影响,引起数学研究方式的变革。2000年获首届国家最高科学技术奖。
昨晚,王建满在看望吴文俊院士时,向吴老介绍了温州经济社会发展情况。对温州各方面的情况,吴老总是不断地插话了解详情。王建满说,吴老是国际知名的数学家,温州有着“数学家摇篮”美誉,希望吴老此次温州之行,能为“数学之乡”今后的发展多提宝贵意见,为温州的建设献计献策。吴老说,温州和温州人在全世界都很出名,温州也出了很多大名鼎鼎的数学家,希望温州在新的形势下取得更大的发展。
来源:
温州网-温州日报
作者:
王丹容
编辑:
傅歆
404 Not Found
404 Not Found
ZJOL/1.22.95
|