发布时间:2006-09-27 | 来源:系统所
“吴文俊先生荣获邵逸夫数学科学奖庆祝会” 于2006年9月25日在北京友谊宾馆隆重举行。会议由中国数学会主办、中国科学院数学与系统科学研究院协办。全国人大常委会副委员长丁石孙先生,邵逸夫奖评审委员会主席、诺贝尔奖获得者杨振宁教授,国家科技部、中国科学院、国家基金委、中国科协等部门的有关领导,来自全国各地的数学界代表近200人出席了本次会议。
吴文俊先生做了答谢,并做了精彩的公众讲演。吴文俊首先对各方面的领导以及合作者对他本人的长期支持以及对各位嘉宾的祝贺表示感谢。他提到,本次获奖使他本人最为高兴的是:数学机械化研究在得到了国际自动推理界认可之后,又得到了国际数学界的认可。他在公众讲演中回顾了数学机械化的发展历史以及他本人从事数学机械化研究的缘由及历程,并鼓励青年数学家为我国数学事业而努力工作。