.数学机械化与自动推理平台[J].中国科学院院刊,2002,(2):122-123.
中文关键词
数学机械化;构造性研究;自动推理
中文摘要
1 学术指导吴文俊 中国科学院数学与系统科学研究院研究员 ,中国科学院院士 ,第三世界科学院院士。1919年出生于上海。 194 0年毕业于上海交通大学数学系。 194 9年在法国斯特拉斯堡大学获法国国家科学博士学位。曾任中国科学院系统科学研究所名誉所长 ,中国数学会理事长。 1990年创建数学机械化中心 ,并任主任。研究工作涉及拓扑学、数学史、数学机械化等众多学术领域。 195 6年因在拓扑学中的示性类与示嵌类方面的卓越成就获中国自然科学奖一等奖 ,1980年获中国科学院自然科学奖一等奖 ,1990年获第三世界科学院数学奖 ,1993年获陈嘉庚数理科学奖 ,1994年获求是科技基金会杰出科
