加载中…改变数学的计算
(2017-03-27 14:35:23)
标签：
书评数学计算算术杂谈 |
分类： 读书 |
书名: 计算进化史
作者:
[法国] 吉尔·多维克
出版社: 人民邮电出版社
副标题:
改变数学的命运
原作名: Les métamorphoses du
calcul
译者:
劳佳
出版年: 2017-2
页数: 228
定价: 39
装帧: 平装
ISBN:
9787115447579
而《计算进化史》这本小书，却独辟蹊径，以计算为线索，对数学史发发展进行了探索。
“我们吃惊地发现，许多公理都可以用计算规则代替。这让我们隐约看到一种新研究计划的曙光：在谓词逻辑中，证明由公理和演绎规则构成；在演绎模中，证明则由公理、演绎规则和计算规则构成。为什么不能更进一步，去掉公理，仅仅用演绎规则和计算规则来构造证明呢？”
在计算科学刚起步的时候，不少学者都是数学专业转行的。我离开数学界那么多年，计算科学发生了巨大的变化，不仅影响了人类的生活，也影响了数学本身。“1976年，数学进入了工具化时代。但是，数学家们使用的工具——计算机并不能延伸我们的感官，而是拓展了我们的思维能力——我们的推理能力，特别是计算能力。”通过计算，过去难以解决的问题，现在都有可能解决，犹如使用了望远镜，人类可以更多地了解遥远天空中的未知奥秘。数学的命运，也就因此被改变。多少年以后，学生们也许会觉得很奇怪，当时的数学家们怎么都不用计算作为工具呢？
数学源自计算，而远远不只是计算。数学发展后推动了计算的发展，而后计算成为数学的工具，甚至改变数学的命运，这是30年前数学家们没有想到的结果。人民邮电出版社的这本小书，从不同角度看数学史，很有特色！
这是一本很理论的数学史读物，但是却采用了活泼的封面设计和小开本，便于随身携带，这在专业图书中显得很另类。因为译者也是数学家，所以翻译用词也有科学家的特点。
该书获得法兰西学术院哲学大奖，欧洲数学会推荐：“无论从事何种研究方向的数学家，都该读一读这本书”。
喜欢
0
赠金笔