·最高奖2：吴文俊先生荣获首届国家最高科学技术奖庆贺会暨数学机械化方法应用推广会隆重举行.pdf

简 报 第 5 期（总第 46 期） AMSS 中国科学院数学与系统科学研究院 2001 年 3 月 30 日 吴文俊先生荣获首届国家最高科学技术奖庆贺会 暨数学机械化方法应用推广会隆重举行 2001 年 3 月 29 日上午，在中国科学院基础科学园区数学与系统科学研 究院内，彩旗飞扬，人们欢欣鼓舞。由中国科学院和国家自然科学基金委 主办、中国科学院数学与系统科学研究院承办的“吴文俊先生荣获首届国 家最高科学技术奖庆贺会暨数学机械化方法应用推广会”在此隆重举行。 国家科技部、中国科学院、国家基金委的领导朱丽兰、路甬祥、白春礼、 钱文藻、王乃彦，在京数学界院士，各研究机构与大学的科研人员,以及企 业界人士近 300 人出席了本次会议。 举行这次会议的目的是庆贺吴文俊先生荣获国家最高科学技术奖，宣传 吴文俊先生对科学的执着追求和勇于创新的精神，并进一步推动他开创的 数学机械化研究与应用推广。 中国科学院路甬祥院长、全国人大常委会教科文卫委员会朱丽兰副主 任、国家自然科学基金委员会王乃彦副主任、数学与系统科学研究院杨乐 院长、基金委数学天元领导小组组长张恭庆院士先后讲话。他们对吴文俊 先生获得首届国家最高科学技术奖表示热烈祝贺，对吴先生夫人陈丕和女 士对吴先生的一贯理解与支持表示崇高的敬意。路院长在讲话中深刻地阐 述了数学与自然科学、工程技术、社会科学的关系，用历史上的例子描述 了数学的重要意义及其在自然科学、社会科学中的超前作用，使在座的数 学家们受到莫大的鼓舞。路院长在会上还宣布科学院将拨款设立面向全国 的数学机械化应用推广专项经费。朱丽兰在讲话中也充分肯定了数学的巨 1 大作用，并提到“数学与自然科学、社会科学并列”这样一种现在比较流 行的看法。朱丽兰特别强调要处理好科学与技术的关系， “顶天”与“立地” 的关系，高技术要平民化，甚至要傻瓜化，使老百姓能享受到科学的恩惠。 王乃彦在讲话中回顾了吴先生对我国基金事业所起的重要作用，特别吴先 生是数学天元基金的倡议人之一，基金委今后将一如既往地支持中国数学 事业的发展。杨乐在讲话中特别强调了科研工作者，尤其是广大青年学者 要努力学习吴先生的创新精神，学习吴先生对学术与真理的执着追求，学 习吴先生长期献身于研究事业的精神。张恭庆在讲话中说，吴先生不仅是 中国数学界的一面旗帜，也是中国科技界的一面旗帜。 在领导同志讲话后，吴文俊作了精彩而通俗的学术演讲，在演讲前他 对各方面的领导以及合作者对他本人的长期支持表示衷心感谢，并回顾了 他本人从事数学机械化事业的缘由及历程。 北京大学信息中心石青云院士、大唐电讯股份有限公司副董事长熊秉 长先生、清华大学机械工程学院金国藩院士（973 项目“数学机械化与自动 推理平台”建议人之一） 、中科院北京天文台南仁东先生以及数学机械化中 心主任高小山研究员（973 项目“数学机械化与自动推理平台”首席科学家） 也在会上先后发言，讲述数学机械化在各方面的应用。 庆贺会结束了。然而，学习吴先生的高尚精神、推广应用吴方法，却 在一个新的起点上刚刚开始。 2