本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展 现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信 息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖,一直是数学、计算机科学和哲学领域的畅销读物。
一本荣获法兰西学术院哲学大奖的数学书
一本数学爱好者都应该读一读的哲学书
讲述一段别开生面的数学历程
引发一场改变科学面貌的哲学思考
展现算法时代,计算为自然科学与哲学研究带来的震撼之力
吉尔•多维克(Gilles Dowek)
法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
及时篇 古老的起源
第1章从史前数学到希腊数学2
第2章计算两千年17
第二篇古典时代
第3章谓词逻辑36
第4章判定性问题与丘奇定理56
第5章丘奇论题73
第6章为计算树立数学地位的尝试——λ演算94
第7章构造性100
第8章构造性证明与算法113
第三篇公理化危机
第9章直觉主义类型论122
第10章自动化证明132
第11章证明检验145
第12章学界新进展153
第13章工 具172
第14章公理的终结?187
结语旅程的尾声190
附录一人物简介193
附录二参考文献208
索引212
“无论从事何种研究方向的数学家,都该读一读这本书。”——Adhemar Bultheel,欧洲数学学会
“这部精巧之作展现了计算在数学中愈发重要的地位,宣告了算法数学时代的来临。这是一段关于“计算”与“数学”故事,散文般生动的文字让读者在阅读中领略数学思想的精粹。 ”——Bernard Chazell,普林斯顿大学
越来越喜欢逻辑推理的书
对于32开的书,大概比a4对折小一点,定价还是高了点
设个商品不错!!!!
很棒,很喜欢,图灵的书很好
好好好好好好好好好
一览计算史。
不错,很满意
质量不错,内容很好,好评!好评!
不错,老顾客了,品质挺好的
值得一看,如果价格完全没折扣,有点高。
图灵新知,都是好书!
读书多了,容颜自然改变,许多时候,自己可能以为许多看过的书籍都成过眼烟云,不复记忆,其实它们仍是潜在气质里、在谈吐上、在胸襟的无涯,当然也可能显露在生活和文字中。
本站合法持有《出版物经营许可证》,仅销售经国家新闻出版署批准的合法期刊,不是任何杂志、图书官网,不涉及出版事务。本站仅提供有限咨询服务,需要用户自己向出版商投稿且没有绿色通道,是否录用一切以出版商通知为准。提及的第三方名称或商标,其知识产权均属于相应的出版商或期刊,本站与上述机构无从属关系,所有引用均出于解释服务内容的考量,符合商标法规范。本页信息均由法务团队进行把关,若期刊信息有任何问题,请联系在线客服,我们会认真核实处理。若用户需要出版服务,请联系相关出版商。
特别声明:本站持有《出版物经营许可证》,主要从事期刊杂志零售,不是任何杂志官网,不涉及出版事务,特此申明。
工信部备案:蜀ICP备09010985号-11 川公网安备:51092202000082 统一信用码:91510922MACX24HU41
出版物经营许可证:射行审新出发2023字第016号 股权代码:102064© 版权所有:四川博文网络科技有限责任公司太和分公司