本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展 现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信 息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖,一直是数学、计算机科学和哲学领域的畅销读物。
一本荣获法兰西学术院哲学大奖的数学书
一本数学爱好者都应该读一读的哲学书
讲述一段别开生面的数学历程
引发一场改变科学面貌的哲学思考
展现算法时代,计算为自然科学与哲学研究带来的震撼之力
吉尔•多维克(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对折小一点,定价还是高了点
设个商品不错!!!!
很棒,很喜欢,图灵的书很好
好好好好好好好好好
一览计算史。
不错,很满意
质量不错,内容很好,好评!好评!
不错,老顾客了,品质挺好的
值得一看,如果价格完全没折扣,有点高。
图灵新知,都是好书!
读书多了,容颜自然改变,许多时候,自己可能以为许多看过的书籍都成过眼烟云,不复记忆,其实它们仍是潜在气质里、在谈吐上、在胸襟的无涯,当然也可能显露在生活和文字中。