计算进化史
作者:
[法] 吉尔·多维克
出版社: 人民邮电出版社
原作名: Les métamorphoses du calcul
副标题: 改变数学的命运
译者: 劳佳
出版年: 2017-2
页数: 228
定价: 39
装帧: 平装
丛书: 图灵新知
ISBN: 9787115447579
出版社: 人民邮电出版社
原作名: Les métamorphoses du calcul
副标题: 改变数学的命运
译者: 劳佳
出版年: 2017-2
页数: 228
定价: 39
装帧: 平装
丛书: 图灵新知
ISBN: 9787115447579
内容简介
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
作者简介
吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
目录
文章试读
数学踏上新的征程 人们常说,刚刚过去的一个世纪是数学真正的黄金时代。数学在20 世纪的进步比先前所有的世纪加起来还要大。然而,刚刚开始的这个世纪也可能同样是数学发展的好时候。或许,数学在这个世纪的变迁会和20 世纪一样巨大,甚至更为惊人。引发这种想法的信号之一是一场渐变:自20 世纪70 年代开始,数学方法的基石——证明的概念逐渐发生演变,让一个古老却有些被人忽视的数学概念重新回到了舞台中央...
评价“计算进化史”