计算、证明、机器进入新时代的数学  

作　　者：Gilles Dowek 张志斌[2] 

机构地区：[1]不详 [2]中国科学院计算技术研究所

出　　处：《国外科技新书评介》2016年第8期9-10,共2页Scientific & Technology Book Review

摘　　要：人们不止一次地提到，刚刚过去的世纪是数学的黄金时代。数学在20世纪的进化超过过去所有时代的总和。但是随着计算技术的兴起，尤其是大数据、人工智能等计算科学方向的蓬勃发展，数学研究也在经历深刻变革。作者认为，

关 键 词：数学研究 计算技术 证明 机器 计算科学 人工智能 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]