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