数学机械化:让数学更加实用——数学机械化领域吴文俊、高小山侧记  

作　　者：唐琳[1] 

机构地区：[1]《科学新闻》编辑部

出　　处：《科学新闻》2015年第6期54-56,共3页Science News

摘　　要：2011年,一场“数学之争”让很多人至今仍记忆犹新。华中科技大学的一名新生致信校长论证文科是否需要学数学。正可谓一信激起干层浪,一时间,关于学习数学究竟有何意义的讨论在学术界广泛展开。数学的意义何在？是否真的犹如“屠龙之技”一般毫无用武之地？“应用是数学的生命线，这是我一直保持的观点。”中国著名数学家、中国科学院院士吴文俊如此回答。

关 键 词：数学机械化 吴文俊 中国科学院院士 侧记 华中科技大学 学习数学 学术界 生命线 

分 类 号：O112[理学—数学]