我国近现代数学的一项突出成就——数学机械化  

作　　者：贾金平[1] 李开慧[1] 

机构地区：[1]重庆师范大学数学与计算机科学学院,重庆400047

出　　处：《湖南教育（数学教师）》2007年第5期41-43,共3页

摘　　要：中国近现代数学在世界处于什么地位呢？一些人叹息中国数学落后于国外，甚至夸大其词．事实上，我国近现代数学工作者在一些方面已经作出了突出成就，吴文俊院士的数学机械化研究就是其中的杰出代表．2000年，吴文俊院士获得首届国家最高科学技术奖．2006年，他获得了被媒体誉为“21世纪东方诺贝尔奖”的香港邵逸夫数学科学奖．两次获奖理由都是因为他对数学机械化这一新兴交叉学科作出了开创性的贡献．

关 键 词：数学机械化 现代数学 成就 国家最高科学技术奖 中国数学 交叉学科 诺贝尔奖 吴文俊 

分 类 号：G322[文化科学]